C# Class Microsoft.Zing.ZingerCommandLine

Zing Commandline Parsing and Setting up Zing Configuration
Show file Open project: ZingModelChecker/Zing

Public Methods

Method Description
ParseCommandLine ( string args ) : bool
PrintZingerHelp ( string arg, string errorMessage ) : void

Method Details

ParseCommandLine() public static method

public static ParseCommandLine ( string args ) : bool
args string
return bool

PrintZingerHelp() public static method

public static PrintZingerHelp ( string arg, string errorMessage ) : void
arg string
errorMessage string
return void