0. Deleted other heap representations except SplitField and General

1. first cut at implementing structs

1 files changed, 8 insertions, 1 deletions

diff --git a/BCT/BytecodeTranslator/MetadataTraverser.cs b/BCT/BytecodeTranslator/MetadataTraverser.cs
index 71639a5c..bbcc81f5 100644
--- a/BCT/BytecodeTranslator/MetadataTraverser.cs
+++ b/BCT/BytecodeTranslator/MetadataTraverser.cs
@@ -102,7 +102,7 @@ namespace BytecodeTranslator {
         if (f.IsStatic) {

 

           Bpl.Expr e;

-          var bplType = TranslationHelper.CciTypeToBoogie(f.Type);

+          var bplType = this.sink.CciTypeToBoogie(f.Type);

           if (bplType == Bpl.Type.Int) {

             e = Bpl.Expr.Literal(0);

             e.Type = Bpl.Type.Int;

@@ -181,6 +181,13 @@ namespace BytecodeTranslator {
           }

         }

 

+        if (!method.IsStatic && method.ContainingType.ResolvedType.IsStruct) {

+          Bpl.IToken tok = method.Token();

+          stmtTraverser.StmtBuilder.Add(Bpl.Cmd.SimpleAssign(tok,

+              new Bpl.IdentifierExpr(tok, proc.OutParams[0]),

+              new Bpl.IdentifierExpr(tok, proc.InParams[0])));

+        }

+

         #endregion

 

         #region For non-deferring ctors and all cctors, initialize all fields to null-equivalent values