joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.CheckCastNode

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node
      joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.CheckCastNode

All Implemented Interfaces:

Comparable, PrimitiveMethodSummary.Variable, jwutil.io.Textualizable

Enclosing class:

PrimitiveMethodSummary

public static final class PrimitiveMethodSummary.CheckCastNode
extends PrimitiveMethodSummary.Node

A CheckCastNode refers to the result of a CheckCast instruction

Field Summary

Fields inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node

accessPathEdges, addedEdges, id, passedParameters, predecessors, TRACK_REASONS

Constructor Summary

PrimitiveMethodSummary.CheckCastNode(PrimitiveMethodSummary.CheckCastNode that)

Method Summary

PrimitiveMethodSummary.Node	copy() Return a shallow copy of this node.
static PrimitiveMethodSummary.CheckCastNode	get(jq_Type dstType, ProgramLocation q)
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.Node	read(StringTokenizer st)
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.Primitive.PrimitiveMethodSummary.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_long, toString, update, writeEdges

Methods inherited from class java.lang.Object

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

Constructor Detail

PrimitiveMethodSummary.CheckCastNode

public PrimitiveMethodSummary.CheckCastNode(PrimitiveMethodSummary.CheckCastNode that)

Method Detail

toString_short

public String toString_short()

Description copied from class: PrimitiveMethodSummary.Node

Return a string representation of the node in short form.

Specified by:

toString_short in class PrimitiveMethodSummary.Node

get

public static PrimitiveMethodSummary.CheckCastNode get(jq_Type dstType,
                                                       ProgramLocation q)

copy

public PrimitiveMethodSummary.Node copy()

Description copied from class: PrimitiveMethodSummary.Node

Return a shallow copy of this node.

Specified by:

copy in class PrimitiveMethodSummary.Node

getDeclaredType

public jq_Type getDeclaredType()

Description copied from class: PrimitiveMethodSummary.Node

Return the declared type of this node.

Specified by:

getDeclaredType in class PrimitiveMethodSummary.Node

getDefiningMethod

public jq_Method getDefiningMethod()

Description copied from class: PrimitiveMethodSummary.Node

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

Specified by:

getDefiningMethod in class PrimitiveMethodSummary.Node

getLocation

public ProgramLocation getLocation()

write

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

Specified by:

write in interface jwutil.io.Textualizable

Overrides:

write in class PrimitiveMethodSummary.Node

Throws:

IOException

read

public static PrimitiveMethodSummary.Node read(StringTokenizer st)