diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2012-02-05 12:34:44 -0800 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2012-02-05 12:34:44 -0800 |
| commit | 50897a5a2e62d24899dad210377901d7a3ba446f (patch) | |
| tree | 4b293a3f15a48fbb20aecf4051e709eb14e4c1c8 /BCT/BytecodeTranslator/Program.cs | |
| parent | be438c723caf64dd093f79eab25b3b1f5fa5a609 (diff) | |
Separated the concepts of "boxing" (i.e., CLR boxing of a value type) from
the "union" type that is the supertype of all the translated Boogie types.
Diffstat (limited to 'BCT/BytecodeTranslator/Program.cs')
| -rw-r--r-- | BCT/BytecodeTranslator/Program.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/BCT/BytecodeTranslator/Program.cs b/BCT/BytecodeTranslator/Program.cs index abbdcc00..8de2f91e 100644 --- a/BCT/BytecodeTranslator/Program.cs +++ b/BCT/BytecodeTranslator/Program.cs @@ -566,10 +566,10 @@ namespace BytecodeTranslator { if (rtype == ltype) {
// do nothing
} else if (ltype == sink.Heap.UnionType) {
- rexpr = sink.Heap.Box(Bpl.Token.NoToken, rtype, rexpr);
+ rexpr = sink.Heap.ToUnion(Bpl.Token.NoToken, rtype, rexpr);
}
else if (rtype == sink.Heap.UnionType) {
- rexpr = sink.Heap.Unbox(Bpl.Token.NoToken, ltype, rexpr);
+ rexpr = sink.Heap.FromUnion(Bpl.Token.NoToken, ltype, rexpr);
}
else {
System.Diagnostics.Debug.Assert(false);
|