imop.lib.cfg.info

Class IfStatementCFGInfo

java.lang.Object

imop.lib.cfg.info.CFGInfo

imop.lib.cfg.info.IfStatementCFGInfo

public class IfStatementCFGInfo
extends CFGInfo

Nested Class Summary

Nested classes/interfaces inherited from class imop.lib.cfg.info.CFGInfo

CFGInfo.NodeWithStack

Constructor Summary

Constructors

Constructor and Description
IfStatementCFGInfo(Node owner)

Method Summary

Modifier and Type	Method and Description
java.util.ArrayList<Node>	getAllComponents() Obtain the various CFG components of the owner node.
Statement	getElseBody()
Expression	getPredicate()
Statement	getThenBody()
boolean	hasElseBody()
void	removeElseBody()
java.util.ArrayList<UpdateSideEffects>	setElseBody(Statement stmt)
void	setPredicate(Expression predicate)
java.util.ArrayList<UpdateSideEffects>	setThenBody(Statement stmt)
private void	updateCFGForElseBodyInsertion(Statement added)
private void	updateCFGForElseBodyRemoval(Statement removed)
private void	updateCFGForPredicateInsertion(Expression added)
private void	updateCFGForPredicateRemoval(Expression removed)
private void	updateCFGForThenBodyInsertion(Statement added)
private void	updateCFGForThenBodyRemoval(Statement removed)

Methods inherited from class imop.lib.cfg.info.CFGInfo

clearAllEdges, clearPredBlocks, clearSuccBlocks, connect, deprecated_getPred, deprecated_getSucc, disconnect, getCopy, getInterProceduralLeafPredecessors, getInterProceduralLeafPredecessors, getInterProceduralLeafSuccessors, getInterProceduralLeafSuccessors, getInterTaskLeafPredecessorEdges, getInterTaskLeafPredecessorNodes, getInterTaskLeafSuccessorEdges, getInterTaskLeafSuccessorNodes, getIntraTaskCFGLeafContents, getIntraTaskCFGLeafContents, getIntraTaskCFGLeafContentsOfSameParLevel, getIntraTaskCFGLeafReachablesBackward, getIntraTaskCFGLeafReachablesForward, getLexicalIntraProceduralCFGContents, getLexicalIntraProceduralCFGLeafContents, getNestedCFG, getOwner, getParallelConstructFreeInterProceduralLeafPredecessors, getParallelConstructFreeInterProceduralLeafSuccessors, getPredBlocks, getPredecessors, getSuccBlocks, getSuccessors, isEndReachable, setNestedCFG, setOwner

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IfStatementCFGInfo

public IfStatementCFGInfo(Node owner)

Method Detail

setPredicate

public void setPredicate(Expression predicate)

getPredicate

public Expression getPredicate()

setThenBody

public java.util.ArrayList<UpdateSideEffects> setThenBody(Statement stmt)

getThenBody

public Statement getThenBody()

setElseBody

public java.util.ArrayList<UpdateSideEffects> setElseBody(Statement stmt)

getElseBody

public Statement getElseBody()

hasElseBody

public boolean hasElseBody()

removeElseBody

public void removeElseBody()

updateCFGForPredicateRemoval

private void updateCFGForPredicateRemoval(Expression removed)

updateCFGForPredicateInsertion

private void updateCFGForPredicateInsertion(Expression added)

updateCFGForThenBodyRemoval

private void updateCFGForThenBodyRemoval(Statement removed)

updateCFGForThenBodyInsertion

private void updateCFGForThenBodyInsertion(Statement added)

updateCFGForElseBodyRemoval

private void updateCFGForElseBodyRemoval(Statement removed)

updateCFGForElseBodyInsertion

private void updateCFGForElseBodyInsertion(Statement added)

getAllComponents

public java.util.ArrayList<Node> getAllComponents()

Obtain the various CFG components of the owner node.

Overrides:

getAllComponents in class CFGInfo

Returns:

CFG components of the owner node.