예제 #1
0
 internal void Parse(Parsing.Parser parser, VccCompilationPart compilationPart)
 {
     this.Parse(parser);
       this.compilationPart = compilationPart;
       this.SetContainingNodes();
       this.isInitialized = true;
 }
예제 #2
0
 internal void Parse(Parsing.Parser parser, VccCompilationPart compilationPart)
 {
     this.Parse(parser);
     this.compilationPart = compilationPart;
     this.SetContainingNodes();
     this.isInitialized = true;
 }
예제 #3
0
 protected override void InitializeIfNecessary()
 //^^ ensures this.members != null;
 {
     if (this.isInitialized)
     {
         return;
     }
     lock (GlobalLock.LockingObject) {
         if (this.isInitialized)
         {
             return;
         }
         //^ assume this.CompilationPart is VccCompilationPart; //The constructor ensures this
         VccCompilationPart cp     = (VccCompilationPart)this.CompilationPart;
         Parser             parser = Parser.Create(cp.Compilation, this.SourceLocation, cp.ScannerAndParserErrors); //TODO: get options from Compilation
         this.Parse(parser);
         this.SetContainingNodes();
         ErrorEventArgs errorEventArguments = new ErrorEventArgs(ErrorReporter.Instance, this.SourceLocation, cp.ScannerAndParserErrors.AsReadOnly());
         this.Compilation.HostEnvironment.ReportErrors(errorEventArguments);
         errorEventArguments = new ErrorEventArgs(ErrorReporter.Instance, cp.UnpreprocessedDocument.SourceLocation, cp.PreprocessorErrors);
         this.Compilation.HostEnvironment.ReportErrors(errorEventArguments);
         this.isInitialized = true;
     }
 }
예제 #4
0
 //^ requires sourceLocation.SourceDocument is VccCompositeDocument;
 internal VccRootNamespaceDeclaration(VccCompilationPart compilationPart, ISourceLocation sourceLocation)
     : base(compilationPart, sourceLocation)
 {
 }
예제 #5
0
 internal VccRootNamespaceDeclaration(VccCompilationPart compilationPart, ISourceLocation sourceLocation)
     : base(compilationPart, sourceLocation)
     //^ requires sourceLocation.SourceDocument is VccCompositeDocument;
 {
 }