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

CCM::CS2CCMB Class Reference

List of all members.

Detailed Description

cs2ccmb main program.

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


Member Enumeration Documentation

enum CCM::CS2CCMB::OutputMode [private]
 

Enumeration values:
CCMB 
PROLOG 
BIN 


Member Function Documentation

void CCM::CS2CCMB::addStandardClasses Hashtable  classes  )  [static]
 

Add CCM and C# standard classes to the given list of known classes.

This adds:

  • class Exception with ctor Exception( Expr )
  • Common with Common.log( Object, string )

void CCM::CS2CCMB::calcProcess StateNode  s  )  [static, private]
 

Calculate process for given state node.

int CCM::CS2CCMB::Main string[]  args  )  [static]
 

Main method.

int CCM::CS2CCMB::parseAll string[]  args,
int  idx
[static]
 

Parse all files given on command line and write the Comp class into model.comp.

Parameters:
args Array of command line arguments
idx Start at array position idx
Returns:
Index of the first ctor argument in args (just after the -- argument) or -1 on parsing error

IList CCM::CS2CCMB::parseCtorArgs string[]  args,
int  idx
[static]
 

Parse all constructor arguments given on command line.

Parameters:
args Array of command line arguments
idx Start at array position idx
Returns:
List of parsed arguments

int CCM::CS2CCMB::parseOutput string[]  args,
int  idx
[static]
 

Parse output mode and filename into outputMode and outputFile.

Parameters:
args Array of command line arguments
idx Start at array position idx
Returns:
Index of the first argument in args after the output mode or -1 on parsing error


Member Data Documentation

ArrayList CCM::CS2CCMB::emptyArgs = new ArrayList() [static, private]
 

Constant empty list (used to call methods with no parameters).

IList CCM::CS2CCMB::eventMethods [static, private]
 

List of all Methods with [Event] attribute.

int CCM::CS2CCMB::lastPrintNodes = -10000 [static, private]
 

Number of nodes when #nodes was printed last.

Model CCM::CS2CCMB::model = new Model() [static, private]
 

Generated model.

string CCM::CS2CCMB::outputFile [static, private]
 

OutputMode CCM::CS2CCMB::outputMode [static, private]
 

Method CCM::CS2CCMB::runMethod [static, private]
 


The documentation for this class was generated from the following file:
Generated on Mon Jun 21 01:20:50 2004 for cs2ccmb by doxygen 1.3.7