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

CCM Namespace Reference


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...


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