joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.OutsideNode

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

All Implemented Interfaces:

java.lang.Comparable, PrimitiveMethodSummary.Variable, jwutil.io.Textualizable

Direct Known Subclasses:

PrimitiveMethodSummary.FieldNode, PrimitiveMethodSummary.GlobalNode, PrimitiveMethodSummary.ParamNode, PrimitiveMethodSummary.PlaceholderNode, PrimitiveMethodSummary.ReturnedNode

Enclosing class:

PrimitiveMethodSummary

public abstract static class PrimitiveMethodSummary.OutsideNode
extends PrimitiveMethodSummary.Node

An outside node is some node that can be mapped to other nodes. This is just a marker for some of the other node classes below.

Field Summary

PrimitiveMethodSummary.OutsideNode	skip
boolean	visited

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

id, TRACK_REASONS

Method Summary

abstract jq_Type

getDeclaredType() Return the declared type of this node.

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, getDefiningMethod, 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

equals, getClass, notify, notifyAll, wait, wait, wait

Field Detail

skip

public PrimitiveMethodSummary.OutsideNode skip

visited

public boolean visited

Method Detail

getDeclaredType

public abstract jq_Type getDeclaredType()

Description copied from class: PrimitiveMethodSummary.Node

Return the declared type of this node.

Specified by:

getDeclaredType in class PrimitiveMethodSummary.Node