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

cs2ccmb Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
AbstractsAttributeAbstracts attribute
CCM::ArrayExprArray type expression
CCM::AttributeRepresents an attribute with positional and named arguments
CCM::BinDumper
CCM::BlockStatement block (list of Statements)
CCM::BoolExprBoolean type expression
CCM::BoolIteratorIterator that loops over false and true
CCM::BreakStmBreak statement
CCM::ClassRepresents a class
CCM::ConditionBoolValueBoolean constant for use in predicate conditions
CCM::ConditionDoubleValueDouble constant for use in predicate conditions
CCM::ConditionFieldValueState field value for use in predicate conditions
CCM::ConditionIntValueInteger constant for use in predicate conditions
CCM::ConditionValueAbstract value for use in predicate conditions
CCM::ContinueStmContinue statement
CCM::CS2CCMBCs2ccmb main program
CCM::CSharpParserC#-Parser class
CCM::DoStmDo loop statement
CCM::DoubleIteratorIterator that loops over a range of doubles
EqAttributeEq attribute
CCM::EqRelEquivalence relation for a single value
CCM::ErrorMessage
EventAttributeEvent attribute
CCM::ExprBase class of all expressions
CCM::ExprStmStatement that just evaluates an expression
CCM::FloatExprFloat type expression
CCM::ForStmFor loop statement without initializer (this is already handled by the parser)
CCM::IfStmIf-Then-Else statement
CCM::IntExprInteger typ expression
CCM::IntIteratorIterator that loops over a range of integers
CCM::ListList that provides a nice ToString()
CCM::ListIteratorIterates exhaustively over a list (tuple) of IEnumerables
CCM::LocationKeeps track of the location in the program
Debugging::Logger
CCM::Message
CCM::MethodRepresents a method
CCM::Method::MethodCallStack of currently called methods; it is here in class Method to keep it private (so only Method.execute() can modify it)
CCM::MethodCallNodeRepresents a stub method call
CCM::ModelRepresents a CCMB model (set of processes)
CCM::NodeNode in the process graph
CCM::NullExprExpression without type
Sets::PairPair of objects
Sets::PairSetSet for storing pairs of objects
Sets::PairSetEnumeratorEnumerator for PairSet
CCM::PredConditionSingle predicate condition
PropertyAttributeProperty attribute
CCM::QIDRepresents a qualified identifier
CCM::RangeValue range for equivalence relation domains
RangeAttributeRange attribute
CCM::RefRepresents a variable or method reference
CCM::ReportThis class is used to report errors and warnings to the user
CCM::ReturnStmReturn statement
CCM::SimChecker(Bi)similarity checker
CCM::StateAbstractionState abstraction (equivalence relation for StateNodes)
CCM::StatementCommon interface of all statements
CCM::StateNodeNode that represents a state
CCM::StatePredicatePredicate over a StateNode
CCM::StateRefNodeNode that represents a state reference
CCM::StringExprString type expression
CCM::StubExprStub expression
CCM::StubIteratorSingleton class for managing exhaustive iteration over all stub property and stub method return values
CCM::StubIterator::StubCallStateStores the iteration state of a particular stub call
CCM::StubIterator::StubInputStateStores the iteration state of a particular stub input
CCM::StubIterator::StubOutputStateStores the iteration state of a particular stub output
CCM::ThisExpr"this" expression
CCM::ThrowStmThrow statement
CCM::Token
CCM::TokenizerTokenizer for C# source code
CCM::TransitionAbstractionTransition abstraction (equivalence relation for TransitionNodes)
CCM::TransitionNodeRepresents a generic transition node
CCM::ValueInNodeRepresents a stub property reading
CCM::ValueOutNodeRepresents a stub property writing
CCM::VariableRepresents a variable or a class field
CCM::VariableDeclRepresents a typed variable declaration with attributes
CCM::VoidExprVoid expression for void method calls
CCM::WarningMessage
CCM::WhileStmWhile loop statement
CCM::WriteStmStatement that writes an expression to the standard output
CCM::yydebug::yyDebug
CCM::yydebug::yyDebugSimple
CCM::yyParser::yyExceptionThrown for irrecoverable syntax errors and stack overflow
CCM::yyParser::yyInputMust be implemented by a scanner object to supply input to the parser

Generated on Mon Jun 21 01:20:49 2004 for cs2ccmb by doxygen 1.3.7