dk.brics.tajs.lattice

Class LocalContext

java.lang.Object

dk.brics.tajs.lattice.LocalContext

All Implemented Interfaces:

DeepImmutable

public class LocalContext
extends java.lang.Object
implements DeepImmutable

Local context. Represents number of times loops have been unrolled, variable splittings, etc.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LocalContext.LoopUnrollingQualifier Qualifier for loop unrolling.
static interface	LocalContext.Qualifier Qualifier for local contexts.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
java.util.Map<LocalContext.Qualifier,Value>	getQualifiers()
int	hashCode()
static LocalContext	make(java.util.Map<LocalContext.Qualifier,Value> qualifiers) Provides a local context with the given qualifiers.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

getQualifiers

public java.util.Map<LocalContext.Qualifier,Value> getQualifiers()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

make

public static LocalContext make(java.util.Map<LocalContext.Qualifier,Value> qualifiers)

Provides a local context with the given qualifiers.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object