Controls command line argument processing, parser invocation and model generation.
|
Static Public Member Functions |
| void | addStandardClasses (Hashtable classes) |
| | Add CCM and C# standard classes to the given list of known classes.
|
| int | parseOutput (string[] args, int idx) |
| | Parse output mode and filename into outputMode and outputFile.
|
| int | parseAll (string[] args, int idx) |
| | Parse all files given on command line and write the Comp class into model.comp.
|
| IList | parseCtorArgs (string[] args, int idx) |
| | Parse all constructor arguments given on command line.
|
| int | Main (string[] args) |
| | Main method.
|
Private Types |
| enum | OutputMode { CCMB,
PROLOG,
BIN
} |
Static Private Member Functions |
| void | calcProcess (StateNode s) |
| | Calculate process for given state node.
|
Static Private Attributes |
| int | lastPrintNodes = -10000 |
| | Number of nodes when #nodes was printed last.
|
| IList | eventMethods |
| | List of all Methods with [Event] attribute.
|
| ArrayList | emptyArgs = new ArrayList() |
| | Constant empty list (used to call methods with no parameters).
|
| Model | model = new Model() |
| | Generated model.
|
| Method | runMethod |
| OutputMode | outputMode |
| string | outputFile |