/// <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);
}
