Slicing.h

Go to the documentation of this file.

#ifndef Slicing_IS_DEFINED
#define Slicing_IS_DEFINED


#include "SlicingCriterion.h"
#include "FindStatements.h"
#include "MarkingNodes.h"
#include "RemovalOfNodes.h"
#include "CheckWhichAreMarked.h"

//#define DEBUG_SLICING
class Slicing{

 public:
  
  static void completeSlice(SgProject* sgproject);
  static void sliceOnlyStmtWithControl(SgProject* sgproject, set<SgNode*>& stmt);

  static void sliceOnlyStmts(SgProject* sgproject,set<SgNode*>&  stmt_in_slice);
 protected:

  static void init(SgProject* sgproject,
                   set<SgStatement*>& slicing_criterion, SgFunctionDefinition* &func_defn);

  static void onlyStmts(set<SgStatement*> slicing_criterion, SgFunctionDefinition* func_defn,
                        set<SgNode*>& stmt_in_slice);
 
 static void addControlStmts(SgProject* sgproject, MarkingNodes& v, SgFunctionDefinition* func_defn, 
                             set<SgNode*>& stmt_in_slice);
  

 static void keepNeededFunc(SgProject* sgproject, MarkingNodes v, SgFunctionDefinition* func_defn);

 //  static set<SgNode*> return_stmt_in_slice;
 // static set<SgNode*> return_stmt_in_slice_wo_controlstmts; 
  
  static void FindSlicingCriterion(SgGlobal* root, set<SgStatement*>& stmts);

  //static void SliceWithControlStatements(SgProject* sgproject,
  //                                     set<SgNode*> slice, SgFunctionDefinition* defn);


  static void writeStatements(set<SgStatement*> stmts, string heading);
  
  static void writeNodes(set<SgNode*> stmts, string heading);


  static bool isInList(SgNode* node, list<SgFunctionDeclaration*> funclist);
};

#endif