Eli   Documents

General Information

 o Eli: Translator Construction Made Easy
 o Global Index
 o Frequently Asked Questions
 o Typical Eli Usage Errors

Tutorials

 o Quick Reference Card
 o Guide For new Eli Users
 o Release Notes of Eli
 o Tutorial on Name Analysis
 o Tutorial on Scope Graphs
 o Tutorial on Type Analysis
 o Typical Eli Usage Errors

Reference Manuals

 o User Interface
 o Eli products and parameters
 o LIDO Reference Manual
 o Typical Eli Usage Errors

Libraries

 o Eli library routines
 o Specification Module Library

Translation Tasks

 o Lexical analysis specification
 o Syntactic Analysis Manual
 o Computation in Trees

Tools

 o LIGA Control Language
 o Debugging Information for LIDO
 o Graphical ORder TOol

 o FunnelWeb User's Manual

 o Pattern-based Text Generator
 o Property Definition Language
 o Operator Identification Language
 o Tree Grammar Specification Language
 o Command Line Processing
 o COLA Options Reference Manual

 o Generating Unparsing Code

 o Monitoring a Processor's Execution

Administration

 o System Administration Guide

Mail Home

Oil Reference Manual

Previous Chapter Table of Contents


Index

A

abstract data type
Relating an OIL specification to library function calls
argument type
Looking at an operator's type signature
Set of Possible Types

B

balancing
Set of Possible Types

C

class definition
Statement types
Class definition
classes
OIL's Specification Language
coercion
A review of an example OIL Specification
Coercion sequence
Set of Possible Types
Coercion operator definition
coercion operator
Set of Possible Types
coercion operator definition
Statement types
Coercion operator definition
coercion sequence
Coercion sequences
Coercion sequence
Library Types
coercion sequence, empty
Coercion sequences
coercion sequence, error
Coercion sequences
coercion sequence, head of
Coercion sequences
coercion sequence, tail of
Coercion sequences
creating new names
Name Functions

D

double
A more complex example

E

empty coercion sequence
Coercion sequences
error coercion
Coercion sequences
error coercion sequence
Coercion sequences
expected argument type
Looking at an operator's type signature

H

head of coercion sequence
Coercion sequences

I

identifier
A review of an example OIL Specification
illegal operator
Validating operator identification
impossible coercion
Coercion sequence
incremental design
Incremental Design and Implementation

L

library functions
OIL's Support Library

M

multiple operator definition
Operator definition

N

names
Using Names
Name Functions
Names for operators, types and classes

O

OIL comments
Comments
OIL identifiers
Identifiers
OIL library
OIL's Support Library
OIL specification
OIL's Specification Language
OIL statements
OIL's Specification Language
Statement types
OilAddArgSig
Argument Signatures
OilAddClassCoercion
Classes
OilAddClassOp
Classes
OilAddClassOpId
Classes
OilAddClassSigArg
Classes
OilAddCoercion
Coercions
OilAddIdentification
Identifications
OilBalance
Set of Possible Types
OilClassInst0
Instantiate Classes
OilClassInst1
Instantiate Classes
OilClassInst2
Instantiate Classes
OilClassName
Name Functions
OilCoerce
Coercion sequences
OilEmptyCS
Coercion sequences
OilGetArg
Operator Signatures
OilGetArgType
Looking at an operator's type signature
OilHeadCS
Coercion sequences
OilIdOp1
Simpler operator identification
OilIdOp2
Simpler operator identification
OilIdOp3
Simpler operator identification
OilIdOpTS1
Set of Possible Types
OilIdOpTS2
Set of Possible Types
OilIdOpTS3
Set of Possible Types
OilIdResultTS1
Set of Possible Types
OilIdResultTS2
Set of Possible Types
OilIdResultTS3
Set of Possible Types
OilIsValidCS
Coercion sequences
OilIsValidOp
Validating operator identification
OilNewArgSig
Argument Signatures
OilNewClass
Classes
OilNewClassSigArg
Classes
OilNewOp
Operators
OilNewType
Types
OilNoOverload
Set of Possible Types
OilOpName
Name Functions
OilSelectTypeFromTS
Set of Possible Types
OilSetIncludes
Set of Possible Types
OilTailCS
Coercion sequences
OilTypeName
Name Functions
OilTypeToSet
Set of Possible Types
operator definition
Operator definition
Statement types
operator denotation
A more complex example
A review of an example OIL Specification
operator identification
Operator identification
Operator Identification
Statement types
operator indication
A more complex example
A review of an example OIL Specification
Set of Possible Types
operator signature
Operator Signatures
operators
OIL's Specification Language
overloaded operators
A review of an example OIL Specification

P

PASCAL
A review of an example OIL Specification
A simple example
possible result types
Set of Possible Types

R

result type
Set of Possible Types
Coercion sequences

S

selected type
Set of Possible Types
sequence of coercions
Coercion sequence
Coercion sequences
set of types
Set of Possible Types
A more complex example
Library Types
signature
Looking at an operator's type signature
Operator identification
Operator definition
Operator Signatures
single
A more complex example
source type
Coercion sequences
support library
OIL's Support Library

T

tail of coercion sequence
Coercion sequences
tOilArgSig
Argument Signatures
type balancing
Set of Possible Types
type denotation
A review of an example OIL Specification
Set of Possible Types
type set
Library Types
Using type sets
Statement types
OIL's Specification Language
type set definition
Type set definition
type signature
Looking at an operator's type signature
types
OIL's Specification Language

V

valid operator
Validating operator identification
validating a coercion sequence
Coercion sequences
validating operator identification
Validating operator identification


Previous Chapter Table of Contents