Next:
Outline
Up:
OPTIMIX Language Manual(for 2.5)
Previous:
Running the preprocessor optimix2ast
An Optimix Specification
Outline
Lexical parts
Keywords
Delimiters
Basic syntactical definitions
Global data declarations
Predicates, object types and functors
Graph representations by graph functors
Typechecking
Data definitions with Java
Available functors for Java
Data definitions with CoSy-fSDL
Available functors for CoSy-fSDL
Set functors
Graph functors
Import a flat form file
Inheritance declarations for CoSy-fSDL
Data definitions with AST
Where to put a file of a use clause
Available sol-library functors
Refining of AST field types
Uwe Assmann
1998-12-22
