diff options
Diffstat (limited to 'BCT/BytecodeTranslator/HeapFactory.cs')
-rw-r--r-- | BCT/BytecodeTranslator/HeapFactory.cs | 10 |
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;
|