コード例 #1
0
 /// <summary>
 /// Parses the analysis context from the file with the
 /// given analysis context and suffix.
 /// </summary>
 /// <param name="suffix">Suffix</param>
 /// <returns>AnalysisContext</returns>
 protected AnalysisContext ParseContextFromFile(AnalysisContext ac, string suffix)
 {
     return(AnalysisContextParser.ParseWithContext(ac, this.Program.FileList[this.Program
                                                                             .FileList.Count - 1], "bpl", new List <string> {
         suffix
     }));
 }
コード例 #2
0
        /// <summary>
        /// Parses the analysis context from the given file.
        /// </summary>
        /// <param name="file">File</param>
        /// <param name="extension">Extension</param>
        /// <param name="additional">Additional files</param>
        internal static AnalysisContext Parse(string file, string extension, List <string> additional = null)
        {
            Microsoft.Boogie.Program program = null;
            ResolutionContext        rc      = null;

            var filesToParse = AnalysisContextParser.GetFilesToParse(file, extension, additional);

            AnalysisContextParser.CreateProgramFromFiles(filesToParse, out program, out rc);

            var parsedAc = AnalysisContext.Create(program, rc);

            if (parsedAc == null)
            {
                Environment.Exit((int)Outcome.ParsingError);
            }

            return(parsedAc);
        }
コード例 #3
0
 /// <summary>
 /// Parses the analysis context from the input file.
 /// </summary>
 /// <returns>AnalysisContext</returns>
 protected AnalysisContext ParseContextFromInputFile()
 {
     return(AnalysisContextParser.Parse(this.Program.FileList[this.Program
                                                              .FileList.Count - 1], "bpl"));
 }