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

Class ExtractionPos

java.lang.Object

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

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

All Implemented Interfaces:

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

public class ExtractionPos
extends NodePos

A special ChildPos representing the position of a node which is the body of a for-in loop.

This also stores some additional data obtained while rewriting the loop body, such as whether return statements were encountered.

Author:

mschaefer

Constructor Summary

Constructors

Constructor and Description
ExtractionPos(com.ibm.wala.cast.tree.CAstNode parent, ExtractionRegion region, NodePos parent_pos)

Method Summary

Methods

Modifier and Type	Method and Description
<A> A	accept(PosSwitch<A> ps)
void	addGotoTarget(String label, com.ibm.wala.cast.tree.CAstNode node)
void	addNestedPos(ExtractionPos loop)
void	addReturn()
void	addThis()
boolean	contains(com.ibm.wala.cast.tree.CAstNode node)
boolean	containsGoto()
boolean	containsJump()
boolean	containsOuterGoto()
boolean	containsReturn()
boolean	containsThis()
com.ibm.wala.cast.tree.CAstNode	getCallSite()
static ExtractionPos	getEnclosingExtractionPos(NodePos pos)
int	getEnd()
com.ibm.wala.cast.tree.CAstEntity	getExtractedEntity()
Set<com.ibm.wala.util.collections.Pair<String,com.ibm.wala.cast.tree.CAstNode>>	getGotoTargets()
Iterator<ExtractionPos>	getNestedLoops()
static ExtractionPos	getOutermostEnclosingExtractionPos(NodePos pos)
List<String>	getParameters()
com.ibm.wala.cast.tree.CAstNode	getParent()
NodePos	getParentPos()
ExtractionRegion	getRegion()
int	getStart()
String	getThisParmName()
boolean	isOutermost()
void	setCallSite(com.ibm.wala.cast.tree.CAstNode callsite)
void	setExtractedEntity(com.ibm.wala.cast.tree.CAstEntity entity)

Methods inherited from class com.ibm.wala.cast.js.ipa.callgraph.correlations.extraction.NodePos

inSubtree, key

Methods inherited from class java.lang.Object

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

Constructor Detail

ExtractionPos

public ExtractionPos(com.ibm.wala.cast.tree.CAstNode parent,
             ExtractionRegion region,
             NodePos parent_pos)

Method Detail

getParent

public com.ibm.wala.cast.tree.CAstNode getParent()

getStart

public int getStart()

getEnd

public int getEnd()

getRegion

public ExtractionRegion getRegion()

contains

public boolean contains(com.ibm.wala.cast.tree.CAstNode node)

getParameters

public List<String> getParameters()

addGotoTarget

public void addGotoTarget(String label,
                 com.ibm.wala.cast.tree.CAstNode node)

containsReturn

public boolean containsReturn()

addReturn

public void addReturn()

getGotoTargets

public Set<com.ibm.wala.util.collections.Pair<String,com.ibm.wala.cast.tree.CAstNode>> getGotoTargets()

addThis

public void addThis()

containsThis

public boolean containsThis()

containsGoto

public boolean containsGoto()

containsOuterGoto

public boolean containsOuterGoto()

containsJump

public boolean containsJump()

getThisParmName

public String getThisParmName()

addNestedPos

public void addNestedPos(ExtractionPos loop)

getNestedLoops

public Iterator<ExtractionPos> getNestedLoops()

setExtractedEntity

public void setExtractedEntity(com.ibm.wala.cast.tree.CAstEntity entity)

getExtractedEntity

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

setCallSite

public void setCallSite(com.ibm.wala.cast.tree.CAstNode callsite)

getCallSite

public com.ibm.wala.cast.tree.CAstNode getCallSite()

accept

public <A> A accept(PosSwitch<A> ps)

Specified by:

accept in class NodePos

getOutermostEnclosingExtractionPos

public static ExtractionPos getOutermostEnclosingExtractionPos(NodePos pos)

getEnclosingExtractionPos

public static ExtractionPos getEnclosingExtractionPos(NodePos pos)

isOutermost

public boolean isOutermost()

getParentPos

public NodePos getParentPos()