/// <summary> /// Parses a P# syntax tree to C#. /// th /// </summary> /// <param name="tree">SyntaxTree</param> private void ParsePSharpSyntaxTree(SyntaxTree tree) { var root = (CompilationUnitSyntax)tree.GetRoot(); var tokens = new PSharpLexer().Tokenize(root.ToFullString()); var program = new PSharpParser(this, tree).ParseTokens(tokens); this.PSharpPrograms.Add(program as PSharpProgram); this.ProgramMap.Add(program, tree); }