//^ [NotDelayed]
public SpecSharpCompilerOptions(CompilerOptions options)
: base(options)
{
SpecSharpCompilerOptions /*?*/ coptions = options as SpecSharpCompilerOptions;
if (coptions == null)
{
return;
}
this.Compatibility = coptions.Compatibility;
this.ReferenceTypesAreNonNullByDefault = coptions.ReferenceTypesAreNonNullByDefault;
this.RunProgramVerifier = coptions.RunProgramVerifier;
this.RunProgramVerifierWhileEditing = coptions.RunProgramVerifierWhileEditing;
this.ProgramVerifierCommandLineOptions = coptions.ProgramVerifierCommandLineOptions;
}
internal XmlScanner(SpecSharpCompilerOptions options, List<IErrorMessage>/*?*/ scannerErrors) {
this.scannerErrors = scannerErrors;
this.inCompatibilityMode = options.Compatibility;
this.sourceChars = new char[1];
this.sourceLocation = Dummy.SourceLocation;
}
