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

Exemplo n.º 1

Arquivo: Statements.cs Projeto: tupipa/vcc

        private VccAtomicStatement(BlockStatement containingBlock, VccAtomicStatement template)
            : base(containingBlock, template)
        {
            var exprs = new List <Expression>();

            foreach (var expr in template.expressions)
            {
                exprs.Add(expr.MakeCopyFor(containingBlock));
            }
            exprs.TrimExcess();
            this.expressions   = exprs;
            this.body          = template.body.MakeCopyFor(containingBlock);
            this.isGhostAtomic = template.isGhostAtomic;
        }

Exemplo n.º 2

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

 private VccAtomicStatement(BlockStatement containingBlock, VccAtomicStatement template)
     : base(containingBlock, template)
 {
     var exprs = new List<Expression>();
       foreach (var expr in template.expressions)
     exprs.Add(expr.MakeCopyFor(containingBlock));
       exprs.TrimExcess();
       this.expressions = exprs;
       this.body = template.body.MakeCopyFor(containingBlock);
       this.isGhostAtomic = template.isGhostAtomic;
 }