Merge, and refactored bit in Cloner into class ClonerButDropMethodBodies.

1 files changed, 16 insertions, 1 deletions

diff --git a/Source/Dafny/Cloner.cs b/Source/Dafny/Cloner.cs
index 615ef596..8ec51b82 100644
--- a/Source/Dafny/Cloner.cs
+++ b/Source/Dafny/Cloner.cs
@@ -9,6 +9,9 @@ namespace Microsoft.Dafny
 {

   class Cloner

   {

+    public Cloner() {

+    }

+     

     public ModuleDefinition CloneModuleDefinition(ModuleDefinition m, string name) {

       ModuleDefinition nw;

       if (m is DefaultModuleDecl) {

@@ -23,6 +26,7 @@ namespace Microsoft.Dafny
       nw.Height = m.Height;

       return nw;

     }

+

     public TopLevelDecl CloneDeclaration(TopLevelDecl d, ModuleDefinition m) {

       Contract.Requires(d != null);

       Contract.Requires(m != null);

@@ -451,7 +455,7 @@ namespace Microsoft.Dafny
       return c;

     }

 

-    public BlockStmt CloneBlockStmt(BlockStmt stmt) {

+    public virtual BlockStmt CloneBlockStmt(BlockStmt stmt) {

       if (stmt == null) {

         return null;

       } else {

@@ -645,6 +649,17 @@ namespace Microsoft.Dafny
     }

   }

 

+  class ClonerButDropMethodBodies : Cloner

+  {

+    public ClonerButDropMethodBodies()

+      : base() {

+    }

+

+    public override BlockStmt CloneBlockStmt(BlockStmt stmt) {

+      return null;

+    }

+  }

+

   /// <summary>

   /// Subclass of Cloner that collects some common functionality between CoLemmaPostconditionSubstituter and

   /// CoLemmaBodyCloner.