Classes | |
class | CCM::BinDumper |
class | CCM::Statement |
Common interface of all statements. More... | |
class | CCM::Block |
Statement block (list of Statements). More... | |
class | CCM::ExprStm |
Statement that just evaluates an expression. More... | |
class | CCM::IfStm |
If-Then-Else statement. More... | |
class | CCM::WhileStm |
While loop statement. More... | |
class | CCM::ForStm |
For loop statement without initializer (this is already handled by the parser). More... | |
class | CCM::DoStm |
Do loop statement. More... | |
class | CCM::BreakStm |
Break statement. More... | |
class | CCM::ContinueStm |
Continue statement. More... | |
class | CCM::ReturnStm |
Return statement. More... | |
class | CCM::ThrowStm |
Throw statement. More... | |
class | CCM::WriteStm |
Statement that writes an expression to the standard output. More... | |
class | CCM::Method |
Represents a method. More... | |
struct | 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). More... | |
class | CCM::Class |
Represents a class. More... | |
class | CCM::CSharpParser |
C#-Parser class. More... | |
class | CCM::Token |
class | CCM::Tokenizer |
Tokenizer for C# source code. More... | |
class | CCM::CS2CCMB |
cs2ccmb main program. More... | |
class | CCM::QID |
Represents a qualified identifier. More... | |
class | CCM::Ref |
Represents a variable or method reference. More... | |
class | CCM::Attribute |
Represents an attribute with positional and named arguments. More... | |
class | CCM::VariableDecl |
Represents a typed variable declaration with attributes. More... | |
class | CCM::Variable |
Represents a variable or a class field. More... | |
class | CCM::List |
List that provides a nice ToString(). More... | |
class | CCM::Range |
Value range for equivalence relation domains. More... | |
class | CCM::EqRel |
Equivalence relation for a single value. More... | |
class | CCM::StateAbstraction |
State abstraction (equivalence relation for StateNodes). More... | |
class | CCM::TransitionAbstraction |
Transition abstraction (equivalence relation for TransitionNodes). More... | |
class | CCM::Expr |
Base class of all expressions. More... | |
class | CCM::NullExpr |
Expression without type. More... | |
class | CCM::BoolExpr |
Boolean type expression. More... | |
class | CCM::IntExpr |
Integer typ expression. More... | |
class | CCM::FloatExpr |
Float type expression. More... | |
class | CCM::StringExpr |
String type expression. More... | |
class | CCM::ArrayExpr |
Array type expression. More... | |
class | CCM::StubExpr |
Stub expression. More... | |
class | CCM::ThisExpr |
"this" expression. More... | |
class | CCM::VoidExpr |
Void expression for void method calls. More... | |
class | CCM::BoolIterator |
Iterator that loops over false and true. More... | |
class | CCM::IntIterator |
Iterator that loops over a range of integers. More... | |
class | CCM::DoubleIterator |
Iterator that loops over a range of doubles. More... | |
class | CCM::ListIterator |
Iterates exhaustively over a list (tuple) of IEnumerables. More... | |
class | CCM::StubIterator |
Singleton class for managing exhaustive iteration over all stub property and stub method return values. More... | |
class | CCM::StubIterator::StubInputState |
Stores the iteration state of a particular stub input. More... | |
class | CCM::StubIterator::StubCallState |
Stores the iteration state of a particular stub call. More... | |
class | CCM::StubIterator::StubOutputState |
Stores the iteration state of a particular stub output. More... | |
struct | CCM::Location |
Keeps track of the location in the program. More... | |
class | CCM::Node |
Node in the process graph. More... | |
class | CCM::StateNode |
Node that represents a state. More... | |
class | CCM::StateRefNode |
Node that represents a state reference. More... | |
class | CCM::TransitionNode |
Represents a generic transition node. More... | |
class | CCM::ValueInNode |
Represents a stub property reading. More... | |
class | CCM::ValueOutNode |
Represents a stub property writing. More... | |
class | CCM::MethodCallNode |
Represents a stub method call. More... | |
class | CCM::Model |
Represents a CCMB model (set of processes). More... | |
class | CCM::Report |
This class is used to report errors and warnings to the user. More... | |
class | CCM::Message |
class | CCM::WarningMessage |
class | CCM::ErrorMessage |
class | CCM::SimChecker |
(Bi)similarity checker. More... | |
class | CCM::ConditionValue |
Abstract value for use in predicate conditions. More... | |
class | CCM::ConditionBoolValue |
Boolean constant for use in predicate conditions. More... | |
class | CCM::ConditionIntValue |
Integer constant for use in predicate conditions. More... | |
class | CCM::ConditionDoubleValue |
Double constant for use in predicate conditions. More... | |
class | CCM::ConditionFieldValue |
State field value for use in predicate conditions. More... | |
class | CCM::PredCondition |
Single predicate condition. More... | |
class | CCM::StatePredicate |
Predicate over a StateNode. More... |