Class 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.

    • 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()
      • contains

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

        public java.util.List<java.lang.String> getParameters()
      • addGotoTarget

        public void addGotoTarget​(java.lang.String label,
                                  com.ibm.wala.cast.tree.CAstNode node)
      • containsReturn

        public boolean containsReturn()
      • addReturn

        public void addReturn()
      • getGotoTargets

        public java.util.Set<com.ibm.wala.util.collections.Pair<java.lang.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 java.lang.String getThisParmName()
      • addNestedPos

        public void addNestedPos​(ExtractionPos loop)
      • getNestedLoops

        public java.util.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()
      • getOutermostEnclosingExtractionPos

        public static ExtractionPos getOutermostEnclosingExtractionPos​(NodePos pos)
      • getEnclosingExtractionPos

        public static ExtractionPos getEnclosingExtractionPos​(NodePos pos)
      • isOutermost

        public boolean isOutermost()
      • getParentPos

        public NodePos getParentPos()