private void CopyTriggersFromTemplate(VccAssertStatement template) { IEnumerable <IEnumerable <Expression> > /*?*/ triggers = template.Compilation.ContractProvider.GetTriggersFor(template); if (triggers != null) { IEnumerable <IEnumerable <Expression> > copiedTriggers = CopyTriggers(triggers, this.ContainingBlock); this.Compilation.ContractProvider.AssociateTriggersWithQuantifier(this, copiedTriggers); } }
public override Statement MakeCopyFor(BlockStatement containingBlock) { if (this.ContainingBlock == containingBlock) { return(this); } var result = new VccAssertStatement(containingBlock, this); result.CopyTriggersFromTemplate(this); return(result); }
private void CopyTriggersFromTemplate(VccAssertStatement template) { IEnumerable<IEnumerable<Expression>>/*?*/ triggers = template.Compilation.ContractProvider.GetTriggersFor(template); if (triggers != null) { IEnumerable<IEnumerable<Expression>> copiedTriggers = CopyTriggers(triggers, this.ContainingBlock); this.Compilation.ContractProvider.AssociateTriggersWithQuantifier(this, copiedTriggers); } }
public override Statement MakeCopyFor(BlockStatement containingBlock) { if (this.ContainingBlock == containingBlock) return this; var result = new VccAssertStatement(containingBlock, this); result.CopyTriggersFromTemplate(this); return result; }
public VccAssertStatement(BlockStatement containingBlock, VccAssertStatement template) : base(containingBlock, template) { }