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; }
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; }