From 83b321d862472f31c0c9f7feca8360ad5bfe8a75 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Tue, 31 Jul 2012 15:16:04 +0000 Subject: 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. --- src/runtime/c/teyjus/simulator/io-datastructures.c | 53 ++++++++++++++++++++++ 1 file changed, 53 insertions(+) create mode 100644 src/runtime/c/teyjus/simulator/io-datastructures.c (limited to 'src/runtime/c/teyjus/simulator/io-datastructures.c') diff --git a/src/runtime/c/teyjus/simulator/io-datastructures.c b/src/runtime/c/teyjus/simulator/io-datastructures.c new file mode 100644 index 000000000..1647ee5b1 --- /dev/null +++ b/src/runtime/c/teyjus/simulator/io-datastructures.c @@ -0,0 +1,53 @@ +////////////////////////////////////////////////////////////////////////////// +//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 . // +////////////////////////////////////////////////////////////////////////////// +/**************************************************************************** + * * + * File io-datastructures.c. * + * * + ****************************************************************************/ +#include "io-datastructures.h" + +/* The io free term variable table */ +IO_FreeVarInfo IO_freeVarTab[IO_MAX_FREE_VARS]; + +/* index for the topmost cell that has been used */ +int IO_freeVarTabTop; + +/* initialize */ +void IO_initIO() +{ + IO_freeVarTabTop = 0; +} + +/* check if the free term variable table is full */ +Boolean IO_freeVarTabFull(int incSize) +{ + return (IO_freeVarTabTop+incSize >= IO_MAX_FREE_VARS); +} + +/* make an entry in the free term variable table */ +void IO_enterFreeVarTab(DF_StrDataPtr name, DF_TermPtr varLoc) +{ + int i = IO_freeVarTabTop++; + + IO_freeVarTab[i].varName = name; + IO_freeVarTab[i].rigdes = varLoc; +} + -- cgit v1.2.3