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

Class CAstRewriterExt

java.lang.Object

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

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

Direct Known Subclasses:

ClosureExtractor

public abstract class CAstRewriterExt
extends com.ibm.wala.cast.tree.rewrite.CAstRewriter<NodePos,com.ibm.wala.cast.tree.rewrite.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 and Description
protected static class	CAstRewriterExt.Edge A control flow edge to be added to the CFG.

Nested classes/interfaces inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter

com.ibm.wala.cast.tree.rewrite.CAstRewriter.CopyKey<Self extends com.ibm.wala.cast.tree.rewrite.CAstRewriter.CopyKey>, com.ibm.wala.cast.tree.rewrite.CAstRewriter.Rewrite, com.ibm.wala.cast.tree.rewrite.CAstRewriter.RewriteContext<K extends com.ibm.wala.cast.tree.rewrite.CAstRewriter.CopyKey>

Field Summary

Fields inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter

Ast, DEBUG, recursive, rootContext

Constructor Summary

Constructors

Constructor and Description
CAstRewriterExt(com.ibm.wala.cast.tree.CAst Ast, boolean recursive, NodePos rootContext)

Method Summary

Methods

Modifier and Type	Method and Description
void	addEntity(com.ibm.wala.cast.tree.CAstNode anchor, com.ibm.wala.cast.tree.CAstEntity entity)
com.ibm.wala.cast.tree.CAstNode	addFlow(com.ibm.wala.cast.tree.CAstNode node, Object label, com.ibm.wala.cast.tree.CAstNode target, com.ibm.wala.cast.tree.CAstControlFlowMap flow)
com.ibm.wala.cast.tree.CAstNode	addNode(com.ibm.wala.cast.tree.CAstNode node, com.ibm.wala.cast.tree.CAstControlFlowMap flow)
protected Map<com.ibm.wala.cast.tree.CAstNode,Collection<com.ibm.wala.cast.tree.CAstEntity>>	copyChildren(com.ibm.wala.cast.tree.CAstNode root, Map<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstNode,com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter.NoKey>,com.ibm.wala.cast.tree.CAstNode> nodeMap, Map<com.ibm.wala.cast.tree.CAstNode,Collection<com.ibm.wala.cast.tree.CAstEntity>> children)
protected com.ibm.wala.cast.tree.CAstControlFlowMap	copyFlow(Map<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstNode,com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter.NoKey>,com.ibm.wala.cast.tree.CAstNode> nodeMap, com.ibm.wala.cast.tree.CAstControlFlowMap orig, com.ibm.wala.cast.tree.CAstSourcePositionMap newSrc)
void	deleteFlow(com.ibm.wala.cast.tree.CAstNode node, com.ibm.wala.cast.tree.CAstEntity entity)
protected void	enterEntity(com.ibm.wala.cast.tree.CAstEntity entity)
protected com.ibm.wala.cast.tree.CAstNode	flowOutTo(Map<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstNode,com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter.NoKey>,com.ibm.wala.cast.tree.CAstNode> nodeMap, com.ibm.wala.cast.tree.CAstNode oldSource, Object label, com.ibm.wala.cast.tree.CAstNode oldTarget, com.ibm.wala.cast.tree.CAstControlFlowMap orig, com.ibm.wala.cast.tree.CAstSourcePositionMap src)
com.ibm.wala.cast.tree.CAstEntity	getCurrentEntity()
Iterable<com.ibm.wala.cast.tree.CAstEntity>	getEnclosingEntities()
protected boolean	isFlowDeleted(com.ibm.wala.cast.tree.CAstNode node, com.ibm.wala.cast.tree.CAstEntity entity)
protected void	leaveEntity(com.ibm.wala.cast.tree.CAstEntity entity)
com.ibm.wala.cast.tree.CAstEntity	rewrite(com.ibm.wala.cast.tree.CAstEntity root)

Methods inherited from class com.ibm.wala.cast.tree.rewrite.CAstRewriter

copyNodes, copySource, copyTypes, rewrite

Methods inherited from class java.lang.Object

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

Constructor Detail

CAstRewriterExt

public CAstRewriterExt(com.ibm.wala.cast.tree.CAst Ast,
               boolean recursive,
               NodePos rootContext)

Method Detail

addNode

public com.ibm.wala.cast.tree.CAstNode addNode(com.ibm.wala.cast.tree.CAstNode node,
                                      com.ibm.wala.cast.tree.CAstControlFlowMap flow)

addFlow

public com.ibm.wala.cast.tree.CAstNode addFlow(com.ibm.wala.cast.tree.CAstNode node,
                                      Object label,
                                      com.ibm.wala.cast.tree.CAstNode target,
                                      com.ibm.wala.cast.tree.CAstControlFlowMap flow)

deleteFlow

public void deleteFlow(com.ibm.wala.cast.tree.CAstNode node,
              com.ibm.wala.cast.tree.CAstEntity entity)

isFlowDeleted

protected boolean isFlowDeleted(com.ibm.wala.cast.tree.CAstNode node,
                    com.ibm.wala.cast.tree.CAstEntity entity)

getCurrentEntity

public com.ibm.wala.cast.tree.CAstEntity getCurrentEntity()

getEnclosingEntities

public Iterable<com.ibm.wala.cast.tree.CAstEntity> getEnclosingEntities()

addEntity

public void addEntity(com.ibm.wala.cast.tree.CAstNode anchor,
             com.ibm.wala.cast.tree.CAstEntity entity)

copyChildren

protected Map<com.ibm.wala.cast.tree.CAstNode,Collection<com.ibm.wala.cast.tree.CAstEntity>> copyChildren(com.ibm.wala.cast.tree.CAstNode root,
                                                                                              Map<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstNode,com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter.NoKey>,com.ibm.wala.cast.tree.CAstNode> nodeMap,
                                                                                              Map<com.ibm.wala.cast.tree.CAstNode,Collection<com.ibm.wala.cast.tree.CAstEntity>> children)

Overrides:

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

flowOutTo

protected com.ibm.wala.cast.tree.CAstNode flowOutTo(Map<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstNode,com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter.NoKey>,com.ibm.wala.cast.tree.CAstNode> nodeMap,
                                        com.ibm.wala.cast.tree.CAstNode oldSource,
                                        Object label,
                                        com.ibm.wala.cast.tree.CAstNode oldTarget,
                                        com.ibm.wala.cast.tree.CAstControlFlowMap orig,
                                        com.ibm.wala.cast.tree.CAstSourcePositionMap src)

Overrides:

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

copyFlow

protected com.ibm.wala.cast.tree.CAstControlFlowMap copyFlow(Map<com.ibm.wala.util.collections.Pair<com.ibm.wala.cast.tree.CAstNode,com.ibm.wala.cast.tree.rewrite.CAstBasicRewriter.NoKey>,com.ibm.wala.cast.tree.CAstNode> nodeMap,
                                                 com.ibm.wala.cast.tree.CAstControlFlowMap orig,
                                                 com.ibm.wala.cast.tree.CAstSourcePositionMap newSrc)

Overrides:

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

rewrite

public com.ibm.wala.cast.tree.CAstEntity rewrite(com.ibm.wala.cast.tree.CAstEntity root)

Overrides:

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

enterEntity

protected void enterEntity(com.ibm.wala.cast.tree.CAstEntity entity)

leaveEntity

protected void leaveEntity(com.ibm.wala.cast.tree.CAstEntity entity)