functionEvaluationOrderTraversal.h

Go to the documentation of this file.

#pragma once

#include <rose.h>

struct FunctionCallInheritedAttribute
{
    SgScopeStatement* currentLoop;

    SgStatement* lastStatement;

    enum
    {
        INSIDE_FOR_INIT, INSIDE_FOR_TEST, INSIDE_FOR_INCREMENT, INSIDE_WHILE_CONDITION,
        INSIDE_DO_WHILE_CONDITION, NOT_IN_LOOP
    }
    loopStatus;

    FunctionCallInheritedAttribute() : currentLoop(NULL), lastStatement(NULL), loopStatus(NOT_IN_LOOP) { }
};

struct FunctionCallInfo
{
    SgFunctionCallExp* functionCall;

    SgStatement* tempVarDeclarationLocation;

    enum InsertionMode
    {
        INSERT_BEFORE,
        APPEND_SCOPE,
        INVALID
    };

    InsertionMode tempVarDeclarationInsertionMode;

    FunctionCallInfo(SgFunctionCallExp * function) :
    functionCall(function),
    tempVarDeclarationLocation(NULL),
    tempVarDeclarationInsertionMode(INVALID) { }
};



class FunctionEvaluationOrderTraversal : public AstTopDownBottomUpProcessing<FunctionCallInheritedAttribute, bool>
{
public:
    static std::vector<FunctionCallInfo> GetFunctionCalls(SgNode* root);

    FunctionCallInheritedAttribute evaluateInheritedAttribute(SgNode* astNode, FunctionCallInheritedAttribute parentAttribute);

    bool evaluateSynthesizedAttribute(SgNode* astNode, FunctionCallInheritedAttribute parentAttribute, SynthesizedAttributesList);

private:


    FunctionEvaluationOrderTraversal() { }

    std::vector<FunctionCallInfo> functionCalls;
};

---