C# (CSharp) Microsoft.Research.Vcc VccBlockWithContracts示例

示例#1

文件： Statements.cs 项目： edgar-pek/VCDryad

 private VccBlockWithContracts(BlockStatement containingBlock, VccBlockWithContracts template)
     : base(containingBlock, template)
 {
 }

示例#2

文件： Statements.cs 项目： tupipa/vcc

 private VccBlockWithContracts(BlockStatement containingBlock, VccBlockWithContracts template)
     : base(containingBlock, template)
 {
 }