예제 #1
0
        //^ [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;
        }
예제 #2
0
 internal XmlScanner(SpecSharpCompilerOptions options, List<IErrorMessage>/*?*/ scannerErrors) {
   this.scannerErrors = scannerErrors;
   this.inCompatibilityMode = options.Compatibility;
   this.sourceChars = new char[1];
   this.sourceLocation = Dummy.SourceLocation;
 }