dk.brics.tajs.solver

Class BlockAndContext<ContextType extends IContext<?>>

java.lang.Object

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

public final class BlockAndContext<ContextType extends IContext<?>>
extends java.lang.Object

Pair of a basic block and a context.

Constructor Summary

Constructors

Constructor and Description
BlockAndContext(BasicBlock b, ContextType c) Constructs a new pair.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj) Checks whether this object and the given object are equal.
BasicBlock	getBlock() Returns the block.
ContextType	getContext() Returns the context.
int	hashCode() Computes the hash code for this object.
static <ContextType extends IContext<ContextType>> BlockAndContext<ContextType>	makeEntry(BasicBlock b, ContextType c) Constructs a new pair using the entry block of the given block and the entry context of the given context.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

BlockAndContext

public BlockAndContext(BasicBlock b,
                       ContextType c)

Constructs a new pair.

Method Detail

equals

public boolean equals(java.lang.Object obj)

Checks whether this object and the given object are equal.

Overrides:

equals in class java.lang.Object

getBlock

public BasicBlock getBlock()

Returns the block.

getContext

public ContextType getContext()

Returns the context.

hashCode

public int hashCode()

Computes the hash code for this object.

Overrides:

hashCode in class java.lang.Object

makeEntry

public static <ContextType extends IContext<ContextType>> BlockAndContext<ContextType> makeEntry(BasicBlock b,
                                                                                                 ContextType c)

Constructs a new pair using the entry block of the given block and the entry context of the given context.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object