C# (CSharp) IPSharpProgram.Rewriteの例

コード例 #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);
        }

コード例 #2

ファイル: PSharpProject.cs プロジェクト: 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);
        }

コード例 #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;
        }

コード例 #4

ファイル: PSharpProject.cs プロジェクト: 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();
 }

コード例 #5

ファイル: PSharpProject.cs プロジェクト: 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;
        }

コード例 #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();
 }

コード例 #7

ファイル: PSharpProject.cs プロジェクト: 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);
        }

コード例 #8

ファイル: PSharpProject.cs プロジェクト: 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);
        }