Class ReachingDefinitionGenerator#
Defined in File ReachingDefinition.h
Inheritance Relationships#
Base Type#
private BitVectorReprGenerator< std::string, std::pair< AstNodePtr, AstNodePtr > >(Template Class BitVectorReprGenerator)
Class Documentation#
-
class ReachingDefinitionGenerator : private BitVectorReprGenerator<std::string, std::pair<AstNodePtr, AstNodePtr>>#
Public Functions
-
inline ReachingDefinitionGenerator(const ReachingDefinitionBase &b)#
-
inline void add_unknown_def(ReachingDefinitions &gen, const std::pair<AstNodePtr, AstNodePtr> &def) const#
-
void add_def(ReachingDefinitions &repr, const std::string &varname, const AstNodePtr &scope, const std::pair<AstNodePtr, AstNodePtr> &def) const#
-
inline ReachingDefinitions get_unknown_defs() const#
-
inline ReachingDefinitions get_empty_set() const#
-
ReachingDefinitions get_def_set(const std::string &varname, const AstNodePtr &scope) const#
-
inline void collect_member(const ReachingDefinitions &repr, CollectObject<std::pair<AstNodePtr, AstNodePtr>> &collect) const#
-
inline const ReachingDefinitionBase &get_base() const#
-
inline ReachingDefinitionGenerator(const ReachingDefinitionBase &b)#