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