C# (CSharp) Microsoft.Dafny.Triggers TriggerAnnotationsCache示例

示例#1

文件： TriggersCollector.cs 项目： utaal/dafny

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

示例#2

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