CCM::TransitionAbstraction Class Reference

List of all members.

---

Detailed Description

Transition abstraction (equivalence relation for TransitionNodes).

Public Member Functions
	TransitionAbstraction ()
	Create a new transition abstraction relation.
void	addStub (string name, string abstracts, Hashtable eq)
	Add new stub field.
bool	equal (TransitionNode abstr, TransitionNode impl)
	Return whether the two given TransitionNodes are equivalent.
override string	ToString ()
Private Attributes
Hashtable	abstracts
	Maps abstraction stub field names to implementation stub field names (string -> string).
Hashtable	rel
	Maps abstraction stub field names to a hashtable of stub properties to equivalence releation (string -> (string -> EqRel)).

---

Constructor & Destructor Documentation

CCM::TransitionAbstraction::TransitionAbstraction (   )

Create a new transition abstraction relation.

---

Member Function Documentation

void CCM::TransitionAbstraction::addStub (  string  name, string  abstracts, Hashtable  eq )

Add new stub field. Parameters: name  Name of the abstract stub field abstracts  Name of the respective implementation stub field eq  Hashtable (string -> EqRel) that maps stub properties and methods to their equivalence relations

bool CCM::TransitionAbstraction::equal (  TransitionNode  abstr, TransitionNode  impl )

Return whether the two given TransitionNodes are equivalent.

override string CCM::TransitionAbstraction::ToString (   )

---

Member Data Documentation

Hashtable CCM::TransitionAbstraction::abstracts [private]

Maps abstraction stub field names to implementation stub field names (string -> string).

Hashtable CCM::TransitionAbstraction::rel [private]

Maps abstraction stub field names to a hashtable of stub properties to equivalence releation (string -> (string -> EqRel)).

---

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

• eqrel.cs

---