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 |