joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.CheckCastNode

java.lang.Object
  extended by joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Node
      extended by joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.CheckCastNode
All Implemented Interfaces:
Comparable, MethodSummary.Variable, jwutil.io.Textualizable
Enclosing class:
MethodSummary

public static final class MethodSummary.CheckCastNode
extends MethodSummary.Node

A CheckCastNode refers to the result of a CheckCast instruction


Field Summary
 
Fields inherited from class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Node
accessPathEdges, addedEdges, id, passedParameters, predecessors, TRACK_REASONS
 
Constructor Summary
MethodSummary.CheckCastNode(MethodSummary.CheckCastNode that)
           
 
Method Summary
 MethodSummary.Node copy()
          Return a shallow copy of this node.
static MethodSummary.CheckCastNode get(jq_Reference dstType, ProgramLocation q)
           
 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.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.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_long, toString, update, writeEdges
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MethodSummary.CheckCastNode

public MethodSummary.CheckCastNode(MethodSummary.CheckCastNode that)
Method Detail

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

get

public static MethodSummary.CheckCastNode get(jq_Reference dstType,
                                              ProgramLocation q)

copy

public MethodSummary.Node copy()
Description copied from class: MethodSummary.Node
Return a shallow copy of this node.

Specified by:
copy 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 class MethodSummary.Node

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

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 MethodSummary.Node
Throws:
IOException

read

public static MethodSummary.Node read(StringTokenizer st)


Copyright © 2001-2008 John Whaley. All Rights Reserved.