|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Node joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.OutsideNode joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.PlaceholderNode
public static final class MethodSummary.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.FlowInsensitive.MethodSummary.OutsideNode |
---|
skip, visited |
Fields inherited from class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Node |
---|
accessPathEdges, addedEdges, id, passedParameters, predecessors, TRACK_REASONS |
Method Summary | |
---|---|
MethodSummary.Node |
copy()
Return a shallow copy of this node. |
static MethodSummary.PlaceholderNode |
get(jq_Member m,
String s,
jq_Reference type)
|
static MethodSummary.PlaceholderNode |
get(jq_Method m,
int k)
|
static MethodSummary.PlaceholderNode |
get(jq_Method m,
String s)
|
static MethodSummary.PlaceholderNode |
get(jq_StaticField f)
|
static Collection |
getAll()
|
jq_Reference |
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 MethodSummary.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 MethodSummary.PlaceholderNode get(jq_Method m, int k)
public static MethodSummary.PlaceholderNode get(jq_StaticField f)
public static MethodSummary.PlaceholderNode get(jq_Method m, String s)
public static MethodSummary.PlaceholderNode get(jq_Member m, String s, jq_Reference type)
public static Collection getAll()
public void update(HashMap um)
update
in class MethodSummary.Node
public ProgramLocation getLocation()
getLocation
in interface MethodSummary.HeapObject
public jq_Method getDefiningMethod()
MethodSummary.Node
getDefiningMethod
in class MethodSummary.Node
public jq_Reference getDeclaredType()
MethodSummary.Node
getDeclaredType
in interface MethodSummary.HeapObject
getDeclaredType
in class MethodSummary.OutsideNode
public final MethodSummary.Node copy()
MethodSummary.Node
copy
in class MethodSummary.Node
public String toString_long()
MethodSummary.Node
toString_long
in class MethodSummary.Node
public String toString_short()
MethodSummary.Node
toString_short
in class MethodSummary.Node
public void write(jwutil.io.Textualizer t) throws IOException
write
in interface jwutil.io.Textualizable
write
in class MethodSummary.Node
IOException
public static MethodSummary.PlaceholderNode read(StringTokenizer st)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |