|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.OutsideNode joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.PlaceholderNode
public static final class PrimitiveMethodSummary.PlaceholderNode
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 java.lang.Object |
---|
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final boolean ADD_DUMMY_EDGES
Method Detail |
---|
public static PrimitiveMethodSummary.PlaceholderNode get(jq_Method m, int k)
public static PrimitiveMethodSummary.PlaceholderNode get(jq_StaticField f)
public static PrimitiveMethodSummary.PlaceholderNode get(jq_Method m, String s)
public static PrimitiveMethodSummary.PlaceholderNode get(jq_Member m, String s, jq_Type type)
public static Collection getAll()
public void update(HashMap um)
update
in class PrimitiveMethodSummary.Node
public ProgramLocation getLocation()
getLocation
in interface PrimitiveMethodSummary.HeapObject
public jq_Method getDefiningMethod()
PrimitiveMethodSummary.Node
getDefiningMethod
in class PrimitiveMethodSummary.Node
public jq_Type getDeclaredType()
PrimitiveMethodSummary.Node
getDeclaredType
in interface PrimitiveMethodSummary.HeapObject
getDeclaredType
in class PrimitiveMethodSummary.OutsideNode
public final PrimitiveMethodSummary.Node copy()
PrimitiveMethodSummary.Node
copy
in class PrimitiveMethodSummary.Node
public String toString_long()
PrimitiveMethodSummary.Node
toString_long
in class PrimitiveMethodSummary.Node
public String toString_short()
PrimitiveMethodSummary.Node
toString_short
in class PrimitiveMethodSummary.Node
public void write(jwutil.io.Textualizer t) throws IOException
write
in interface jwutil.io.Textualizable
write
in class PrimitiveMethodSummary.Node
IOException
public static PrimitiveMethodSummary.PlaceholderNode read(StringTokenizer st)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |