Main Page | Namespace List | Class Hierarchy | Class List | File List | Class Members

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:
Generated on Mon Jun 21 01:20:50 2004 for cs2ccmb by doxygen 1.3.7