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

---