diff options
| author |  Ally Donaldson <unknown> | 2013-07-22 18:25:34 +0100 |
|---|---|---|
| committer | Ally Donaldson <unknown> | 2013-07-22 18:25:34 +0100 |
| commit | 05f3db34fad65243cbfc077bea7247ed5594bbb9 (patch) | |
| tree | 625673464f7e54dcc91b6e61f84a467ea4b09210 /Source/CodeContractsExtender | |
| parent | afaeb081ffcc1c258db6eb7c34ba0b04c493919a (diff) | |
More refactoring: PureCollections.Sequence not used anymore.
Diffstat (limited to 'Source/CodeContractsExtender')
| -rw-r--r-- | Source/CodeContractsExtender/cce.cs | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Source/CodeContractsExtender/cce.cs b/Source/CodeContractsExtender/cce.cs index 31de9a70..12163c40 100644 --- a/Source/CodeContractsExtender/cce.cs +++ b/Source/CodeContractsExtender/cce.cs @@ -124,21 +124,6 @@ public static class cce { public UnreachableException() {
}
}
- //[Pure]
- //public static bool IsValid(Microsoft.Dafny.Expression expression) {
- // return true;
- //}
- //public static List<T> toList<T>(PureCollections.Sequence s) {
- // List<T> toRet = new List<T>();
- // foreach (T t in s.elems)
- // if(t!=null)
- // toRet.Add(t);
- // return toRet;
- //}
-
- //internal static bool NonNullElements(Set set) {
- // return set != null && Contract.ForAll(0,set.Count, i => set[i] != null);
- //}
}
|