MarkingNodes.h

Go to the documentation of this file.

#include <set>

#include "KeepAttribute.h"

#ifndef MARKALL_IS_DEFINED
#define MARKALL_IS_DEFINED

//#include "MarkingNodes.h"
class MarkAll : public AstSimpleProcessing{
 public:
  virtual void visit(SgNode* astNode){
   if(!astNode->attribute.exists("keep")){ 
     astNode->attribute.add("keep", new KeepAttribute(true));
    } 
    // MarkingNodes::keepNode(astNode);  // would be nicer to reuse this func
  }
};
#endif

#ifndef MARKINGNODES_IS_DEFINED
#define MARKINGNODES_IS_DEFINED

class MarkingNodes : public AstTopDownBottomUpProcessing<bool, bool> {

  // private:
 protected:
  set<SgNode*> stmtlist;   
  set<SgNode*> newStmtlist; 
  set<SgNode*> allreturnedstmts;
  SgFunctionDefinition* sliceThisFunc;
  list<SgFunctionDeclaration*> funclist;

 protected:
  void keepAllNodes(SgNode* node);
  
  static void keepNode(SgNode* node);
  
  
  void insertInList(SgNode* node);
  
  bool isAlreadyInSet(SgNode* node);
  
  bool beforePragma;
  
 public:
  void initialize(set<SgNode*> s, SgFunctionDefinition* func);
  
  set<SgNode*> get_newStatementList(){return newStmtlist;}

  list<SgFunctionDeclaration*> get_funclist(){return funclist;}
  
  
  static void checkIfDeclared(SgNode* node, bool keep);

  
  
 protected:
  bool virtual evaluateInheritedAttribute(SgNode* astNode, bool inherited);

  bool virtual evaluateSynthesizedAttribute(SgNode* astNode,
                                            bool inherited, vector<bool> synattri);

  bool defaultSynthesizedAttribute();
  
};

#endif