joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.ConcreteTypeNode

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

All Implemented Interfaces:

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

Enclosing class:

MethodSummary

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

A ConcreteTypeNode refers to an object with a concrete type. This is the result of a 'new' operation or a constant object. It is tied to the quad that created it, so nodes of the same type but from different quads are not equal.

Field Summary

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.ConcreteTypeNode	get(jq_Reference type)
static MethodSummary.ConcreteTypeNode	get(jq_Reference type, ProgramLocation q)
static MethodSummary.ConcreteTypeNode	get(jq_Reference type, ProgramLocation q, Integer opn)
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.ConcreteTypeNode	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	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, update, writeEdges

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Method Detail

get

public static MethodSummary.ConcreteTypeNode get(jq_Reference type)

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

get

public static MethodSummary.ConcreteTypeNode get(jq_Reference type,
                                                 ProgramLocation q)

get

public static MethodSummary.ConcreteTypeNode get(jq_Reference type,
                                                 ProgramLocation q,
                                                 Integer opn)

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

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.ConcreteTypeNode read(StringTokenizer st)