/// <summary> /// Constructor. /// </summary> /// <param name="options">ParsingOptions</param> public BaseParser(ParsingOptions options) { this.Options = options; }
/// <summary> /// Constructor. /// </summary> /// <param name="context">CompilationContext</param> /// <param name="options">ParsingOptions</param> private ParsingEngine(CompilationContext context, ParsingOptions options) { this.CompilationContext = context; this.Options = options; }
/// <summary> /// Creates a P# parsing engine for the specified compilation /// context and using the specified parsing options. /// </summary> /// <param name="context">CompilationContext</param> /// <param name="options">ParsingOptions</param> /// <returns>ParsingEngine</returns> public static ParsingEngine Create(CompilationContext context, ParsingOptions options) { return new ParsingEngine(context, options); }
/// <summary> /// Parses a C# syntax tree to C#. /// th /// </summary> /// <param name="tree">SyntaxTree</param> /// <param name="options">ParsingOptions</param> private void ParseCSharpSyntaxTree(SyntaxTree tree, ParsingOptions options) { var root = (CompilationUnitSyntax)tree.GetRoot(); var program = new CSharpParser(this, tree, options).Parse(); this.CSharpPrograms.Add(program as CSharpProgram); this.ProgramMap.Add(program, tree); }
/// <summary> /// Constructor. /// </summary> /// <param name="project">PSharpProject</param> /// <param name="tree">SyntaxTree</param> /// <param name="options">ParsingOptions</param> internal CSharpParser(PSharpProject project, SyntaxTree tree, ParsingOptions options) : base(project, tree, options) { this.ErrorLog = new List<Tuple<SyntaxToken, string>>(); this.WarningLog = new List<Tuple<SyntaxToken, string>>(); }
/// <summary> /// Constructor. /// </summary> /// <param name="project">PSharpProject</param> /// <param name="tree">SyntaxTree</param> /// <param name="options">ParsingOptions</param> internal TokenParser(PSharpProject project, SyntaxTree tree, ParsingOptions options) : base(project, tree, options) { this.ErrorLog = new StringBuilder(); }
/// <summary> /// Constructor. /// </summary> /// <param name="project">PSharpProject</param> /// <param name="tree">SyntaxTree</param> /// <param name="options">ParsingOptions</param> internal PSharpParser(PSharpProject project, SyntaxTree tree, ParsingOptions options) : base(project, tree, options) { }
/// <summary> /// Initializes a new instance of the <see cref="CSharpParser"/> class. /// </summary> public CSharpParser(ParsingOptions options) : base(options) { this.ErrorLog = new List <Tuple <SyntaxToken, string> >(); this.WarningLog = new List <Tuple <SyntaxToken, string> >(); }
/// <summary> /// Initializes a new instance of the <see cref="CSharpParser"/> class. /// </summary> internal CSharpParser(PSharpProject project, SyntaxTree tree, ParsingOptions options) : base(project, tree, options) { this.ErrorLog = new List <Tuple <SyntaxToken, string> >(); this.WarningLog = new List <Tuple <SyntaxToken, string> >(); }
/// <summary> /// Creates a P# parsing engine for the specified compilation /// context and using the specified parsing options. /// </summary> public static ParsingEngine Create(CompilationContext context, ParsingOptions options) { return(new ParsingEngine(context, options)); }
/// <summary> /// Initializes a new instance of the <see cref="ParsingEngine"/> class. /// </summary> private ParsingEngine(CompilationContext context, ParsingOptions options) { this.CompilationContext = context; this.Options = options; }
/// <summary> /// Creates a P# parsing engine for the specified compilation /// context and using the default parsing options. /// </summary> public static ParsingEngine Create(CompilationContext context) { return(new ParsingEngine(context, ParsingOptions.CreateDefault())); }
/// <summary> /// Constructor. /// </summary> /// <param name="project">PSharpProject</param> /// <param name="tree">SyntaxTree</param> /// <param name="options">ParsingOptions</param> internal BaseParser(PSharpProject project, SyntaxTree tree, ParsingOptions options) { this.Project = project; this.SyntaxTree = tree; this.Options = options; }
/// <summary> /// Initializes a new instance of the <see cref="TokenParser"/> class. /// </summary> public TokenParser(ParsingOptions options) : base(options) { this.ErrorLog = new StringBuilder(); }
/// <summary> /// Constructor. /// </summary> /// <param name="options">ParsingOptions</param> public TokenParser(ParsingOptions options) : base(options) { this.ErrorLog = new StringBuilder(); }
/// <summary> /// Initializes a new instance of the <see cref="TokenParser"/> class. /// </summary> internal TokenParser(PSharpProject project, SyntaxTree tree, ParsingOptions options) : base(project, tree, options) { this.ErrorLog = new StringBuilder(); }
/// <summary> /// Constructor. /// </summary> /// <param name="options">ParsingOptions</param> public PSharpParser(ParsingOptions options) : base(options) { }
/// <summary> /// Parses the project. /// </summary> /// <param name="options">ParsingOptions</param> public void Parse(ParsingOptions options) { var project = this.CompilationContext.GetProjectWithName(this.Name); var compilation = project.GetCompilationAsync().Result; foreach (var tree in compilation.SyntaxTrees.ToList()) { if (this.CompilationContext.IsPSharpFile(tree)) { this.ParsePSharpSyntaxTree(tree, options); } else if (this.CompilationContext.IsCSharpFile(tree)) { this.ParseCSharpSyntaxTree(tree, options); } } }
/// <summary> /// Parses a P# syntax tree to C#. /// th /// </summary> /// <param name="tree">SyntaxTree</param> /// <param name="options">ParsingOptions</param> private void ParsePSharpSyntaxTree(SyntaxTree tree, ParsingOptions options) { var root = (CompilationUnitSyntax)tree.GetRoot(); var tokens = new PSharpLexer().Tokenize(root.ToFullString()); var program = new PSharpParser(this, tree, options).ParseTokens(tokens); this.PSharpPrograms.Add(program as PSharpProgram); this.ProgramMap.Add(program, tree); }
/// <summary> /// Constructor. /// </summary> /// <param name="options">ParsingOptions</param> public CSharpParser(ParsingOptions options) : base(options) { this.ErrorLog = new List<Tuple<SyntaxToken, string>>(); this.WarningLog = new List<Tuple<SyntaxToken, string>>(); }