/// <summary> /// Constructor. /// </summary> /// <param name="project">PSharpProject</param> /// <param name="tree">SyntaxTree</param> /// <param name="exitAtError">Exits at error</param> internal BaseParser(PSharpProject project, SyntaxTree tree, bool exitAtError) { this.Project = project; this.SyntaxTree = tree; this.ParsingErrorLog = ""; this.IsRunningInternally = exitAtError; }
/// <summary> /// Runs the P# parsing engine. /// </summary> public static void Run() { ParsingEngine.Projects = new List<PSharpProject>(); // Parse the projects. foreach (var programUnit in ProgramInfo.ProgramUnits) { var project = new PSharpProject(programUnit.GetProject()); project.Parse(); ParsingEngine.Projects.Add(project); } // Rewrite the projects. foreach (var project in ParsingEngine.Projects) { project.Rewrite(); } }
/// <summary> /// Runs the P# parsing engine. /// </summary> public static void Run() { ParsingEngine.Projects = new List <PSharpProject>(); // Parse the projects. foreach (var programUnit in ProgramInfo.ProgramUnits) { var project = new PSharpProject(programUnit.GetProject()); project.Parse(); ParsingEngine.Projects.Add(project); } // Rewrite the projects. foreach (var project in ParsingEngine.Projects) { project.Rewrite(); } }
/// <summary> /// Constructor. /// </summary> /// <param name="project">PSharpProject</param> protected PSharpRewriter(PSharpProject project) { this.Project = project; }
/// <summary> /// Constructor. /// </summary> /// <param name="project">PSharpProject</param> /// <param name="tree">SyntaxTree</param> /// <param name="exitAtError">Exits at error</param> internal PParser(PSharpProject project, SyntaxTree tree, bool exitAtError = true) : base(project, tree, exitAtError) { }