cetus.analysis

Class SetDomain<T>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<E>

java.util.LinkedHashSet<T>

cetus.analysis.SetDomain<T>

All Implemented Interfaces:

Domain, java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<T>, java.util.Collection<T>, java.util.Set<T>

public class SetDomain<T>
extends java.util.LinkedHashSet<T>
implements Domain

Class SetDomain represents a set-based domain. For example, live variable and may-modified variable can be solved using a set domain. The semantics of a NullDomain with respect to a SetDomain is unknown set as apposed to an empty set which is clearly represented using an empty Set object.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SetDomain() Constructs an empty set domain
SetDomain(java.util.Set<T> set) Constructs a new set domain with the specified set.

Method Summary

Methods

Modifier and Type	Method and Description
SetDomain<T>	clone() Clones the domain.
Domain	diffStrong(Domain other) Returns the result of strong difference.
Domain	diffWeak(Domain other) Returns the result of weak difference.
boolean	equals(Domain other) Checks if the other domain is equal to the current domain.
Domain	intersect(Domain other) Returns intersection of the two domains.
void	kill(java.util.Set<Symbol> vars) Kills the data containing the specified set of symbols.
Domain	merge(Domain other) Returns merge of the two domains (join operation).
java.lang.String	toString()
Domain	union(Domain other) Returns union of the two domains if applicable.

Methods inherited from class java.util.HashSet

add, clear, contains, isEmpty, iterator, remove, size

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Constructor Detail

SetDomain

public SetDomain()

Constructs an empty set domain

SetDomain

public SetDomain(java.util.Set<T> set)

Constructs a new set domain with the specified set.

Parameters:

set - the base set

Method Detail

union

public Domain union(Domain other)

Description copied from interface: Domain

Returns union of the two domains if applicable.

Specified by:

union in interface Domain

Parameters:

other - the domain to be unioned.

Returns:

the resulting Domain.

merge

public Domain merge(Domain other)

Description copied from interface: Domain

Returns merge of the two domains (join operation).

Specified by:

merge in interface Domain

Parameters:

other - the domain to be merged.

Returns:

the resulting Domain.

intersect

public Domain intersect(Domain other)

Description copied from interface: Domain

Returns intersection of the two domains.

Specified by:

intersect in interface Domain

Parameters:

other - the domain to be intersected.

Returns:

the resulting Domain.

diffStrong

public Domain diffStrong(Domain other)

Description copied from interface: Domain

Returns the result of strong difference. Strong difference means d1-d2 = {} if the difference is not computatble.

Specified by:

diffStrong in interface Domain

Parameters:

other - the domain to be subtracted.

Returns:

the resulting Domain.

diffWeak

public Domain diffWeak(Domain other)

Description copied from interface: Domain

Returns the result of weak difference. Weak difference means d1-d2 = d1 if the difference is not computable.

Specified by:

diffWeak in interface Domain

Parameters:

other - the domain to be subtracted.

Returns:

the resulting Domain.

kill

public void kill(java.util.Set<Symbol> vars)

Description copied from interface: Domain

Kills the data containing the specified set of symbols.

Specified by:

kill in interface Domain

Parameters:

vars - the input set of symbols.

equals

public boolean equals(Domain other)

Description copied from interface: Domain

Checks if the other domain is equal to the current domain.

Specified by:

equals in interface Domain

Parameters:

other - the domain to be compared.

Returns:

true if they are equal, false otherwise.

clone

public SetDomain<T> clone()

Description copied from interface: Domain

Clones the domain.

Specified by:

clone in interface Domain

Overrides:

clone in class java.util.HashSet<T>

Returns:

the cloned domain.

toString

public java.lang.String toString()

Overrides:

toString in class java.util.AbstractCollection<T>