dk.brics.tajs.solver

Interface ICallContext<CallContextType extends ICallContext<?>>

All Known Implementing Classes:

CallContext

public interface ICallContext<CallContextType extends ICallContext<?>>

Interface for analysis call contexts. Must be immutable.

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj) Checks whether this context is equal to the given object.
int	hashCode() Computes a hash code for this context.
BlockAndContext<CallContextType>	toEntry(BasicBlock b) Returns the entry of the nearest enclosing basic block and context.
String	toString() Returns a description of this call context.

Method Detail

equals

boolean equals(Object obj)

Checks whether this context is equal to the given object.

Overrides:

equals in class Object

hashCode

int hashCode()

Computes a hash code for this context.

Overrides:

hashCode in class Object

toEntry

BlockAndContext<CallContextType> toEntry(BasicBlock b)

Returns the entry of the nearest enclosing basic block and context.

toString

String toString()

Returns a description of this call context.

Overrides:

toString in class Object