cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType > Class Reference

Public Member Functions
	EquivalenceClass (String name, T type)
	EquivalenceClass (String name)
	EquivalenceClass (T type)
	EquivalenceClass ()
boolean	notifyPointedFrom (EquivalenceClassJoinListener p)
T	getType ()
void	setType (T type)
void	conditionalJoinWith (EquivalenceClass< T > that)
void	joinWith (EquivalenceClass< T > that)
String	toString ()

Static Public Member Functions
static EquivalenceClass < LocationPointerType >	createRefBottomBottom (String name)
static EquivalenceClass < LocationPointerType >	createRefBottomBottom ()

Detailed Description

Author

Michal Strehovsky

Constructor & Destructor Documentation

cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.EquivalenceClass ( String  name, T  type  )

inline

cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.EquivalenceClass ( String  name )

inline

cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.EquivalenceClass ( T  type )

inline

cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.EquivalenceClass ( )

inline

Member Function Documentation

void cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.conditionalJoinWith ( EquivalenceClass< T >  that )

inline

static EquivalenceClass<LocationPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.createRefBottomBottom ( String  name )

inlinestatic

static EquivalenceClass<LocationPointerType> cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.createRefBottomBottom ( )

inlinestatic

T cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.getType ( )

inline

void cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.joinWith ( EquivalenceClass< T >  that )

inline

boolean cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.notifyPointedFrom ( EquivalenceClassJoinListener  p )

inline

void cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.setType ( T  type )

inline

String cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType >.toString ( )

inline

---

The documentation for this class was generated from the following file:

• src/cz/muni/stanse/pointeranalyzer/steensgaard/EquivalenceClass.java