dk.brics.tajs.solver

Interface IContext<ContextType extends IContext<?>>

All Known Implementing Classes:

Context

public interface IContext<ContextType extends IContext<?>>

Interface for analysis contexts. Must be immutable.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj) Checks whether this context is equal to the given object.
int	hashCode() Computes a hash code for this context.
ContextType	makeEntryContext() Reconstructs the context at function or for-in entry.
java.lang.String	toString() Returns a description of this context.

Method Detail

equals

boolean equals(java.lang.Object obj)

Checks whether this context is equal to the given object.

Overrides:

equals in class java.lang.Object

hashCode

int hashCode()

Computes a hash code for this context.

Overrides:

hashCode in class java.lang.Object

makeEntryContext

ContextType makeEntryContext()

Reconstructs the context at function or for-in entry.

toString

java.lang.String toString()

Returns a description of this context.

Overrides:

toString in class java.lang.Object