Class AstLoopUnwinder
java.lang.Object
com.ibm.wala.cast.tree.rewrite.CAstRewriter<CAstRewriter.RewriteContext<AstLoopUnwinder.UnwindKey>,AstLoopUnwinder.UnwindKey>
com.ibm.wala.cast.tree.rewrite.AstLoopUnwinder
public class AstLoopUnwinder
extends CAstRewriter<CAstRewriter.RewriteContext<AstLoopUnwinder.UnwindKey>,AstLoopUnwinder.UnwindKey>
-
Nested Class Summary
Nested classes/interfaces inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter
CAstRewriter.CopyKey<Self extends CAstRewriter.CopyKey<Self>>, CAstRewriter.Rewrite, CAstRewriter.RewriteContext<K extends CAstRewriter.CopyKey<K>>
-
Field Summary
Fields inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter
Ast, DEBUG, recursive, rootContext
-
Constructor Summary
ConstructorDescriptionAstLoopUnwinder
(CAst Ast, boolean recursive) AstLoopUnwinder
(CAst Ast, boolean recursive, int unwindFactor) -
Method Summary
Modifier and TypeMethodDescriptionprotected CAstNode
copyNodes
(CAstNode n, CAstControlFlowMap cfg, CAstRewriter.RewriteContext<AstLoopUnwinder.UnwindKey> c, Map<Pair<CAstNode, AstLoopUnwinder.UnwindKey>, CAstNode> nodeMap) rewrite the CAst rooted at root under some context, returning the node at the root of the rewritten tree.protected CAstNode
flowOutTo
(Map<Pair<CAstNode, AstLoopUnwinder.UnwindKey>, CAstNode> nodeMap, CAstNode oldSource, Object label, CAstNode oldTarget, CAstControlFlowMap orig, CAstSourcePositionMap src) inCAstRewriter.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.translate
(CAstEntity original) Methods inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter
copyChildren, copyChildrenArray, copyChildrenArrayAndTargets, copyFlow, copySource, copySubtreesIntoNewNode, copySubtreesIntoNewNode, copyTypes, rewrite, rewrite
-
Constructor Details
-
AstLoopUnwinder
-
AstLoopUnwinder
-
-
Method Details
-
translate
-
flowOutTo
protected CAstNode flowOutTo(Map<Pair<CAstNode, AstLoopUnwinder.UnwindKey>, CAstNode> nodeMap, CAstNode oldSource, Object label, CAstNode oldTarget, CAstControlFlowMap orig, CAstSourcePositionMap src) Description copied from class:CAstRewriter
inCAstRewriter.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 classCAstRewriter<CAstRewriter.RewriteContext<AstLoopUnwinder.UnwindKey>,
AstLoopUnwinder.UnwindKey>
-
copyNodes
protected CAstNode copyNodes(CAstNode n, CAstControlFlowMap cfg, CAstRewriter.RewriteContext<AstLoopUnwinder.UnwindKey> c, Map<Pair<CAstNode, AstLoopUnwinder.UnwindKey>, 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 classCAstRewriter<CAstRewriter.RewriteContext<AstLoopUnwinder.UnwindKey>,
AstLoopUnwinder.UnwindKey>
-