An initial import of the teyjus source code in the C runtime for GF. The two runtime are still not connected but the source code compiles.

1 files changed, 80 insertions, 0 deletions

diff --git a/src/runtime/c/teyjus/simulator/trail.h b/src/runtime/c/teyjus/simulator/trail.h
new file mode 100644
index 000000000..675392b4b
--- /dev/null
+++ b/src/runtime/c/teyjus/simulator/trail.h
@@ -0,0 +1,80 @@
+//////////////////////////////////////////////////////////////////////////////
+//Copyright 2008
+//  Andrew Gacek, Steven Holte, Gopalan Nadathur, Xiaochu Qi, Zach Snow
+//////////////////////////////////////////////////////////////////////////////
+// This file is part of Teyjus.                                             //
+//                                                                          //
+// Teyjus is free software: you can redistribute it and/or modify           //
+// it under the terms of the GNU General Public License as published by     //
+// the Free Software Foundation, either version 3 of the License, or        //
+// (at your option) any later version.                                      //
+//                                                                          //
+// Teyjus is distributed in the hope that it will be useful,                //
+// but WITHOUT ANY WARRANTY; without even the implied warranty of           //
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the            //
+// GNU General Public License for more details.                             //
+//                                                                          //
+// You should have received a copy of the GNU General Public License        //
+// along with Teyjus.  If not, see <http://www.gnu.org/licenses/>.          //
+//////////////////////////////////////////////////////////////////////////////
+/****************************************************************************/
+/*                                                                          */
+/*   File trail.h. This header file includes the interface functions        */
+/*   for trail operations.                                                  */
+/*                                                                          */
+/****************************************************************************/
+#ifndef TRAIL_H
+#define TRAIL_H
+
+#include <stdlib.h>
+#include "mctypes.h"
+#include "abstmachine.h"
+#include "dataformats.h"
+
+/****************************************************************************/
+/*       DATA STRUCTURE OF TRAIL ITEMS                                      */
+/****************************************************************************/
+/* The tags of trail items */
+enum TR_TrailDataCategory
+{
+    TR_TAG_TERM,
+    TR_TAG_MULTERM1,
+    TR_TAG_MULTERM2,
+    TR_TAG_TYPE,
+    TR_TAG_MOD
+};
+
+/* The leading slot of trail items */
+typedef struct 
+{
+    Byte           tag;         //trial data category tag
+    MemPtr         addr;        //the starting address of the trailed item
+} TR_TrailItem;
+
+/* The size of the trail item head */
+#define TR_TRAIL_ITEM_HEAD_SIZE (int)ceil((double)sizeof(TR_TrailItem)/WORD_SIZE)
+/* The sizes of different trail items */
+#define TR_TRAIL_TERM_SIZE        TR_TRAIL_ITEM_HEAD_SIZE + DF_TM_ATOMIC_SIZE
+#define TR_TRAIL_MULTERM1_SIZE    TR_TRAIL_ITEM_HEAD_SIZE + DF_TM_APP_SIZE
+#define TR_TRAIL_MULTERM2_SIZE    TR_TRAIL_ITEM_HEAD_SIZE + DF_TM_SUSP_SIZE
+#define TR_TRAIL_TYPE_SIZE        TR_TRAIL_ITEM_HEAD_SIZE
+//temp
+#define TR_TRAIL_MOD_SIZE         TR_TRAIL_ITEM_HEAD_SIZE + 2
+
+/***************************************************************************/
+/*       TRAILING FUNCTIONS                                                */
+/***************************************************************************/
+void TR_trailTerm(DF_TermPtr addr);     //trailing a term of atomic size
+void TR_trailHTerm(DF_TermPtr addr);    //trailing a heap term of atomic size
+void TR_trailETerm(DF_TermPtr addr);    //trailing a stack term 
+void TR_trailType(DF_TypePtr addr);     //trailing a type (free type variable)
+void TR_trailImport(MemPtr addr);       //trailing a backchained field 
+
+
+/****************************************************************************/
+/*       UNWIND TRAIL FUNCTION                                              */
+/****************************************************************************/
+void TR_unwindTrail(MemPtr trOld);
+
+#endif  //TRAIL_H
+