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, 73 insertions, 0 deletions

diff --git a/src/runtime/c/teyjus/tables/pervinit.h b/src/runtime/c/teyjus/tables/pervinit.h
new file mode 100644
index 000000000..666b88776
--- /dev/null
+++ b/src/runtime/c/teyjus/tables/pervinit.h
@@ -0,0 +1,73 @@
+//////////////////////////////////////////////////////////////////////////////
+//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 pervinit.h{c}.                                                     */
+/* Functions for setting up the symbol tables of pervasive constants and   */
+/* kinds are provided.                                                     */
+/***************************************************************************/
+
+#ifndef PERVINIT_H
+#define PERVINIT_H
+
+#include "../simulator/dataformats.h" //to be modified
+#include "../system/memory.h"         //to be modified
+#include "pervasives.h"
+#include "../simulator/mctypes.h"
+
+/***************************************************************************/
+/*                   PERVASIVE KINDS                                       */
+/***************************************************************************/
+//the actual pervasive kind table get copied during loading
+extern MEM_KstEnt PERVINIT_kindDataTab[PERV_KIND_NUM];
+
+/* copy the pervasive kind table into given address                        */
+void PERVINIT_copyKindDataTab(MEM_KstPtr dst);
+
+
+/***************************************************************************/
+/*                   PERVASIVE TYPE SKELETONS                              */
+/***************************************************************************/
+//pervasive type skeleton table
+extern MEM_TstPtr PERVINIT_tySkelTab;
+
+/* copy the pervasive type skeleton table into given address               */
+void PERVINIT_copyTySkelTab(MEM_TstPtr dst);
+
+
+/***************************************************************************/
+/*                   PERVASIVE CONSTANTS                                   */
+/***************************************************************************/
+//the acutual pervasive constant table get copied during loading           
+extern MEM_CstEnt PERVINIT_constDataTab[PERV_CONST_NUM];
+
+/* copy the pervasive constant table into given address                    */
+void PERVINIT_copyConstDataTab(MEM_CstPtr dst);
+
+
+/***************************************************************************/
+/*                PERVASIVE TABLES INITIALIZATION                          */
+/* Fill in the actual pervasive tables; create string data needed for names*/
+/* onto the current top of the system memory; create the type skeletons in */
+/* a malloced space.                                                       */
+/***************************************************************************/
+void PERVINIT_tableInit();
+
+#endif //PERVINIT_H