Exemplos de IPSharpProgram.Rewrite em C# (CSharp)

Exemplo n.º 1

        /// <summary>
        /// Rewrites a P# or P program to C#.
        /// </summary>
        /// <param name="program">Program</param>
        /// <param name="tree">SyntaxTree</param>
        private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
        {
            program.Rewrite();

            var project = this.CompilationContext.GetProjectWithName(this.Name);

            this.CompilationContext.ReplaceSyntaxTree(program.GetSyntaxTree(), project);
        }

Exemplo n.º 2

Arquivo: PSharpProject.cs Projeto: mattmccutchen/PSharp

        /// <summary>
        /// Rewrites a P# or P program to C#.
        /// </summary>
        /// <param name="program">Program</param>
        /// <param name="tree">SyntaxTree</param>
        private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
        {
            program.Rewrite();

            var project = ProgramInfo.GetProjectWithName(this.Name);

            ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), project);
        }

Exemplo n.º 3

        /// <summary>
        /// Rewrites a P# or P program to C#.
        /// </summary>
        /// <param name="program">Program</param>
        /// <param name="tree">SyntaxTree</param>
        private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
        {
            program.Rewrite();

            var project = this.Project;

            ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), ref project);
            this.Project = project;
        }

Exemplo n.º 4

Arquivo: PSharpProject.cs Projeto: yonglehou/PSharp

 /// <summary>
 /// Rewrites a P# program to C#.
 /// </summary>
 /// <param name="program">Program</param>
 /// <param name="tree">SyntaxTree</param>
 private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
 {
     program.Rewrite();
 }

Exemplo n.º 5

Arquivo: PSharpProject.cs Projeto: jerickmsft/PSharp

        /// <summary>
        /// Rewrites a P# or P program to C#.
        /// </summary>
        /// <param name="program">Program</param>
        /// <param name="tree">SyntaxTree</param>
        private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
        {
            program.Rewrite();

            var project = this.Project;
            ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), ref project);
            this.Project = project;
        }

Exemplo n.º 6

 /// <summary>
 /// Rewrites a P# program to C#.
 /// </summary>
 /// <param name="program">Program</param>
 /// <param name="tree">SyntaxTree</param>
 private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
 {
     program.Rewrite();
 }

Exemplo n.º 7

Arquivo: PSharpProject.cs Projeto: huangpf/PSharp

        /// <summary>
        /// Rewrites a P# or P program to C#.
        /// </summary>
        /// <param name="program">Program</param>
        /// <param name="tree">SyntaxTree</param>
        private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
        {
            program.Rewrite();

            var project = this.CompilationContext.GetProjectWithName(this.Name);
            this.CompilationContext.ReplaceSyntaxTree(program.GetSyntaxTree(), project);
        }

Exemplo n.º 8

Arquivo: PSharpProject.cs Projeto: jerickmsft/PSharp

        /// <summary>
        /// Rewrites a P# or P program to C#.
        /// </summary>
        /// <param name="program">Program</param>
        /// <param name="tree">SyntaxTree</param>
        private void RewriteProgram(IPSharpProgram program, SyntaxTree tree)
        {
            program.Rewrite();

            var project = ProgramInfo.GetProjectWithName(this.Name);
            ProgramInfo.ReplaceSyntaxTree(program.GetSyntaxTree(), project);
        }