|
||||||||||
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.UnknownTypeNode
public static final class PrimitiveMethodSummary.UnknownTypeNode
A UnknownTypeNode refers to an object with an unknown type. All that is known is that the object is the same or a subtype of some given type. Nodes with the same "type" are considered to be equal. This class includes a factory to get UnknownTypeNode's.
Field Summary | |
---|---|
static boolean |
ADD_DUMMY_EDGES
|
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.UnknownTypeNode |
get(jq_Type type)
|
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.UnknownTypeNode |
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.UnknownTypeNode get(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.Node
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.UnknownTypeNode read(StringTokenizer st)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |