#include "DataflowCFG.h"
#include <string>
#include <iostream>
#include <sstream>
#include <list>

Include dependency graph for CFGRewrite.h:

Classes
class	VirtualCFG::cfgRWTransaction

class	VirtualCFG::cfgRWTransaction::modRequest

class	VirtualCFG::cfgRWTransaction::insertRequest

class	VirtualCFG::cfgRWTransaction::transformRequest

Namespaces
	VirtualCFG

Constant Groups
	VirtualCFG

Typedefs
typedef void(*	VirtualCFG::CFGTransform )(SgNode target, SgNode newNode, void *data)

Functions
void	VirtualCFG::initCFGRewrite (SgProject *project)
	void insertAfterCFG(DataflowNode cfgNode, SgProject project); More...

bool	VirtualCFG::isNonMutatingOperator (SgNode *n)

bool	VirtualCFG::isNonMutatingSubTree (SgNode *n)

void	VirtualCFG::replaceExpressionChecked (SgNode parent, SgExpression from, SgExpression *to)

void	VirtualCFG::replaceStatement (SgNode parent, SgStatement from, SgStatement *to)

Sg_File_Info *	VirtualCFG::getFileInfo (SgNode *n)

std::string	VirtualCFG::getFileInfoString (SgNode *n)

std::string	VirtualCFG::getFileInfoString (CFGNode n)

CFGNode	VirtualCFG::theInEdge (CFGNode n)

CFGNode	VirtualCFG::theOutEdge (CFGNode n)

SgExpression *	VirtualCFG::insertBeforeExpression (SgExpression expr, SgExpression newNode)

SgExpression *	VirtualCFG::insertAfterExpression (SgExpression expr, SgExpression newNode)

void	VirtualCFG::replaceStatementByBlockBefore (SgStatement stmt, SgStatement newNode)

void	VirtualCFG::replaceStatementByBlockAfter (SgStatement stmt, SgStatement newNode)

void	VirtualCFG::createTmpVarInit (SgType varType, std::string newName, bool byReference, SgName &varName, SgInitializedName &initName, SgType &newType, SgVariableDeclaration &varDecl)

SgStatement *	VirtualCFG::createFuncCallStmt (SgFunctionDeclaration *funcDecl)

SgVariableSymbol *	VirtualCFG::varSymFromInitName (SgInitializedName *initName)

SgVarRefExp *	VirtualCFG::varRefFromInitName (SgInitializedName *initName)

SgAssignOp *	VirtualCFG::replaceExprWithAssignOp (SgExpression orig, SgVarRefExp lhsVar)

void	VirtualCFG::insertVarDecl (SgStatement anchor, SgType varType, bool before, SgInitializedName *&initName)

void	VirtualCFG::insertAroundForInit (SgVariableDeclaration n, SgExpression newNode, bool before)

void	VirtualCFG::prependToScopeStmt (SgNode target, SgNode newNode, void *data)

void	VirtualCFG::appendToScopeStmt (SgNode target, SgNode newNode, void *data)

Classes

Namespaces

Constant Groups

Typedefs

Functions