Esempi in C# (CSharp) per Microsoft.Research.Vcc VccAssertStatement.CopyTriggersFromTemplate

Esempio n. 1

File: Statements.cs Progetto: 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);
        }

Esempio n. 2

File: Statements.cs Progetto: 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;
 }