dk.brics.tajs.lattice

Class Summarized

java.lang.Object

dk.brics.tajs.lattice.Summarized

public final class Summarized
extends Object

Maybe/definitely summarized object label sets.

Constructor Summary

Constructors

Constructor and Description
Summarized() Constructs a new pair of empty summarized sets.
Summarized(Summarized s) Constructs a new pair of summarized sets.

Method Summary

Methods

Modifier and Type	Method and Description
void	addDefinitelySummarized(ObjectLabel objlabel) Adds the specified object label as definitely summarized.
void	clear() Clears the sets.
boolean	equals(Object obj) Indicates whether some other object is equal to this one.
Set<ObjectLabel>	getDefinitelySummarized() Returns the definitely summarized object labels.
Set<ObjectLabel>	getMaybeSummarized() Returns the maybe summarized object labels.
int	hashCode() Returns a hash code value for the object.
boolean	isDefinitelySummarized(ObjectLabel objlabel) Checks whether the given object label is marked as definitely summarized.
boolean	isMaybeSummarized(ObjectLabel objlabel) Checks whether the given object label is marked as maybe summarized.
boolean	join(Summarized s) Joins the given summarized sets into this pair.
void	replaceObjectLabels(Map<ObjectLabel,ObjectLabel> m) Replaces all object labels according to the given map.
Set<ObjectLabel>	summarize(Set<ObjectLabel> objlabels) Summarizes the given set of object labels.
String	toString() Returns a string representation of the object.

Methods inherited from class java.lang.Object

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

Constructor Detail

Summarized

public Summarized()

Constructs a new pair of empty summarized sets.

Summarized

public Summarized(Summarized s)

Constructs a new pair of summarized sets. The sets are copied.

Method Detail

addDefinitelySummarized

public void addDefinitelySummarized(ObjectLabel objlabel)

Adds the specified object label as definitely summarized.

clear

public void clear()

Clears the sets.

equals

public boolean equals(Object obj)

Indicates whether some other object is equal to this one.

Overrides:

equals in class Object

getDefinitelySummarized

public Set<ObjectLabel> getDefinitelySummarized()

Returns the definitely summarized object labels.

getMaybeSummarized

public Set<ObjectLabel> getMaybeSummarized()

Returns the maybe summarized object labels.

hashCode

public int hashCode()

Returns a hash code value for the object.

Overrides:

hashCode in class Object

isDefinitelySummarized

public boolean isDefinitelySummarized(ObjectLabel objlabel)

Checks whether the given object label is marked as definitely summarized.

isMaybeSummarized

public boolean isMaybeSummarized(ObjectLabel objlabel)

Checks whether the given object label is marked as maybe summarized.

join

public boolean join(Summarized s)

Joins the given summarized sets into this pair.

Returns:

true if changed

replaceObjectLabels

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

Replaces all object labels according to the given map.

summarize

public Set<ObjectLabel> summarize(Set<ObjectLabel> objlabels)

Summarizes the given set of object labels. May return the given set unchanged rather than a new set.

toString

public String toString()

Returns a string representation of the object.

Overrides:

toString in class Object