joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.UnknownTypeNode

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Node
      joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.UnknownTypeNode

All Implemented Interfaces:

Comparable, MethodSummary.HeapObject, MethodSummary.Variable, jwutil.io.Textualizable

Enclosing class:

MethodSummary

public static final class MethodSummary.UnknownTypeNode
extends MethodSummary.Node
implements MethodSummary.HeapObject

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.FlowInsensitive.MethodSummary.Node

accessPathEdges, addedEdges, id, passedParameters, predecessors, TRACK_REASONS

Method Summary

MethodSummary.Node	copy() Return a shallow copy of this node.
static MethodSummary.UnknownTypeNode	get(jq_Reference type)
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.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 joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.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 MethodSummary.UnknownTypeNode get(jq_Reference 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 MethodSummary.Node

getLocation

public ProgramLocation getLocation()

Specified by:

getLocation in interface MethodSummary.HeapObject

getDefiningMethod

public jq_Method getDefiningMethod()

Description copied from class: MethodSummary.Node

Return the method that this node is defined in, null if it doesn't come from a method.

Specified by:

getDefiningMethod in class MethodSummary.Node

getDeclaredType

public jq_Reference getDeclaredType()

Description copied from class: MethodSummary.Node

Return the declared type of this node.

Specified by:

getDeclaredType in interface MethodSummary.HeapObject

Specified by:

getDeclaredType in class MethodSummary.Node

copy

public final MethodSummary.Node copy()

Description copied from class: MethodSummary.Node

Return a shallow copy of this node.

Specified by:

copy in class MethodSummary.Node

toString_long

public String toString_long()

Description copied from class: MethodSummary.Node

Return a string representation of the node in long form. Includes inside and outside edges and passed parameters.

Overrides:

toString_long in class MethodSummary.Node

toString_short

public String toString_short()

Description copied from class: MethodSummary.Node

Return a string representation of the node in short form.

Specified by:

toString_short in class MethodSummary.Node

write

public void write(jwutil.io.Textualizer t)
           throws IOException

Specified by:

write in interface jwutil.io.Textualizable

Overrides:

write in class MethodSummary.Node

Throws:

IOException

read

public static MethodSummary.UnknownTypeNode read(StringTokenizer st)