diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-11-24 22:30:27 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-11-24 22:30:27 -0800 |
| commit | f951a8d7ff6d4df3852b026e216ed439164b5457 (patch) | |
| tree | 7cd7472ec9bd44663d7025fe1cf580439f0eda93 /Source/DafnyExtension/OutliningTagger.cs | |
| parent | 70523547fb07542156e744df2123e844aa928001 (diff) | |
Parse prefix predicates/methods
Diffstat (limited to 'Source/DafnyExtension/OutliningTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/OutliningTagger.cs | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/Source/DafnyExtension/OutliningTagger.cs b/Source/DafnyExtension/OutliningTagger.cs index a47cdba7..38aa7acc 100644 --- a/Source/DafnyExtension/OutliningTagger.cs +++ b/Source/DafnyExtension/OutliningTagger.cs @@ -149,9 +149,18 @@ namespace DafnyLanguage continue;
}
if (m is Dafny.Function && ((Dafny.Function)m).Body != null) {
- newRegions.Add(new ORegion(m, m is Dafny.CoPredicate ? "copredicate" : m is Dafny.Predicate ? "predicate" : "function"));
+ var nm =
+ m is Dafny.CoPredicate ? "copredicate" :
+ m is Dafny.PrefixPredicate ? "prefix predicate" :
+ m is Dafny.Predicate ? "predicate" :
+ "function";
+ newRegions.Add(new ORegion(m, nm));
} else if (m is Dafny.Method && ((Dafny.Method)m).Body != null) {
- newRegions.Add(new ORegion(m, m is Dafny.Constructor ? "constructor" : "method"));
+ var nm =
+ m is Dafny.Constructor ? "constructor" :
+ m is Dafny.PrefixMethod ? "prefix method" :
+ "method";
+ newRegions.Add(new ORegion(m, nm));
}
}
}
|