accrue.analysis.interprocanalysis

Class Unit

java.lang.Object

accrue.analysis.interprocanalysis.Unit

All Implemented Interfaces:

Ordered<Unit>

public class Unit
extends java.lang.Object
implements Ordered<Unit>

Singleton representation of a single element lattice. Is useful for interprocedural analyses that simply need to visit each analysis unit once (e.g., to gather constraints for each analysis unit).

Field Summary

Fields

Modifier and Type	Field and Description
static Unit	UNIT Get the singleton instance

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	leq(Unit o) Is the given object less than or equal to this one
java.lang.String	toString()
Unit	upperBound(Unit o) Compute the upper bound of this and o
Unit	widen(Unit o) Compute the widening operator on this and o.

Methods inherited from class java.lang.Object

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

Field Detail

UNIT

public static final Unit UNIT

Get the singleton instance

Method Detail

leq

public boolean leq(Unit o)

Description copied from interface: Ordered

Is the given object less than or equal to this one

Specified by:

leq in interface Ordered<Unit>

Parameters:

o - object to compare to this

Returns:

true if this is less than or equal to o

upperBound

public Unit upperBound(Unit o)

Description copied from interface: Ordered

Compute the upper bound of this and o

Specified by:

upperBound in interface Ordered<Unit>

Parameters:

o - object to upper bound with this

Returns:

the upper bound of this with o

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

widen

public Unit widen(Unit o)

Description copied from interface: Ordered

Compute the widening operator on this and o. A widening operator is an upper bound where all ascending chains eventually stabilize.

Specified by:

widen in interface Ordered<Unit>

Parameters:

o - object to widen with this

Returns:

Widened upper bound of this and o