Template Class AstTopDownBottomUpProcessing

Template Class AstTopDownBottomUpProcessing#

Inheritance Relationships#

Base Type#

Derived Types#

Class Documentation#

template<class InheritedAttributeType, class SynthesizedAttributeType>
class AstTopDownBottomUpProcessing : public SgTreeTraversal<InheritedAttributeType, SynthesizedAttributeType>#

Subclassed by AstReverseBranchInhSynProcessing< DI, DS >, AstReversePrefixInhSynProcessing< DI, DS >, SgTopDownBottomUpProcessing< AddIncludeDirectivesInheritedAttribute, AddIncludeDirectivesSynthesizedAttribute >, SgTopDownBottomUpProcessing< DOTInheritedAttribute, DOTSynthesizedAttribute >, SgTopDownBottomUpProcessing< AttachPreprocessingInfoTreeTraversalInheritedAttrribute, AttachPreprocessingInfoTreeTraversalSynthesizedAttribute >, SgTopDownBottomUpProcessing< BooleanQueryInheritedAttributeType, BooleanQuerySynthesizedAttributeType >, SgTopDownBottomUpProcessing< ConstantFoldingInheritedAttribute, ConstantFoldingSynthesizedAttribute >, SgTopDownBottomUpProcessing< DetectMacroOrIncludeFileExpansionsInheritedAttribute, DetectMacroOrIncludeFileExpansionsSynthesizedAttribute >, SgTopDownBottomUpProcessing< FixupInitializersUsingIncludeFilesInheritedAttribute, FixupInitializersUsingIncludeFilesSynthesizedAttribute >, SgTopDownBottomUpProcessing< FixupSourcePositionInformationInheritedAttribute, FixupSourcePositionInformationSynthesizedAttribute >, SgTopDownBottomUpProcessing< FrontierDetectionForTokenStreamMapping_InheritedAttribute, FrontierDetectionForTokenStreamMapping_SynthesizedAttribute >, SgTopDownBottomUpProcessing< MarkTemplateInstantiationsForOutputSupportInheritedAttribute, MarkTemplateInstantiationsForOutputSupportSynthesizedAttribute >, SgTopDownBottomUpProcessing< InheritedAttribute, SynthesizedAttribute >, SgTopDownBottomUpProcessing< SimpleFrontierDetectionForTokenStreamMapping_InheritedAttribute, SimpleFrontierDetectionForTokenStreamMapping_SynthesizedAttribute >, AstReverseBranchInhSynProcessing< InheritedAttributeType, SynthesizedAttributeType >, AstReversePrefixInhSynProcessing< InheritedAttributeType, SynthesizedAttributeType >, SgTopDownBottomUpProcessing< InheritedAttributeType, SynthesizedAttributeType >

Public Types

typedef SgTreeTraversal<InheritedAttributeType, SynthesizedAttributeType>::SynthesizedAttributesList SynthesizedAttributesList#
typedef SynthesizedAttributesList SubTreeSynthesizedAttributes#

Public Functions

SynthesizedAttributeType traverse(SgNode *node, InheritedAttributeType inheritedValue)#

evaluates attributes on the entire AST

SynthesizedAttributeType traverseWithinFile(SgNode *node, InheritedAttributeType inheritedValue)#

evaluates attributes only at nodes which represent the same file as where the evaluation was started

Protected Functions

virtual InheritedAttributeType evaluateInheritedAttribute(SgNode *astNode, InheritedAttributeType inheritedValue) = 0#

pure virtual function which must be implemented to compute the inherited attribute at a node

virtual SynthesizedAttributeType evaluateSynthesizedAttribute(SgNode*, InheritedAttributeType, SynthesizedAttributesList) = 0#

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.

virtual void atTraversalStart()#

Function called at the start of the traversal, before any node is visited; override if necessary, the default implementation is a no-op.

virtual void atTraversalEnd()#

Friends

friend class AstCombinedTopDownBottomUpProcessing< InheritedAttributeType, SynthesizedAttributeType >