joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.ReturnedNode

java.lang.Object
  joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.Node
      joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.OutsideNode
          joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.ReturnedNode

All Implemented Interfaces:

Comparable, PrimitiveMethodSummary.Variable, jwutil.io.Textualizable

Direct Known Subclasses:

PrimitiveMethodSummary.ReturnValueNode, PrimitiveMethodSummary.ThrownExceptionNode

Enclosing class:

PrimitiveMethodSummary

public abstract static class PrimitiveMethodSummary.ReturnedNode
extends PrimitiveMethodSummary.OutsideNode

A ReturnedNode represents a return value or thrown exception from a method call.

Field Summary

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

skip, visited

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

accessPathEdges, addedEdges, id, passedParameters, predecessors, TRACK_REASONS

Constructor Summary

PrimitiveMethodSummary.ReturnedNode(PrimitiveMethodSummary.ReturnedNode that)

PrimitiveMethodSummary.ReturnedNode(ProgramLocation m)

Method Summary

jq_Method	getDefiningMethod() Return the method that this node is defined in, null if it doesn't come from a method.
ProgramLocation	getLocation()

Methods inherited from class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.OutsideNode

getDeclaredType

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

addAccessPathEdge, addAccessPathEdges, addEdge, addEdge, addEdges, addEdges, addPredecessor, compareTo, compareTo, copy, 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_short, toString, update, write, writeEdges

Methods inherited from class java.lang.Object

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

Constructor Detail

PrimitiveMethodSummary.ReturnedNode

public PrimitiveMethodSummary.ReturnedNode(ProgramLocation m)

PrimitiveMethodSummary.ReturnedNode

public PrimitiveMethodSummary.ReturnedNode(PrimitiveMethodSummary.ReturnedNode that)

Method Detail

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 final ProgramLocation getLocation()