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