diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-07-31 15:16:04 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-07-31 15:16:04 +0000 |
| commit | 83b321d862472f31c0c9f7feca8360ad5bfe8a75 (patch) | |
| tree | 0f0ef20ad78e25b320013c7bb160211a8612d4e9 /src/runtime/c/teyjus/simulator/io-datastructures.h | |
| parent | 314662dd09d5d1480007faa79258b0e93cc2aa59 (diff) | |
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.
Diffstat (limited to 'src/runtime/c/teyjus/simulator/io-datastructures.h')
| -rw-r--r-- | src/runtime/c/teyjus/simulator/io-datastructures.h | 66 |
1 files changed, 66 insertions, 0 deletions
diff --git a/src/runtime/c/teyjus/simulator/io-datastructures.h b/src/runtime/c/teyjus/simulator/io-datastructures.h new file mode 100644 index 000000000..217a0f04e --- /dev/null +++ b/src/runtime/c/teyjus/simulator/io-datastructures.h @@ -0,0 +1,66 @@ +////////////////////////////////////////////////////////////////////////////// +//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 io-datastructures.h. * + * * + ****************************************************************************/ + +#ifndef IODATASTRUCTURES_H +#define IODATASTRUCTURES_H + +#include "mcstring.h" +#include "dataformats.h" +#include "mctypes.h" + +/***************************************************************************** + * A data structure for maintaining information about query term variables * + * and other free variables encountered in the course of displaying answers. * + *****************************************************************************/ +/* number of entries in the table for such variables. */ +#define IO_MAX_FREE_VARS 500 + +/* Structure of each entry in the table; display name, and the rigid + designator in the form of the memory cell corresponding to the variable are + maintained. */ +typedef struct +{ + DF_StrDataPtr varName; + DF_TermPtr rigdes; +} IO_FreeVarInfo; + +/* The table itself */ +extern IO_FreeVarInfo IO_freeVarTab[IO_MAX_FREE_VARS]; + +/* index for the topmost cell that has been used */ +extern int IO_freeVarTabTop; + +/* initialize */ +void IO_initIO(); + +/* check if the free term variable table is full */ +Boolean IO_freeVarTabFull(int incSize); + +/* make an entry in the free term variable table */ +void IO_enterFreeVarTab(DF_StrDataPtr name, DF_TermPtr varLoc); + + +#endif //IODATASTRUCTURES_H |
