[Top] [Contents] [Index] [ ? ]

Teyjus

1. Teyjus Internals   Description of the Teyjus implementation.
2. Source Code   Overview of the source code. 
Allocating the Heap
3. Regression Testing   A self-test harness for Teyjus. 
Concept Index                 Index of related concepts.



Function Index                Index of functions in the implementation.



Variable Index                Index of variables in the implementation.



Type Index                    Index of types in the implementation.









 --- The Detailed Node Listing ---

Teyjus Internals


1.1 Configure                     Description of the configuration files.



1.2 Makefiles                     Description of the system's Makefiles.



1.3 Dependencies                  Source-file dependency generation.



1.4 Allocating the Heap           Allocation of the abstract machine heap.



Allocating the Heap


1.4.1 The Data Areas                Overview of the simulator heap.



1.4.2 Heap Issues                   Implementation issues.



1.4.3 Virtual Memory                Our solution.



1.4.4 Where To Put The Heap         Issues relating to Teyjus' solution.



1.4.5 Tag Values                    Imlementation at the C level.



1.4.6 The Heap Implementation  



Source Code


2.1 Compiler                      `compiler/'



2.2 Disassembler                  `disassembler/'



2.3 Front                         `front/'



2.4 Loader                        `loader/'



2.5 Simulator                     `simulator/'



2.6 System                        `system/'



2.7 Tables                        `tables/'



2.8 Utils                         `utils/'



Compiler


2.1.1 Abstract Syntax               `absyn.{c,h}'



2.1.2 Clause Generation             `clausegen.{c,h}'



2.1.3 Clauses                       `clauses.{c,h}'



2.1.4 Code Generation               `codegen.{c,h}'



2.1.5 Compile                       `compile.{c,h}'



2.1.6 Compiler Error                `compiler-error.{c,h}'



2.1.7 Compiler Init                 `compiler-init.{c,h}'



2.1.8 Compiler Instr                `compiler-instr.{c,h}'



2.1.9 Compiler Types                `compiler-types.{c,h}'



2.1.10 Error Message                 `errormsg.{c,h}'



2.1.11 LP Grammar                    `lp.grm'



2.1.12 LP Lexical Specification      `lp.lex'



2.1.13 Parse                         `parse.{c,h}'



2.1.14 Parse Module                  `parsemod.{c,h}'



2.1.15 Parse Signature               `parsesig.{c,h}'



2.1.16 Parse Terms                   `parseterms.{c,h}'



2.1.17 Parse Variables               `parsevars.{c,h}'



2.1.18 Show                          `show.{c,h}'



2.1.19 Spit Code                     `spitcode.{c,h}'



2.1.20 Symbol Init                   `symbol-init.{c,h}'



2.1.21 Symbol                        `symbol.{c,h}'



2.1.22 Table                         `table.{c,h}'



Disassembler


2.2.1 Disassembler Bytecode         `dis-bytecode.{c,h}'



2.2.2 Disassembler Context          `dis-context.{c,h}'



2.2.3 Disassembler Output           `dis-output.{c,h}'



2.2.4 Disassembly                   `disassembly.{c,h}'



Front


2.3.1 Compiler Front                `compiler-front.c'



2.3.2 Disassembler Front            `disassembler-front.c'



2.3.3 Environ                       `environ.{c,h}'



2.3.4 Front File                    `front.{c,h}'



2.3.5 Getopt                        `getopt.{c,h}'



2.3.6 Module                        `module.{c,h}'



2.3.7 Query                         `query.{c,h}'



2.3.8 Simulator Front               `simulator-front.c'



2.3.9 System Front                  `system-front.c'



2.3.10 System Interact               `system-interact.{c,h}'



2.3.11 Version                       `version.{c,h}'



Loader


2.4.1 Bytecode                      `bytecode.{c,h}'



2.4.2 Const                         `const.{c,h}'



2.4.3 Hash                          `hash.{c,h}'



2.4.4 Kind                          `kind.{c,h}'



2.4.5 Load Clauses                  `load-clauses.{c,h}'



2.4.6 Loader Data Structures        `loader-datastructures.{c,h}'



2.4.7 Loader Error                  `loader-error.{c,h}'



2.4.8 Loader Init                   `loader-init.{c,h}'



2.4.9 Loader Types                  `loader-types.{c,h}'



2.4.10 Loader Utils                  `loader-utils.{c,h}'



2.4.11 Loader File                   `loader.{c,h}'



2.4.12 ModTable                  `modtable.{c,h}'



2.4.13 SearchFns              `searchfns.{c,h}'



2.4.14 SearchTables                 `searchtables.{c,h}'



2.4.15 Snl                           `snl.{c,h}'



2.4.16 Search Table Struct           `srchtabstruct.{c,h}'



2.4.17 Unload                        `unload.{c,h}'



Simulator


2.5.1 Abstract Machine  



2.5.2 Builtins  



2.5.3 Data Formats  



2.5.4 Error Constants  



2.5.5 Head Normalization  



2.5.6 Heap  



2.5.7 Higher-Order Unification  



2.5.8 IO Data Structures  



2.5.9 Machine Types  



2.5.10 Pervasive Table Init  



2.5.11 Print Term  



2.5.12 Print Type  



2.5.13 Simulator Local  



2.5.14 Simulator Init  



2.5.15 Simulator Types  



2.5.16 Simulator File  



2.5.17 Trail  



2.5.18 WAM String  



Simulator


2.5.1 Abstract Machine              `abstmachine.{c,h}'



* Builtins                      `builtins/'

2.5.3 Data Formats                  `dataformats.{c,h}'



2.5.4 Error Constants               `errorconsts.{c,h}'



2.5.5 Head Normalization            `hnorm.{c,h}'



2.5.6 Heap                          `heap.{c,h}'



2.5.7 Higher-Order Unification      `hou.{c,h}'



2.5.8 IO Data Structures            `io-datastructures.{c,h}'



2.5.9 Machine Types                 `mctypes.{c,h}'



2.5.10 Pervasive Table Init          `pervtab-init.{c,h}'



2.5.11 Print Term                    `printterm.{c,h}'



2.5.12 Print Type                    `printtype.{c,h}'



2.5.13 Simulator Local               `simlocal.{c,h}'



2.5.14 Simulator Init                `simulator-init.{c,h}'



2.5.15 Simulator Types               `simulator-types.{c,h}'



2.5.16 Simulator File                `simulator.{c,h}'



2.5.17 Trail                         `trail.{c,h}'



2.5.18 WAM String                    `wam-string.{c,h}'



Builtins


2.5.2.1 Builtins File                 `builtins/builtins.{c,h}'



2.5.2.2 Comparison Expressions        `builtins/compexp.{c,h}'



2.5.2.3 Evaluation Expressions        `builtins/evalexp.{c,h}'



2.5.2.4 IO                            `builtins/io.{c,h}'



2.5.2.5 Meta-Level                    `builtins/meta.{c,h}'



2.5.2.6 Read Term                     `builtins/readterm.{c,h}'



System


2.6.1 Error                         `error.{c,h}'



2.6.2 Float Make                    `float_make.{c,h}'



2.6.3 Operators                     `operators.{c,h}'



2.6.4 Stream                        `stream.{c,h}'



2.6.5 Teyjus Signals                `tjsignal.{c,h}'



2.6.6 Toplevel                      `toplevel.{c,h}'



Tables


2.7.1 CI To PI Table                `citopitable.{c,h}'



2.7.2 Instructions                  `instructions.{c,h}'



2.7.3 Pervasive Names               `pervasive-names.{c,h}'



2.7.4 Pervasives                    `pervasives.{c,h}'



Utils


2.8.1 IntSet                        `intset.{c,h}'



2.8.2 IOUtils                       `ioutils.{c,h}'



2.8.3 ITSM                          `itsm.{c,h}'



2.8.4 Paths                         `paths.{c,h}'



2.8.5 Util                          `util.{c,h}'











[Top]
[Contents]
[Index]
[ ? ]




 
  This document was generated by Gopalan Nadathur on October, 20 2007 using texi2html 1.76.