Exemplo n.º 1
0
        private int startOfCurrentLine; //^ invariant 0 <= startOfCurrentLine && startOfCurrentLine <= fragmentIndex;

        #endregion Fields

        #region Constructors

        /// <summary>
        /// Allocates a preprocessor instance that can be queried for a list of source locations that represent the output from the preprocessor. This output
        /// omits preprocessor directives as well as any excluded sections. It also applies line directives by mapping some of the produced source locations
        /// onto the documents mentioned in the line directives. In other words, the produced source locations will not necessarily come from the document
        /// being preprocessed. Preprocessing happens lazily when the result of calling GetIncludedSections is enumerated.
        /// </summary>
        /// <param name="documentToProcess">The source document to preprocess.</param>
        /// <param name="options">An object that specifies any preprocessor symbols that are defined as compiler options by the environment.</param>
        internal Preprocessor(IVccUnpreprocessedSourceDocument documentToProcess, VccOptions options)
        {
            this.documentToProcess = documentToProcess;
              List<IErrorMessage> errors = this.errors = new List<IErrorMessage>();
              this.preprocessorInformation = new PreprocessorInformation(documentToProcess, errors);
              Dictionary<string, string> preprocessorDefinedSymbols = new Dictionary<string,string>();
              foreach (string ppOption in options.PreprocessorOptions) {
            if (!ppOption.StartsWith("/D", StringComparison.Ordinal)) continue;
            int eqIndex = ppOption.IndexOf('=');
            if (eqIndex < 0) eqIndex = ppOption.Length;
            string symName = ppOption.Substring(2, eqIndex-2);
            preprocessorDefinedSymbols[symName] = eqIndex != ppOption.Length ? ppOption.Substring(eqIndex+1) : String.Empty;
              }
              preprocessorDefinedSymbols["true"] = "true";
              preprocessorDefinedSymbols.Remove("false");
              this.preprocessorDefinedSymbols = preprocessorDefinedSymbols;
              this.buffer = new char[8192];
        }
Exemplo n.º 2
0
 internal Preprocessor(IVccUnpreprocessedSourceDocument documentToProcess, IDictionary<string, string> preprocessorDefinedSymbols, List<IErrorMessage> errors)
 {
     this.documentToProcess = documentToProcess;
       this.preprocessorDefinedSymbols = preprocessorDefinedSymbols;
       this.errors = errors;
       this.preprocessorInformation = new PreprocessorInformation(documentToProcess, errors);
       this.buffer = new char[8192];
 }
Exemplo n.º 3
0
 internal PreprocessorInformation(IPrimarySourceDocument newDocumentToPreprocess, PreprocessorInformation template)
 {
     this.sourceDocument = newDocumentToPreprocess;
       SourceDocumentWithInclusion/*?*/ sourceOfInclusion = null;
       List<Directive> directives = new List<Directive>(template.Directives);
       List<IErrorMessage> errors = new List<IErrorMessage>(template.errors);
       List<ISourceLocation> excludedLocations = new List<ISourceLocation>(template.ExcludedLocations);
       List<ISourceLocation> includedLocations = new List<ISourceLocation>(template.IncludedLocations);
       for (int i = 0, n = directives.Count; i < n; i++) {
     //^ assume newDocumentToPreprocess.IsUpdatedVersionOf(directives[i].SourceLocation.SourceDocument);
     directives[i] = directives[i].MakeShallowCopy(newDocumentToPreprocess);
       }
       for (int i = 0, n = errors.Count; i < n; i++) {
     ISourceErrorMessage/*?*/ sourceError = errors[i] as ISourceErrorMessage;
     //^ assume sourceError != null;
     //^ assume newDocumentToPreprocess.IsUpdatedVersionOf(sourceError.SourceLocation.SourceDocument);
     errors[i] = sourceError.MakeShallowCopy(newDocumentToPreprocess);
       }
       for (int i = 0, n = excludedLocations.Count; i < n; i++) {
     ISourceLocation excludedLocation = excludedLocations[i];
     SourceDocumentWithInclusion/*?*/ idoc = excludedLocation.SourceDocument as SourceDocumentWithInclusion;
     if (idoc != null) {
       if (sourceOfInclusion == null || !idoc.IsUpdatedVersionOf(sourceOfInclusion))
     sourceOfInclusion = new SourceDocumentWithInclusion(newDocumentToPreprocess, idoc.OriginalLineNumber, idoc.OriginalDocumentName, idoc.StartingPositionOfIncludedRegion);
       excludedLocations[i] = sourceOfInclusion.GetCorrespondingSourceLocation(excludedLocation);
     } else {
       //^ assume newDocumentToPreprocess.IsUpdatedVersionOf(excludedLocation.SourceDocument);
       excludedLocations[i] =  newDocumentToPreprocess.GetCorrespondingSourceLocation(excludedLocation);
     }
       }
       for (int i = 0, n = includedLocations.Count; i < n; i++) {
     ISourceLocation includedLocation = includedLocations[i];
     SourceDocumentWithInclusion/*?*/ idoc = includedLocation.SourceDocument as SourceDocumentWithInclusion;
     if (idoc != null) {
       if (sourceOfInclusion == null || !idoc.IsUpdatedVersionOf(sourceOfInclusion))
     sourceOfInclusion = new SourceDocumentWithInclusion(newDocumentToPreprocess, idoc.OriginalLineNumber, idoc.OriginalDocumentName, idoc.StartingPositionOfIncludedRegion);
       includedLocations[i] = sourceOfInclusion.GetCorrespondingSourceLocation(includedLocation);
     } else {
       //^ assume newDocumentToPreprocess.IsUpdatedVersionOf(includedLocation.SourceDocument);
       includedLocations[i] =  newDocumentToPreprocess.GetCorrespondingSourceLocation(includedLocation);
     }
       }
       this.directives = directives;
       this.errors = errors;
       this.excludedLocations = excludedLocations;
       this.includedLocations = includedLocations;
 }