 Home
 Inter Modules
 bytecode
Dealing with intermediatelevel Inform as bytecode in memory. This is version 1.


What This Module Does  An overview of the bytecode module's role and abilities.



Bytecode Module  Setting up the use of this module. 
The Inter Version  The semantic version number for the current definition of Inter bytecode.



Inter Trees  To manage tree structures of inter code, and manage the movement of nodes within these trees. 
Inter Nodes  To create nodes of inter code, and manage everything about them except their tree locations. 
Bookmarks  Write positions for inter code being generated. 
Node Placement  Moving nodes in a tree, adding them to a tree, removing them from a tree. 
The Warehouse  To manage the memory storage of inter code. 
Packages  To manage packages of inter code. 
Inter Node Lists  Utility functions to store lists of nodes, either as linked lists or flexiblysized arrays. 
Symbols Tables  To manage searchable tables of named symbols. 
Symbols  To manage named symbols in inter code. 
Annotations  To mark symbols up with metadata. 
The Wiring  Wiring symbols in one package to meanings in another, and via plugs and sockets even to packages in trees not yet loaded in. 
Transmigration  The act of moving a package from one Inter tree to another.



Inter Constructs  There are around two dozen constructs in textual Inter source code, with each instruction in bytecode being a usage of one of them. 
Inter in Binary Files  To read or write inter between memory and binary files. 
Inter in Text Files  To read a tree from a file written in the plain text version of Inter. 
Verifying Inter  Verifying that a new Inter instruction is correct and consistent. 
Inter Value Pairs  Two consecutive bytecode words are used to store a single value in binary Inter. 
Inter Data Types  A primitive notion of data type, below the level of kinds. 
Metadata  Looking up metadata in special constants. 
Inter Errors  To issue error messages arising from loading incorrect Inter code from files. 
Text Provenance  Recording where fragments of text originally came from.



The Comment Construct  Defining the comment construct. 
The Constant Construct  Defining the constant construct. 
The Insert Construct  Defining the insert construct. 
The Instance Construct  Defining the instance construct. 
The Nop Construct  Defining the nop construct. 
The Origin Construct  Defining the origin construct. 
The Package Construct  Defining the package construct. 
The PackageType Construct  Defining the packagetype construct. 
The Permission Construct  Defining the permission construct. 
The Pragma Construct  Defining the pragma construct. 
The Primitive Construct  Defining the primitive construct. 
The Property Construct  Defining the property construct. 
The PropertyValue Construct  Defining the propertyvalue construct. 
The Provenance Construct  Defining the Provenance construct. 
The Typename Construct  Defining the typename construct. 
The Variable Construct  Defining the variable construct.



The Assembly Construct  Defining the assembly construct. 
The Cast Construct  Defining the cast construct. 
The Code Construct  Defining the Code construct. 
The Evaluation Construct  Defining the Evaluation construct. 
The Inv Construct  Defining the inv construct. 
The Lab Construct  Defining the Lab construct. 
The Label Construct  Defining the label construct. 
The Local Construct  Defining the local construct. 
The Ref Construct  Defining the ref construct. 
The Reference Construct  Defining the Reference construct. 
The Splat Construct  Defining the splat construct. 
The Val Construct  Defining the val construct.



The Plug Construct  Defining the symbol construct. 
The Socket Construct  Defining the socket construct. 
The Version Construct  Defining the version construct.

Powered by Inweb.