コード例 #1
0
ファイル: Statements.cs プロジェクト: tupipa/vcc
        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);
            }
        }
コード例 #2
0
ファイル: Statements.cs プロジェクト: tupipa/vcc
        public override Statement MakeCopyFor(BlockStatement containingBlock)
        {
            if (this.ContainingBlock == containingBlock)
            {
                return(this);
            }
            var result = new VccAssertStatement(containingBlock, this);

            result.CopyTriggersFromTemplate(this);
            return(result);
        }
コード例 #3
0
ファイル: Statements.cs プロジェクト: edgar-pek/VCDryad
 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);
       }
 }
コード例 #4
0
ファイル: Statements.cs プロジェクト: edgar-pek/VCDryad
 public override Statement MakeCopyFor(BlockStatement containingBlock)
 {
     if (this.ContainingBlock == containingBlock) return this;
       var result = new VccAssertStatement(containingBlock, this);
       result.CopyTriggersFromTemplate(this);
       return result;
 }
コード例 #5
0
ファイル: Statements.cs プロジェクト: edgar-pek/VCDryad
 public VccAssertStatement(BlockStatement containingBlock, VccAssertStatement template)
     : base(containingBlock, template)
 {
 }
コード例 #6
0
ファイル: Statements.cs プロジェクト: tupipa/vcc
 public VccAssertStatement(BlockStatement containingBlock, VccAssertStatement template)
     : base(containingBlock, template)
 {
 }