Esempi in C# (CSharp) per Microsoft.Research.Vcc VccUnwrappingStatement

Esempio n. 1

File: Statements.cs Progetto: edgar-pek/VCDryad

 private VccUnwrappingStatement(BlockStatement containingBlock, VccUnwrappingStatement template)
     : base(containingBlock, template)
 {
     this.expressions = template.expressions.Select(e => e.MakeCopyFor(containingBlock)).ToArray();
       this.body = template.body.MakeCopyFor(containingBlock);
 }

Esempio n. 2

File: Statements.cs Progetto: tupipa/vcc

 private VccUnwrappingStatement(BlockStatement containingBlock, VccUnwrappingStatement template)
     : base(containingBlock, template)
 {
     this.expressions = template.expressions.Select(e => e.MakeCopyFor(containingBlock)).ToArray();
     this.body        = template.body.MakeCopyFor(containingBlock);
 }