joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.OutsideNode

java.lang.Object
  joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Node
      joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.OutsideNode

All Implemented Interfaces:

Comparable, MethodSummary.Variable, jwutil.io.Textualizable

Direct Known Subclasses:

MethodSummary.FieldNode, MethodSummary.GlobalNode, MethodSummary.ParamNode, MethodSummary.PlaceholderNode, MethodSummary.ReturnedNode

Enclosing class:

MethodSummary

public abstract static class MethodSummary.OutsideNode
extends MethodSummary.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

MethodSummary.OutsideNode	skip
boolean	visited

Fields inherited from class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.Node

accessPathEdges, addedEdges, id, passedParameters, predecessors, TRACK_REASONS

Method Summary

abstract jq_Reference

getDeclaredType() Return the declared type of this node.

Methods inherited from class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.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 MethodSummary.OutsideNode skip

visited

public boolean visited

Method Detail

getDeclaredType

public abstract jq_Reference getDeclaredType()

Description copied from class: MethodSummary.Node

Return the declared type of this node.

Specified by:

getDeclaredType in class MethodSummary.Node