cetus.analysis

Class PointsToDomain.Universe

java.lang.Object

cetus.analysis.PointsToDomain.Universe

All Implemented Interfaces:

Domain

Enclosing class:

PointsToDomain

public static class PointsToDomain.Universe
extends java.lang.Object
implements Domain

The Universe Domain is associated with the Points-To Domain and hence the points-to analyzer. We use this domain to represent the most conservative analysis result i.e. all pointers point-to all possible locations. In order to successfully implement forward data-flow analysis, a starting point and an end point are necessary to monotonically increase from one to the other. The Universe Domain represents the largest conservative assumption, points-to analysis cannot create an update to this Domain.

See Also:

Domain, NullDomain, PointsToDomain, PointsToAnalysis

Method Summary

Methods

Modifier and Type	Method and Description
PointsToDomain.Universe	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.
static PointsToDomain.Universe	getUniverse()
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.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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.

getUniverse

public static PointsToDomain.Universe getUniverse()

clone

public PointsToDomain.Universe clone()

Description copied from interface: Domain

Clones the domain.

Specified by:

clone in interface Domain

Overrides:

clone in class java.lang.Object

Returns:

the cloned domain.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object