Class CAstRewriterExt

java.lang.Object

com.ibm.wala.cast.tree.rewrite.CAstRewriter<NodePos, CAstBasicRewriter.NoKey>

com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction.CAstRewriterExt

Direct Known Subclasses:

ClosureExtractor

public abstract class CAstRewriterExt
extends CAstRewriter<NodePos, CAstBasicRewriter.NoKey>

Extension of CAstRewriter which allows adding or deleting control flow edges, and keeps track of the current entity.

TODO: This class is an unholy mess. It should be restructured considerably.

Author:

mschaefer

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	CAstRewriterExt.Edge	A control flow edge to be added to the CFG.

Nested classes/interfaces inherited from class CAstRewriter

CAstRewriter.CopyKey<Self>, CAstRewriter.Rewrite, CAstRewriter.RewriteContext<K>

Modifier and Type	Class	Description
static interface	CAstRewriter.CopyKey<Self extends CAstRewriter.CopyKey<Self>>	interface to be implemented by keys used for cloning sub-trees during the rewrite
static interface	CAstRewriter.Rewrite	represents a rewritten CAst
static interface	CAstRewriter.RewriteContext<K extends CAstRewriter.CopyKey<K>>	interface to be implemented by contexts used while traversing the AST

Field Summary

Fields inherited from class CAstRewriter

Ast, DEBUG, recursive, rootContext

Modifier and Type	Field	Description
protected final CAst	Ast
protected static final boolean	DEBUG
protected final boolean	recursive	for CAstEntity nodes r s.t.
protected final NodePos	rootContext

Constructor Summary

Constructors

Constructor	Description
CAstRewriterExt(CAst Ast, boolean recursive, NodePos rootContext)

Method Summary

Modifier and Type	Method	Description
void	addEntity(CAstNode anchor, CAstEntity entity)
CAstNode	addFlow(CAstNode node, Object label, CAstNode target, CAstControlFlowMap flow)
CAstNode	addNode(CAstNode node, CAstControlFlowMap flow)
protected Map<CAstNode, Collection<CAstEntity>>	copyChildren(CAstNode root, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap, Map<CAstNode, Collection<CAstEntity>> children)
protected CAstControlFlowMap	copyFlow(Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, @NonNull CAstNode> nodeMap, CAstControlFlowMap orig, CAstSourcePositionMap newSrc)	create a control-flow map for the rewritten tree, given the mapping from (original node, copy key) pairs ot new nodes and the original control-flow map.
void	deleteFlow(CAstNode node, CAstEntity entity)
protected void	enterEntity(CAstEntity entity)
protected CAstNode	flowOutTo(Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap, CAstNode oldSource, Object label, CAstNode oldTarget, CAstControlFlowMap orig, CAstSourcePositionMap src)	in CAstRewriter.copyFlow(Map, CAstControlFlowMap, CAstSourcePositionMap), if the source of some original CFG edge is replicated, but we find no replica for the target, what node should be the target of the CFG edge in the rewritten AST? By default, just uses the original target.
CAstEntity	getCurrentEntity()
Iterable<CAstEntity>	getEnclosingEntities()
protected boolean	isFlowDeleted(CAstNode node, CAstEntity entity)
protected void	leaveEntity()
CAstEntity	rewrite(CAstEntity root)	perform the rewrite on a CAstEntity, returning the new CAstEntity as the result

Methods inherited from class CAstRewriter

copyChildrenArray, copyChildrenArrayAndTargets, copyNodes, copySource, copySubtreesIntoNewNode, copySubtreesIntoNewNode, copyTypes, rewrite

Modifier and Type	Method	Description
protected List<CAstNode>	copyChildrenArray(CAstNode n, CAstControlFlowMap cfg, NodePos context, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)
protected List<CAstNode>	copyChildrenArrayAndTargets(CAstNode n, CAstControlFlowMap cfg, NodePos context, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)
protected abstract CAstNode	copyNodes(CAstNode root, CAstControlFlowMap cfg, NodePos context, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)	rewrite the CAst rooted at root under some context, returning the node at the root of the rewritten tree.
protected CAstSourcePositionMap	copySource(Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap, CAstSourcePositionMap orig)
protected CAstNode	copySubtreesIntoNewNode(CAstNode n, CAstControlFlowMap cfg, NodePos c, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)
protected CAstNode	copySubtreesIntoNewNode(CAstNode n, CAstControlFlowMap cfg, NodePos c, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap, Pair<CAstNode, CAstBasicRewriter.NoKey> pairKey)
protected CAstNodeTypeMap	copyTypes(Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap, CAstNodeTypeMap orig)
CAstRewriter.Rewrite	rewrite(CAstNode root, CAstControlFlowMap cfg, CAstSourcePositionMap pos, CAstNodeTypeMap types, Map<CAstNode, Collection<CAstEntity>> children, CAstNode[] defaults)	rewrite the CAst sub-tree rooted at root

Methods inherited from class Object

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

Constructor Details

CAstRewriterExt

public CAstRewriterExt(CAst Ast,
 boolean recursive,
 NodePos rootContext)

Method Details

addNode

public CAstNode addNode(CAstNode node,
 CAstControlFlowMap flow)

addFlow

public CAstNode addFlow(CAstNode node,
 Object label,
 CAstNode target,
 CAstControlFlowMap flow)

deleteFlow

public void deleteFlow(CAstNode node,
 CAstEntity entity)

isFlowDeleted

protected boolean isFlowDeleted(CAstNode node,
 CAstEntity entity)

getCurrentEntity

public CAstEntity getCurrentEntity()

getEnclosingEntities

public Iterable<CAstEntity> getEnclosingEntities()

addEntity

public void addEntity(CAstNode anchor,
 CAstEntity entity)

copyChildren

protected Map<CAstNode, Collection<CAstEntity>> copyChildren(CAstNode root,
 Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap,
 Map<CAstNode, Collection<CAstEntity>> children)

Overrides:

copyChildren in class CAstRewriter<NodePos, CAstBasicRewriter.NoKey>

flowOutTo

protected CAstNode flowOutTo(Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap,
 CAstNode oldSource,
 Object label,
 CAstNode oldTarget,
 CAstControlFlowMap orig,
 CAstSourcePositionMap src)

Description copied from class: CAstRewriter

in CAstRewriter.copyFlow(Map, CAstControlFlowMap, CAstSourcePositionMap), if the source of some original CFG edge is replicated, but we find no replica for the target, what node should be the target of the CFG edge in the rewritten AST? By default, just uses the original target.

Overrides:

flowOutTo in class CAstRewriter<NodePos, CAstBasicRewriter.NoKey>

copyFlow

protected CAstControlFlowMap copyFlow(Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, @NonNull CAstNode> nodeMap,
 CAstControlFlowMap orig,
 CAstSourcePositionMap newSrc)

Description copied from class: CAstRewriter

create a control-flow map for the rewritten tree, given the mapping from (original node, copy key) pairs ot new nodes and the original control-flow map.

Overrides:

copyFlow in class CAstRewriter<NodePos, CAstBasicRewriter.NoKey>

rewrite

public CAstEntity rewrite(CAstEntity root)

Description copied from class: CAstRewriter

perform the rewrite on a CAstEntity, returning the new CAstEntity as the result

Overrides:

rewrite in class CAstRewriter<NodePos, CAstBasicRewriter.NoKey>

enterEntity

protected void enterEntity(CAstEntity entity)

leaveEntity

protected void leaveEntity()