cz.muni.stanse.pointeranalyzer.steensgaard.EquivalenceClass< T extends PointerType > Class Template 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

EquivalenceClass() [1/4]

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

inline

EquivalenceClass() [2/4]

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

inline

EquivalenceClass() [3/4]

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

inline

EquivalenceClass() [4/4]

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

inline

Member Function Documentation

conditionalJoinWith()

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

inline

createRefBottomBottom() [1/2]

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

inlinestatic

createRefBottomBottom() [2/2]

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

inlinestatic

getType()

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

inline

joinWith()

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

inline

notifyPointedFrom()

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

inline

setType()

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

inline

toString()

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