joeq.Compiler.Analysis.Primitive
Class PrimitiveMethodSummary.FakeParamNode

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

All Implemented Interfaces:

Comparable, PrimitiveMethodSummary.Variable, jwutil.io.Textualizable

Enclosing class:

PrimitiveMethodSummary

public static final class PrimitiveMethodSummary.FakeParamNode
extends PrimitiveMethodSummary.ParamNode

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

Method Summary

PrimitiveMethodSummary.Node	copy() Return a shallow copy of this node.
static PrimitiveMethodSummary.FakeParamNode	getFake(jq_Method m, int n, jq_Type declaredType)
static PrimitiveMethodSummary.ParamNode	read(StringTokenizer st)

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

get, getDeclaredType, getDefiningMethod, getIndex, getMethod, toString_long, toString_short, write

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, update, writeEdges

Methods inherited from class java.lang.Object

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

Method Detail

getFake

public static PrimitiveMethodSummary.FakeParamNode getFake(jq_Method m,
                                                           int n,
                                                           jq_Type declaredType)

copy

public final PrimitiveMethodSummary.Node copy()

Description copied from class: PrimitiveMethodSummary.Node

Return a shallow copy of this node.

Overrides:

copy in class PrimitiveMethodSummary.ParamNode

read

public static PrimitiveMethodSummary.ParamNode read(StringTokenizer st)