public static SpecSharpOptions ParseCommandLineArguments(MetadataHostEnvironment hostEnvironment, IEnumerable <string> arguments)
{
OptionParser parser = new OptionParser(hostEnvironment);
parser.ParseCommandLineArguments(arguments, true);
return(parser.options);
}
public static VccOptions ParseCommandLineArguments(MetadataHostEnvironment hostEnvironment, IEnumerable <string> arguments, bool oneOrMoreSourceFilesExpected)
{
OptionParser parser = new OptionParser(hostEnvironment);
parser.ParseCommandLineArguments(arguments, oneOrMoreSourceFilesExpected);
CheckOptions(hostEnvironment, parser.options);
return(parser.options);
}
/// <summary>
///
/// </summary>
/// <param name="hostEnvironment"></param>
protected OptionParser(MetadataHostEnvironment hostEnvironment)
{
this.hostEnvironment = hostEnvironment;
Options options = new Options();
//^ assume options != null;
this.options = options;
}
public static VccOptions ParseCommandLineArguments(MetadataHostEnvironment hostEnvironment, IEnumerable <string> arguments, VccOptions template)
{
OptionParser parser = new OptionParser(hostEnvironment);
parser.options.CopyFrom(template);
parser.ParseCommandLineArguments(arguments, false);
CheckOptions(hostEnvironment, parser.options);
return(parser.options);
}
private static void CheckOptions(MetadataHostEnvironment hostEnvironment, VccOptions options)
{
if (options.RunTestSuite &&
options.RunTestSuiteMultiThreaded != -1 &&
!String.IsNullOrEmpty(options.XmlLogFile))
{
DummyExpression dummyExpression = new DummyExpression(SourceDummy.SourceLocation);
hostEnvironment.ReportError(new AstErrorMessage(dummyExpression,
Microsoft.Cci.Ast.Error.InvalidCompilerOption,
"Cannot combine /xml with /suite /smt")); // XML logger is sequential
}
}
public static VccOptions ParseCommandLineArguments(MetadataHostEnvironment hostEnvironment, IEnumerable <string> arguments)
{
return(OptionParser.ParseCommandLineArguments(hostEnvironment, arguments, true));
}
private OptionParser(MetadataHostEnvironment hostEnvironment)
: base(hostEnvironment)
{
//^ assume this.options != null;
this.options.CheckedArithmetic = true;
}
private OptionParser(MetadataHostEnvironment hostEnvironment)
: base(hostEnvironment)
{
}
