AbstractsAttribute | Abstracts attribute |
CCM::ArrayExpr | Array type expression |
CCM::Attribute | Represents an attribute with positional and named arguments |
CCM::BinDumper | |
CCM::Block | Statement block (list of Statements) |
CCM::BoolExpr | Boolean type expression |
CCM::BoolIterator | Iterator that loops over false and true |
CCM::BreakStm | Break statement |
CCM::Class | Represents a class |
CCM::ConditionBoolValue | Boolean constant for use in predicate conditions |
CCM::ConditionDoubleValue | Double constant for use in predicate conditions |
CCM::ConditionFieldValue | State field value for use in predicate conditions |
CCM::ConditionIntValue | Integer constant for use in predicate conditions |
CCM::ConditionValue | Abstract value for use in predicate conditions |
CCM::ContinueStm | Continue statement |
CCM::CS2CCMB | Cs2ccmb main program |
CCM::CSharpParser | C#-Parser class |
CCM::DoStm | Do loop statement |
CCM::DoubleIterator | Iterator that loops over a range of doubles |
EqAttribute | Eq attribute |
CCM::EqRel | Equivalence relation for a single value |
CCM::ErrorMessage | |
EventAttribute | Event attribute |
CCM::Expr | Base class of all expressions |
CCM::ExprStm | Statement that just evaluates an expression |
CCM::FloatExpr | Float type expression |
CCM::ForStm | For loop statement without initializer (this is already handled by the parser) |
CCM::IfStm | If-Then-Else statement |
CCM::IntExpr | Integer typ expression |
CCM::IntIterator | Iterator that loops over a range of integers |
CCM::List | List that provides a nice ToString() |
CCM::ListIterator | Iterates exhaustively over a list (tuple) of IEnumerables |
CCM::Location | Keeps track of the location in the program |
Debugging::Logger | |
CCM::Message | |
CCM::Method | Represents a method |
CCM::Method::MethodCall | Stack of currently called methods; it is here in class Method to keep it private (so only Method.execute() can modify it) |
CCM::MethodCallNode | Represents a stub method call |
CCM::Model | Represents a CCMB model (set of processes) |
CCM::Node | Node in the process graph |
CCM::NullExpr | Expression without type |
Sets::Pair | Pair of objects |
Sets::PairSet | Set for storing pairs of objects |
Sets::PairSetEnumerator | Enumerator for PairSet |
CCM::PredCondition | Single predicate condition |
PropertyAttribute | Property attribute |
CCM::QID | Represents a qualified identifier |
CCM::Range | Value range for equivalence relation domains |
RangeAttribute | Range attribute |
CCM::Ref | Represents a variable or method reference |
CCM::Report | This class is used to report errors and warnings to the user |
CCM::ReturnStm | Return statement |
CCM::SimChecker | (Bi)similarity checker |
CCM::StateAbstraction | State abstraction (equivalence relation for StateNodes) |
CCM::Statement | Common interface of all statements |
CCM::StateNode | Node that represents a state |
CCM::StatePredicate | Predicate over a StateNode |
CCM::StateRefNode | Node that represents a state reference |
CCM::StringExpr | String type expression |
CCM::StubExpr | Stub expression |
CCM::StubIterator | Singleton class for managing exhaustive iteration over all stub property and stub method return values |
CCM::StubIterator::StubCallState | Stores the iteration state of a particular stub call |
CCM::StubIterator::StubInputState | Stores the iteration state of a particular stub input |
CCM::StubIterator::StubOutputState | Stores the iteration state of a particular stub output |
CCM::ThisExpr | "this" expression |
CCM::ThrowStm | Throw statement |
CCM::Token | |
CCM::Tokenizer | Tokenizer for C# source code |
CCM::TransitionAbstraction | Transition abstraction (equivalence relation for TransitionNodes) |
CCM::TransitionNode | Represents a generic transition node |
CCM::ValueInNode | Represents a stub property reading |
CCM::ValueOutNode | Represents a stub property writing |
CCM::Variable | Represents a variable or a class field |
CCM::VariableDecl | Represents a typed variable declaration with attributes |
CCM::VoidExpr | Void expression for void method calls |
CCM::WarningMessage | |
CCM::WhileStm | While loop statement |
CCM::WriteStm | Statement that writes an expression to the standard output |
CCM::yydebug::yyDebug | |
CCM::yydebug::yyDebugSimple | |
CCM::yyParser::yyException | Thrown for irrecoverable syntax errors and stack overflow |
CCM::yyParser::yyInput | Must be implemented by a scanner object to supply input to the parser |