C# (CSharp) Microsoft.Research.Vcc VccSpecStatementの例

コード例 #1

ファイル: Statements.cs プロジェクト: edgar-pek/VCDryad

 private VccSpecStatement(BlockStatement containingBlock, VccSpecStatement template)
     : base(containingBlock, template)
 {
     this.wrappedStatement = template.wrappedStatement.MakeCopyFor(containingBlock);
 }

コード例 #2

ファイル: Statements.cs プロジェクト: tupipa/vcc

 private VccSpecStatement(BlockStatement containingBlock, VccSpecStatement template)
     : base(containingBlock, template)
 {
     this.wrappedStatement = template.wrappedStatement.MakeCopyFor(containingBlock);
 }