Class CAstCloner

java.lang.Object

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

com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter<CAstBasicRewriter.NonCopyingContext>

com.ibm.wala.cast.tree.rewrite.CAstCloner

Direct Known Subclasses:

PatternBasedRewriter

public class CAstCloner
extends CAstBasicRewriter<CAstBasicRewriter.NonCopyingContext>

Nested Class Summary

Nested classes/interfaces inherited from class CAstBasicRewriter

CAstBasicRewriter.NoKey, CAstBasicRewriter.NonCopyingContext

Modifier and Type	Class	Description
static class	CAstBasicRewriter.NoKey	key indicating that no duplication is being performed
static class	CAstBasicRewriter.NonCopyingContext	context indicating that no cloning is being performed

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 CAstBasicRewriter.NonCopyingContext	rootContext

Constructor Summary

Constructors

Modifier	Constructor	Description
	CAstCloner(CAst Ast)
	CAstCloner(CAst Ast, boolean recursive)
protected	CAstCloner(CAst Ast, CAstBasicRewriter.NonCopyingContext context, boolean recursive)

Method Summary

Modifier and Type	Method	Description
CAstRewriter.Rewrite	copy(CAstNode root, CAstControlFlowMap cfg, CAstSourcePositionMap pos, CAstNodeTypeMap types, Map<CAstNode, Collection<CAstEntity>> children, CAstNode[] defaults)
protected CAstNode	copyNodes(CAstNode root, CAstControlFlowMap cfg, CAstBasicRewriter.NonCopyingContext context, Map<Pair<CAstNode, @NonNull CAstBasicRewriter.NoKey>, CAstNode> nodeMap, Pair<CAstNode, CAstBasicRewriter.NoKey> pairKey)
protected CAstNode	copyNodes(CAstNode root, CAstControlFlowMap cfg, CAstBasicRewriter.NonCopyingContext 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.

Methods inherited from class CAstRewriter

copyChildren, copyChildrenArray, copyChildrenArrayAndTargets, copyFlow, copySource, copySubtreesIntoNewNode, copySubtreesIntoNewNode, copyTypes, flowOutTo, rewrite, rewrite

Modifier and Type	Method	Description
protected Map<CAstNode, Collection<CAstEntity>>	copyChildren(CAstNode root, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap, Map<CAstNode, @NonNull Collection<CAstEntity>> children)
protected List<CAstNode>	copyChildrenArray(CAstNode n, CAstControlFlowMap cfg, CAstBasicRewriter.NonCopyingContext context, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)
protected List<CAstNode>	copyChildrenArrayAndTargets(CAstNode n, CAstControlFlowMap cfg, CAstBasicRewriter.NonCopyingContext context, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)
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.
protected CAstSourcePositionMap	copySource(Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap, CAstSourcePositionMap orig)
protected CAstNode	copySubtreesIntoNewNode(CAstNode n, CAstControlFlowMap cfg, CAstBasicRewriter.NonCopyingContext c, Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)
protected CAstNode	copySubtreesIntoNewNode(CAstNode n, CAstControlFlowMap cfg, CAstBasicRewriter.NonCopyingContext 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)
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	rewrite(CAstEntity root)	perform the rewrite on a CAstEntity, returning the new CAstEntity as the result
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

CAstCloner

public CAstCloner(CAst Ast,
 boolean recursive)

CAstCloner

public CAstCloner(CAst Ast)

CAstCloner

protected CAstCloner(CAst Ast,
 CAstBasicRewriter.NonCopyingContext context,
 boolean recursive)

Method Details

copyNodes

protected CAstNode copyNodes(CAstNode root,
 CAstControlFlowMap cfg,
 CAstBasicRewriter.NonCopyingContext context,
 Map<Pair<CAstNode, CAstBasicRewriter.NoKey>, CAstNode> nodeMap)

Description copied from class: CAstRewriter

rewrite the CAst rooted at root under some context, returning the node at the root of the rewritten tree. mutate nodeMap in the process, indicating how (original node, copy key) pairs are mapped to nodes in the rewritten tree.

Specified by:

copyNodes in class CAstBasicRewriter<CAstBasicRewriter.NonCopyingContext>

copyNodes

protected CAstNode copyNodes(CAstNode root,
 CAstControlFlowMap cfg,
 CAstBasicRewriter.NonCopyingContext context,
 Map<Pair<CAstNode, @NonNull CAstBasicRewriter.NoKey>, CAstNode> nodeMap,
 Pair<CAstNode, CAstBasicRewriter.NoKey> pairKey)

copy

public CAstRewriter.Rewrite copy(CAstNode root,
 CAstControlFlowMap cfg,
 CAstSourcePositionMap pos,
 CAstNodeTypeMap types,
 Map<CAstNode, Collection<CAstEntity>> children,
 CAstNode[] defaults)