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);
 }