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

Collaboration diagram for cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >:

List of all members.

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

boolean cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::notifyPointedFrom ( EquivalenceClassJoinListener p ) [inline]

T cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::getType ( ) [inline]

void cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::setType ( T type ) [inline]

void cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::conditionalJoinWith ( EquivalenceClass< T > that ) [inline]

void cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::joinWith ( EquivalenceClass< T > that ) [inline]

String cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::toString ( ) [inline]

static EquivalenceClass<LocationPointerType> cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::createRefBottomBottom ( String name ) [inline, static]

static EquivalenceClass<LocationPointerType> cz::muni::stanse::pointeranalyzer::steensgaard::EquivalenceClass< T extends PointerType >::createRefBottomBottom ( ) [inline, static]

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

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


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 ()