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:

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

accessPathEdges, addedEdges, id, passedParameters, predecessors, 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

clone, equals, finalize, 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