The beginning of the encapsulation of the Heap representation so that we can easily have different ways of translating the heap.

2 files changed, 2 insertions, 2 deletions

diff --git a/BCT/RegressionTests/TranslationTest/RegressionTestInput.txt b/BCT/RegressionTests/TranslationTest/RegressionTestInput.txt
index ae41cebd..fdb08f32 100644
--- a/BCT/RegressionTests/TranslationTest/RegressionTestInput.txt
+++ b/BCT/RegressionTests/TranslationTest/RegressionTestInput.txt
@@ -66,7 +66,6 @@ implementation RegressionTestInput.ClassWithBoolTypes..ctor$System.Void(this: in
     assert {:sourceFile "Class1.cs"} {:sourceLine 67} true;

     assert {:sourceFile "Class1.cs"} {:sourceLine 68} true;

     $Heap[this, RegressionTestInput.ClassWithBoolTypes.b] := z;

-    assert {:sourceFile "Class1.cs"} {:sourceLine 16707566} true;

     if (z)

     {

         assert {:sourceFile "Class1.cs"} {:sourceLine 69} true;

diff --git a/BCT/RegressionTests/TranslationTest/UnitTest0.cs b/BCT/RegressionTests/TranslationTest/UnitTest0.cs
index c45829a5..4c1a308e 100644
--- a/BCT/RegressionTests/TranslationTest/UnitTest0.cs
+++ b/BCT/RegressionTests/TranslationTest/UnitTest0.cs
@@ -84,7 +84,8 @@ namespace TranslationTest {
 

       #region Pass 3: Translate the code model to BPL

       var factory = new CLRSemantics();

-      MetadataTraverser translator = factory.MakeMetadataTraverser(host.GetContractExtractor(module.ModuleIdentity), pdbReader);

+      var heap = new Heap();

+      MetadataTraverser translator = factory.MakeMetadataTraverser(host.GetContractExtractor(module.ModuleIdentity), pdbReader, heap);

       assembly = module as IAssembly;

       if (assembly != null)

         translator.Visit(assembly);