dk.brics.tajs.solver

Class BlockAndContext<CallContextType extends ICallContext<?>>

java.lang.Object

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

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

Pair of a basic block and a call context.

Constructor Summary

Constructors

Constructor and Description
BlockAndContext(BasicBlock b, 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.
BasicBlock	getBlock() Returns the block.
CallContextType	getContext() Returns the context.
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

BlockAndContext

public BlockAndContext(BasicBlock b,
               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

getBlock

public BasicBlock getBlock()

Returns the block.

getContext

public CallContextType getContext()

Returns the context.

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