bug fix in heap access for splitfield option

1 files changed, 2 insertions, 8 deletions

diff --git a/BCT/BytecodeTranslator/HeapFactory.cs b/BCT/BytecodeTranslator/HeapFactory.cs
index 6de7cb95..579ce648 100644
--- a/BCT/BytecodeTranslator/HeapFactory.cs
+++ b/BCT/BytecodeTranslator/HeapFactory.cs
@@ -73,6 +73,8 @@ namespace BytecodeTranslator {
 

     public abstract Bpl.Variable CreateFieldVariable(IFieldReference field);

 

+    public abstract Bpl.Variable BoxField { get; }

+

     #region Boogie Types

 

     [RepresentationFor("Field", "type Field;")]

@@ -184,14 +186,6 @@ namespace BytecodeTranslator {
 

     #endregion

 

-    #region "Boxing" as done in the CLR

-    /// <summary>

-    /// Used to represent "boxing" as it is done in the CLR.

-    /// </summary>

-    [RepresentationFor("$BoxField", "const unique $BoxField: Field;")]

-    public Bpl.Constant BoxField = null;

-    #endregion

-

     #region Real number conversions

     [RepresentationFor("Int2Real", "function Int2Real(int): Real;")]

     public Bpl.Function Int2Real = null;