AstBottomUpProcessing< SynthesizedAttributeType > Class Template Reference
[AST Processing]

#include <AstProcessing.h>

Inheritance diagram for AstBottomUpProcessing< SynthesizedAttributeType >:

[legend]Collaboration diagram for AstBottomUpProcessing< SynthesizedAttributeType >:

[legend]List of all members.

Detailed Description

template<class SynthesizedAttributeType>
class AstBottomUpProcessing< SynthesizedAttributeType >

Attribute Evaluator for synthesized attributes.

This class allows to compute synthesized attributes on the AST. It requires a synthesized attribute type as a template parameter and the implementation of the function evaluateSynthesizedAttribute. This function is invoked in post-order while the AST is traversed. It can be used for passing information up the AST and for computing a synthesized attribute at each node based on the results of its children in the AST.

Initialization of synthesized attributes is necessary for values which represent results of non-existent nodes (= null pointers in the AST) or skipped nodes (e.g. traverseWithingFile skips all nodes which do not represent the same file as from where the evaluation of attributes started).

Class as synthesized attribute type. The default constructor is sufficient to initialize the object representing an attribute value.
Primitive type as synthesized attribute type (e.g. int, bool, etc.). The method defaultSynthesizedAttribute must be implemented to initialize the synthesized attribute. This function is automatically called during attribute evaluation whenever necessary.

For internal use only.

This class is derived from the SgTreeTraversal class.

Public Types

typedef SgTreeTraversal< DummyAttribute,
SynthesizedAttributeType
>::SynthesizedAttributesList SynthesizedAttributesList

typedef SynthesizedAttributesList SubTreeSynthesizedAttributes

Public Member Functions

SynthesizedAttributeType traverse (SgNode *node)

evaluates attributes on the entire AST

SynthesizedAttributeType traverseWithinFile (SgNode *node)

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

void traverseInputFiles (SgProject *projectNode)

evaluates attributes only at nodes which represent files which were specified on the command line (=input files).

Protected Member Functions

virtual SynthesizedAttributeType evaluateSynthesizedAttribute (SgNode *, SynthesizedAttributesList)=0

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

virtual SynthesizedAttributeType defaultSynthesizedAttribute ()

Allows to provide a default value for a synthesized attribute of primitive type (e.g.

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 ()

Private Member Functions

virtual DummyAttribute evaluateInheritedAttribute (SgNode *astNode, DummyAttribute inheritedValue)

virtual SynthesizedAttributeType evaluateSynthesizedAttribute (SgNode *astNode, DummyAttribute inheritedValue, SynthesizedAttributesList l)

virtual SynthesizedAttributeType defaultSynthesizedAttribute (DummyAttribute inheritedValue)

Friends

class AstCombinedBottomUpProcessing< SynthesizedAttributeType >

class DistributedMemoryAnalysisPostTraversal< SynthesizedAttributeType >