Exemplos de Microsoft.Dafny.Triggers TriggerAnnotationsCache em C# (CSharp)

Exemplo n.º 1

Arquivo: TriggersCollector.cs Projeto: utaal/dafny

 internal TriggersCollector(Dictionary <Expression, HashSet <OldExpr> > exprsInOldContext)
 {
     this.cache = new TriggerAnnotationsCache(exprsInOldContext);
 }

Exemplo n.º 2

 internal TriggersCollector(HashSet <Expression> exprsInOldContext)
 {
     this.cache = new TriggerAnnotationsCache(exprsInOldContext);
 }