General Information

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

Tutorials

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

Reference Manuals

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

Libraries

	Eli library routines
	Specification Module Library

Translation Tasks

	Lexical analysis specification
	Syntactic Analysis Manual
	Computation in Trees

Tools

	LIGA Control Language
	Debugging Information for LIDO
	Graphical ORder TOol

FunnelWeb User's Manual

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

Generating Unparsing Code

Monitoring a Processor's Execution

Administration

System Administration Guide

Oil Reference Manual

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