joeq.Compiler.Analysis.FlowInsensitive
Class MethodSummary.Node

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

All Implemented Interfaces:

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

Direct Known Subclasses:

MethodSummary.CheckCastNode, MethodSummary.ConcreteObjectNode, MethodSummary.ConcreteTypeNode, MethodSummary.OutsideNode, MethodSummary.UnknownTypeNode

Enclosing class:

MethodSummary

public abstract static class MethodSummary.Node
extends java.lang.Object
implements jwutil.io.Textualizable, java.lang.Comparable, MethodSummary.Variable

Field Summary

int	id Unique id number.
static boolean	TRACK_REASONS

Method Summary

boolean	addAccessPathEdge(jq_Field m, MethodSummary.FieldNode n) Add the given successor node on the given field to the outside edge set.
boolean	addAccessPathEdges(jq_Field m, java.util.Set s) Add the given set of successor nodes on the given field to the outside edge set.
boolean	addEdge(jq_Field m, MethodSummary.Node n) Add the given successor node on the given field to the inside edge set.
void	addEdge(java.lang.String edge, jwutil.io.Textualizable t)
boolean	addEdges(jq_Field m, java.util.Set s) Add the given set of successor nodes on the given field to the inside edge set.
static boolean	addEdges(java.util.Set s, jq_Field f, MethodSummary.Node n) Add the given successor node on the given field to the inside edge set of all of the given set of nodes.
boolean	addPredecessor(jq_Field m, MethodSummary.Node n) Add the given predecessor node on the given field to the predecessor set.
int	compareTo(MethodSummary.Node that)
int	compareTo(java.lang.Object o)
abstract MethodSummary.Node	copy() Return a shallow copy of this node.
java.util.Set	getAccessPathEdgeFields() Return the set of fields that this node has outside edges with.
java.util.Set	getAccessPathEdges() Return a set of Map.Entry objects corresponding to the outside edges of this node.
java.util.Set	getAccessPathEdges(jq_Field m)
void	getAccessPathEdges(jq_Field m, java.util.Set result) Add the nodes that are targets of outside edges on the given field to the given result set.
java.util.Collection	getAccessPathEdgeTargets() Return the collection of target nodes that this node has inside edges with.
java.util.Set	getAllEdges()
java.util.Set	getAllEdges(jq_Field m)
void	getAllEdges(jq_Field m, java.util.Set result) Add the nodes that are targets of inside edges on the given field to the given result set.
abstract jq_Reference	getDeclaredType() Return the declared type of this node.
abstract jq_Method	getDefiningMethod() Return the method that this node is defined in, null if it doesn't come from a method.
void	getEdges_escaped(jq_Field m, java.util.Set result) Add the nodes that are targets of inside edges on the given field to the given result set.
boolean	getEscapes()
java.util.Set	getNonEscapingEdgeFields() Return the set of fields that this node has inside edges with.
java.util.Set	getNonEscapingEdges() Return a set of Map.Entry objects corresponding to the inside edges of this node.
java.util.Set	getNonEscapingEdges(jq_Field m)
java.util.Collection	getNonEscapingEdgeTargets() Return the collection of target nodes that this node has inside edges with.
java.util.Set	getPassedParameters()
java.util.Set	getPredecessors() Return a set of Map.Entry objects corresponding to the incoming inside edges of this node.
java.util.Collection	getPredecessorTargets()
boolean	hasAccessPathEdge(jq_Field m, MethodSummary.Node n)
boolean	hasAccessPathEdges() Returns true if this node has any added outside edges.
int	hashCode()
boolean	hasNonEscapingEdge(jq_Field m, MethodSummary.Node n)
boolean	hasNonEscapingEdges() Returns true if this node has any added inside edges.
boolean	hasPredecessor(jq_Field f, MethodSummary.Node n)
boolean	isPassedAsParameter()
static int	numberOfNodes() Maps added edges to the quads that they come from.
void	readEdges(jwutil.collections.IndexMap map, java.util.StringTokenizer st)
boolean	recordPassedParameter(MethodSummary.PassedParameter cm) Record the given passed parameter in the set for this node.
boolean	recordPassedParameter(ProgramLocation m, int paramNum) Record the passed parameter of the given method call and argument number in the set for this node.
boolean	removeAccessPathEdge(jq_Field m, MethodSummary.FieldNode n) Remove the given successor node on the given field from the outside edge set.
boolean	removeEdge(jq_Field m, MethodSummary.Node n) Remove the given successor node on the given field from the inside edge set.
boolean	removePredecessor(jq_Field m, MethodSummary.Node n) Remove the given predecessor node on the given field from the predecessor set.
void	replaceBy(java.util.Set set, boolean removeSelf) Replace this node by the given set of nodes.
void	setEscapes()
java.lang.String	toString_long() Return a string representation of the node in long form.
abstract java.lang.String	toString_short() Return a string representation of the node in short form.
java.lang.String	toString()
void	update(java.util.HashMap um) Update all predecessor and successor nodes with the given update map.
void	write(jwutil.io.Textualizer t)
void	writeEdges(jwutil.io.Textualizer t)

Methods inherited from class java.lang.Object

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

Field Detail

id

public final int id

Unique id number.

TRACK_REASONS

public static boolean TRACK_REASONS

Method Detail

numberOfNodes

public static int numberOfNodes()

Maps added edges to the quads that they come from. Only used if TRACK_REASONS is true.

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

compareTo

public final int compareTo(MethodSummary.Node that)

compareTo

public final int compareTo(java.lang.Object o)

Specified by:

compareTo in interface java.lang.Comparable

isPassedAsParameter

public boolean isPassedAsParameter()

getPassedParameters

public java.util.Set getPassedParameters()

replaceBy

public void replaceBy(java.util.Set set,
                      boolean removeSelf)

Replace this node by the given set of nodes. All inside and outside edges to and from this node are replaced by sets of edges to and from the nodes in the set. The passed parameter set of this node is also added to every node in the given set.

update

public void update(java.util.HashMap um)

Update all predecessor and successor nodes with the given update map. Also clones the passed parameter set.

getDeclaredType

public abstract jq_Reference getDeclaredType()

Return the declared type of this node.

getDefiningMethod

public abstract jq_Method getDefiningMethod()

Return the method that this node is defined in, null if it doesn't come from a method.

copy

public abstract MethodSummary.Node copy()

Return a shallow copy of this node.

hasPredecessor

public boolean hasPredecessor(jq_Field f,
                              MethodSummary.Node n)

removePredecessor

public boolean removePredecessor(jq_Field m,
                                 MethodSummary.Node n)

Remove the given predecessor node on the given field from the predecessor set. Returns true if that predecessor existed, false otherwise.

addPredecessor

public boolean addPredecessor(jq_Field m,
                              MethodSummary.Node n)

Add the given predecessor node on the given field to the predecessor set. Returns true if that predecessor didn't already exist, false otherwise.

getPredecessors

public java.util.Set getPredecessors()

Return a set of Map.Entry objects corresponding to the incoming inside edges of this node.

getPredecessorTargets

public java.util.Collection getPredecessorTargets()

recordPassedParameter

public boolean recordPassedParameter(MethodSummary.PassedParameter cm)

Record the given passed parameter in the set for this node. Returns true if that passed parameter didn't already exist, false otherwise.

recordPassedParameter

public boolean recordPassedParameter(ProgramLocation m,
                                     int paramNum)

Record the passed parameter of the given method call and argument number in the set for this node. Returns true if that passed parameter didn't already exist, false otherwise.

removeEdge

public boolean removeEdge(jq_Field m,
                          MethodSummary.Node n)

Remove the given successor node on the given field from the inside edge set. Also removes the predecessor link from the successor node to this node. Returns true if that edge existed, false otherwise.

hasNonEscapingEdge

public boolean hasNonEscapingEdge(jq_Field m,
                                  MethodSummary.Node n)

addEdge

public boolean addEdge(jq_Field m,
                       MethodSummary.Node n)

Add the given successor node on the given field to the inside edge set. Also adds a predecessor link from the successor node to this node. Returns true if that edge didn't already exist, false otherwise.

addEdges

public boolean addEdges(jq_Field m,
                        java.util.Set s)

Add the given set of successor nodes on the given field to the inside edge set. The given set is consumed. Also adds predecessor links from the successor nodes to this node. Returns true if the inside edge set changed, false otherwise.

addEdges

public static boolean addEdges(java.util.Set s,
                               jq_Field f,
                               MethodSummary.Node n)

Add the given successor node on the given field to the inside edge set of all of the given set of nodes. Also adds predecessor links from the successor node to the given nodes. Returns true if anything was changed, false otherwise.

removeAccessPathEdge

public boolean removeAccessPathEdge(jq_Field m,
                                    MethodSummary.FieldNode n)

Remove the given successor node on the given field from the outside edge set. Also removes the predecessor link from the successor node to this node. Returns true if that edge existed, false otherwise.

hasAccessPathEdge

public boolean hasAccessPathEdge(jq_Field m,
                                 MethodSummary.Node n)

addAccessPathEdge

public boolean addAccessPathEdge(jq_Field m,
                                 MethodSummary.FieldNode n)

Add the given successor node on the given field to the outside edge set. Also adds a predecessor link from the successor node to this node. Returns true if that edge didn't already exist, false otherwise.

addAccessPathEdges

public boolean addAccessPathEdges(jq_Field m,
                                  java.util.Set s)

Add the given set of successor nodes on the given field to the outside edge set. The given set is consumed. Also adds predecessor links from the successor nodes to this node. Returns true if the inside edge set changed, false otherwise.

getAllEdges

public final void getAllEdges(jq_Field m,
                              java.util.Set result)

Add the nodes that are targets of inside edges on the given field to the given result set.

getAllEdges

public final java.util.Set getAllEdges(jq_Field m)

getAllEdges

public final java.util.Set getAllEdges()

getNonEscapingEdges

public final java.util.Set getNonEscapingEdges(jq_Field m)

getEdges_escaped

public void getEdges_escaped(jq_Field m,
                             java.util.Set result)

Add the nodes that are targets of inside edges on the given field to the given result set.

getNonEscapingEdges

public java.util.Set getNonEscapingEdges()

Return a set of Map.Entry objects corresponding to the inside edges of this node.

getNonEscapingEdgeFields

public java.util.Set getNonEscapingEdgeFields()

Return the set of fields that this node has inside edges with.

getNonEscapingEdgeTargets

public java.util.Collection getNonEscapingEdgeTargets()

Return the collection of target nodes that this node has inside edges with.

hasNonEscapingEdges

public boolean hasNonEscapingEdges()

Returns true if this node has any added inside edges.

hasAccessPathEdges

public boolean hasAccessPathEdges()

Returns true if this node has any added outside edges.

getAccessPathEdges

public final java.util.Set getAccessPathEdges(jq_Field m)

getAccessPathEdges

public void getAccessPathEdges(jq_Field m,
                               java.util.Set result)

Add the nodes that are targets of outside edges on the given field to the given result set.

getAccessPathEdges

public java.util.Set getAccessPathEdges()

Return a set of Map.Entry objects corresponding to the outside edges of this node.

getAccessPathEdgeFields

public java.util.Set getAccessPathEdgeFields()

Return the set of fields that this node has outside edges with.

getAccessPathEdgeTargets

public java.util.Collection getAccessPathEdgeTargets()

Return the collection of target nodes that this node has inside edges with.

setEscapes

public void setEscapes()

getEscapes

public boolean getEscapes()

toString_short

public abstract java.lang.String toString_short()

Return a string representation of the node in short form.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

toString_long

public java.lang.String toString_long()

Return a string representation of the node in long form. Includes inside and outside edges and passed parameters.

write

public void write(jwutil.io.Textualizer t)
           throws java.io.IOException

Specified by:

write in interface jwutil.io.Textualizable

Throws:

java.io.IOException

readEdges

public void readEdges(jwutil.collections.IndexMap map,
                      java.util.StringTokenizer st)

addEdge

public void addEdge(java.lang.String edge,
                    jwutil.io.Textualizable t)

Specified by:

addEdge in interface jwutil.io.Textualizable

writeEdges

public void writeEdges(jwutil.io.Textualizer t)
                throws java.io.IOException

Specified by:

writeEdges in interface jwutil.io.Textualizable

Throws:

java.io.IOException