More structuring of the different heap representations. Now each heap representation is implemented as a different object.

1 files changed, 2 insertions, 2 deletions

diff --git a/BCT/BytecodeTranslator/TraverserFactory.cs b/BCT/BytecodeTranslator/TraverserFactory.cs
index 65b22084..6efe04e2 100644
--- a/BCT/BytecodeTranslator/TraverserFactory.cs
+++ b/BCT/BytecodeTranslator/TraverserFactory.cs
@@ -18,9 +18,9 @@ using Bpl = Microsoft.Boogie;
 

 namespace BytecodeTranslator {

   public abstract class TraverserFactory {

-    public virtual MetadataTraverser MakeMetadataTraverser(IContractProvider contractProvider, PdbReader/*?*/ pdbReader, Heap heap)

+    public virtual MetadataTraverser MakeMetadataTraverser(IContractProvider contractProvider, PdbReader/*?*/ pdbReader, HeapFactory heapFactory)

     {

-      return new MetadataTraverser(new Sink(this, heap), contractProvider, pdbReader);

+      return new MetadataTraverser(new Sink(this, heapFactory), contractProvider, pdbReader);

     }

     public virtual StatementTraverser MakeStatementTraverser(Sink sink, PdbReader/*?*/ pdbReader) {

       return new StatementTraverser(sink, pdbReader);