diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-18 20:43:50 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-18 20:43:50 -0700 |
| commit | 3e6e87c60016f70b36993500dfcc685639283290 (patch) | |
| tree | 8596612685aee76fd468ef8d03e16c9b4e5e4753 /Source/Dafny/cce.cs | |
| parent | 3cae76fab3d7014a2a7802f1706bb58338e4a402 (diff) | |
some code clean-up
Diffstat (limited to 'Source/Dafny/cce.cs')
| -rw-r--r-- | Source/Dafny/cce.cs | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Source/Dafny/cce.cs b/Source/Dafny/cce.cs index ff5152d0..2bb64002 100644 --- a/Source/Dafny/cce.cs +++ b/Source/Dafny/cce.cs @@ -36,22 +36,6 @@ public static class cce { [Pure]
public static void EndExpose() {
}
- [Pure]
- public static bool IsPeerConsistent(object o) {
- return true;
- }
- [Pure]
- public static bool IsConsistent(object o) {
- return true;
- }
- [Pure]
- public static bool IsExposable(object o) {
- return true;
- }
- [Pure]
- public static bool IsExposed(object o) {
- return true;
- }
public static class Owner {
[Pure]
public static bool Same(object o, object p) {
@@ -78,10 +62,6 @@ public static class cce { public UnreachableException() {
}
}
- [Pure]
- public static bool IsValid(Microsoft.Dafny.Expression expression) {
- return true;
- }
}
public class PeerAttribute : System.Attribute {
|