C# (CSharp) Microsoft.Dafny.Triggers TriggerAnnotationsCache Examples

Example #1

File: TriggersCollector.cs Project: utaal/dafny

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

Example #2

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