joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.PlaceholderNode

java.lang.Object
  extended by joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node
      extended by joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.OutsideNode
          extended by joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.PlaceholderNode
All Implemented Interfaces:
Comparable, PrimitiveMethodSummary.HeapObject, PrimitiveMethodSummary.Variable, jwutil.io.Textualizable
Enclosing class:
PrimitiveMethodSummary

public static final class PrimitiveMethodSummary.PlaceholderNode
extends PrimitiveMethodSummary.OutsideNode
implements PrimitiveMethodSummary.HeapObject

A PlaceholderNode is used to signify an object that is out-of-scope.


Field Summary
static boolean ADD_DUMMY_EDGES
           
 
Fields inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.OutsideNode
skip, visited
 
Fields inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node
accessPathEdges, addedEdges, id, passedParameters, predecessors, TRACK_REASONS
 
Method Summary
 PrimitiveMethodSummary.Node copy()
          Return a shallow copy of this node.
static PrimitiveMethodSummary.PlaceholderNode get(jq_Member m, String s, jq_Type type)
           
static PrimitiveMethodSummary.PlaceholderNode get(jq_Method m, int k)
           
static PrimitiveMethodSummary.PlaceholderNode get(jq_Method m, String s)
           
static PrimitiveMethodSummary.PlaceholderNode get(jq_StaticField f)
           
static Collection getAll()
           
 jq_Type getDeclaredType()
          Return the declared type of this node.
 jq_Method getDefiningMethod()
          Return the method that this node is defined in, null if it doesn't come from a method.
 ProgramLocation getLocation()
           
static PrimitiveMethodSummary.PlaceholderNode read(StringTokenizer st)
           
 String toString_long()
          Return a string representation of the node in long form.
 String toString_short()
          Return a string representation of the node in short form.
 void update(HashMap um)
          Update all predecessor and successor nodes with the given update map.
 void write(jwutil.io.Textualizer t)
           
 
Methods inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node
addAccessPathEdge, addAccessPathEdges, addEdge, addEdge, addEdges, addEdges, addPredecessor, compareTo, compareTo, getAccessPathEdgeFields, getAccessPathEdges, getAccessPathEdges, getAccessPathEdges, getAccessPathEdgeTargets, getAllEdges, getAllEdges, getAllEdges, getEdges_escaped, getEscapes, getNonEscapingEdgeFields, getNonEscapingEdges, getNonEscapingEdges, getNonEscapingEdgeTargets, getPassedParameters, getPredecessors, getPredecessorTargets, hasAccessPathEdge, hasAccessPathEdges, hashCode, hasNonEscapingEdge, hasNonEscapingEdges, hasPredecessor, isPassedAsParameter, numberOfNodes, readEdges, recordPassedParameter, recordPassedParameter, removeAccessPathEdge, removeEdge, removePredecessor, replaceBy, setEscapes, toString, writeEdges
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

ADD_DUMMY_EDGES

public static final boolean ADD_DUMMY_EDGES
See Also:
Constant Field Values
Method Detail

get

public static PrimitiveMethodSummary.PlaceholderNode get(jq_Method m,
                                                         int k)

get

public static PrimitiveMethodSummary.PlaceholderNode get(jq_StaticField f)

get

public static PrimitiveMethodSummary.PlaceholderNode get(jq_Method m,
                                                         String s)

get

public static PrimitiveMethodSummary.PlaceholderNode get(jq_Member m,
                                                         String s,
                                                         jq_Type type)

getAll

public static Collection getAll()

update

public void update(HashMap um)
Update all predecessor and successor nodes with the given update map. Also clones the passed parameter set.

Overrides:
update in class PrimitiveMethodSummary.Node

getLocation

public ProgramLocation getLocation()
Specified by:
getLocation in interface PrimitiveMethodSummary.HeapObject

getDefiningMethod

public jq_Method getDefiningMethod()
Description copied from class: PrimitiveMethodSummary.Node
Return the method that this node is defined in, null if it doesn't come from a method.

Specified by:
getDefiningMethod in class PrimitiveMethodSummary.Node

getDeclaredType

public jq_Type getDeclaredType()
Description copied from class: PrimitiveMethodSummary.Node
Return the declared type of this node.

Specified by:
getDeclaredType in interface PrimitiveMethodSummary.HeapObject
Specified by:
getDeclaredType in class PrimitiveMethodSummary.OutsideNode

copy

public final PrimitiveMethodSummary.Node copy()
Description copied from class: PrimitiveMethodSummary.Node
Return a shallow copy of this node.

Specified by:
copy in class PrimitiveMethodSummary.Node

toString_long

public String toString_long()
Description copied from class: PrimitiveMethodSummary.Node
Return a string representation of the node in long form. Includes inside and outside edges and passed parameters.

Overrides:
toString_long in class PrimitiveMethodSummary.Node

toString_short

public String toString_short()
Description copied from class: PrimitiveMethodSummary.Node
Return a string representation of the node in short form.

Specified by:
toString_short in class PrimitiveMethodSummary.Node

write

public void write(jwutil.io.Textualizer t)
           throws IOException
Specified by:
write in interface jwutil.io.Textualizable
Overrides:
write in class PrimitiveMethodSummary.Node
Throws:
IOException

read

public static PrimitiveMethodSummary.PlaceholderNode read(StringTokenizer st)


Copyright © 2001-2008 John Whaley. All Rights Reserved.