dk.brics.tajs.solver

Class NodeAndContext<CallContextType extends ICallContext<?>>

java.lang.Object

dk.brics.tajs.solver.NodeAndContext<CallContextType>

public final class NodeAndContext<CallContextType extends ICallContext<?>>
extends Object

Pair of an abstract node and a call context.

Constructor Summary

Constructors

Constructor and Description
NodeAndContext(AbstractNode n, CallContextType c) Constructs a new pair.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj) Checks whether this object and the given object are equal.
CallContextType	getContext() Returns the context.
AbstractNode	getNode() Returns the node.
int	hashCode() Computes the hash code for this object.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

NodeAndContext

public NodeAndContext(AbstractNode n,
              CallContextType c)

Constructs a new pair.

Method Detail

equals

public boolean equals(Object obj)

Checks whether this object and the given object are equal.

Overrides:

equals in class Object

getContext

public CallContextType getContext()

Returns the context.

getNode

public AbstractNode getNode()

Returns the node.

hashCode

public int hashCode()

Computes the hash code for this object.

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object