Exemplos de Microsoft.Research.Vcc VccBlockWithContracts em C# (CSharp)

Exemplo n.º 1

Arquivo: Statements.cs Projeto: edgar-pek/VCDryad

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

Exemplo n.º 2

Arquivo: Statements.cs Projeto: tupipa/vcc

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