Class CreateSlice#
Defined in File CreateSlice.h
Inheritance Relationships#
Base Type#
public AstTopDownBottomUpProcessing< BooleanSafeKeeper, BooleanSafeKeeper >(Template Class AstTopDownBottomUpProcessing)
Class Documentation#
-
class CreateSlice : public AstTopDownBottomUpProcessing<BooleanSafeKeeper, BooleanSafeKeeper>#
Public Functions
-
inline CreateSlice(std::set<SgNode*> saveNodes)#
-
inline bool traverse(SgNode *node)#
Protected Functions
-
virtual BooleanSafeKeeper evaluateInheritedAttribute(SgNode *node, BooleanSafeKeeper partOfSlice)#
pure virtual function which must be implemented to compute the inherited attribute at a node
-
virtual BooleanSafeKeeper evaluateSynthesizedAttribute(SgNode *node, BooleanSafeKeeper inherited, SubTreeSynthesizedAttributes atts)#
pure virtual function which must be implemented to compute the synthesized attribute at a node. The list of synthesized attributes consists of the synthesized attributes computed at the children node of the current node. The inherited attribute value is computed by evaluateInheritedAttribute at the same node and simply passed to this function. Use the typedef SynthesizedAttributeList as type for the synthesized attributes list.
-
inline BooleanSafeKeeper defaultSynthesizedAttribute(BooleanSafeKeeper inh)#
-
inline CreateSlice(std::set<SgNode*> saveNodes)#