dk.brics.tajs.lattice

Class StateExtras

java.lang.Object

dk.brics.tajs.lattice.StateExtras

public class StateExtras
extends Object

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	StateExtras()
protected	StateExtras(StateExtras x)

Method Summary

Methods

Modifier and Type	Method and Description
void	addToDefaultMayMap(String name, Collection<ObjectLabel> labels) Adds the given object labels to the 'default' of the map identified by name.
void	addToMayMap(String name, String key, Collection<ObjectLabel> labels) Adds the given key and set of object labels to the map identified by name.
void	addToMaySet(String name, Collection<ObjectLabel> labels) Adds a collection of object labels to a named may set.
void	addToMustSet(String name, Collection<ObjectLabel> labels) Adds a collection of object labels to the named must set.
boolean	equals(Object obj)
void	getAllObjectLabels(Set<ObjectLabel> live)
Set<ObjectLabel>	getFromMayMap(String name, String key) Retrieves a set of object labels from the named map given the key.
Set<ObjectLabel>	getFromMaySet(String name) Returns the set of object labels identified by the given name.
Set<ObjectLabel>	getFromMustSet(String name) Returns the set of object labels identified by the given name.
int	hashCode() Computes the hash code for this object.
boolean	isNone() Checks whether the sets are empty.
protected boolean	propagate(StateExtras s)
void	remove(StateExtras other) Removes the parts that are also in 'other'.
void	replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m) Replaces all object labels according to the given map.
void	setToNone() Resets all maps.
String	toString() Returns a description of the sets and maps.

Methods inherited from class java.lang.Object

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

Constructor Detail

StateExtras

protected StateExtras()

StateExtras

protected StateExtras(StateExtras x)

Method Detail

addToDefaultMayMap

public void addToDefaultMayMap(String name,
                      Collection<ObjectLabel> labels)

Adds the given object labels to the 'default' of the map identified by name.

addToMayMap

public void addToMayMap(String name,
               String key,
               Collection<ObjectLabel> labels)

Adds the given key and set of object labels to the map identified by name.

addToMaySet

public void addToMaySet(String name,
               Collection<ObjectLabel> labels)

Adds a collection of object labels to a named may set.

addToMustSet

public void addToMustSet(String name,
                Collection<ObjectLabel> labels)

Adds a collection of object labels to the named must set.

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getAllObjectLabels

public void getAllObjectLabels(Set<ObjectLabel> live)

getFromMayMap

public Set<ObjectLabel> getFromMayMap(String name,
                             String key)

Retrieves a set of object labels from the named map given the key.

getFromMaySet

public Set<ObjectLabel> getFromMaySet(String name)

Returns the set of object labels identified by the given name.

getFromMustSet

public Set<ObjectLabel> getFromMustSet(String name)

Returns the set of object labels identified by the given name.

hashCode

public int hashCode()

Computes the hash code for this object.

Overrides:

hashCode in class Object

isNone

public boolean isNone()

Checks whether the sets are empty.

propagate

protected boolean propagate(StateExtras s)

remove

public void remove(StateExtras other)

Removes the parts that are also in 'other'.

replaceObjectLabels

public void replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m)

Replaces all object labels according to the given map.

setToNone

public void setToNone()

Resets all maps.

toString

public String toString()

Returns a description of the sets and maps.

Overrides:

toString in class Object