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

Abstract data types to be used in specifications

Index

A

Abstract Data Types

AddToOrderedSet

Linear Lists of Any Type

AddToSet

Linear Lists of Any Type

App

Linear Lists of Any Type

AppEl

Linear Lists of Any Type

attribute Elem

Lists in LIDO Specifications

attribute List

Lists in LIDO Specifications

attribute ListTail

Lists in LIDO Specifications

attribute TakeIt

Lists in LIDO Specifications

Lists in LIDO Specifications

C

CmpFctType

Linear Lists of Any Type

Comp

Linear Lists of Any Type

Cons

Linear Lists of Any Type

Copy

Linear Lists of Any Type

D

DeListElem

Lists in LIDO Specifications

DeListRoot

Lists in LIDO Specifications

Dynamic Storage Allocation

Dynamic Storage Allocation

E

ElemIn

Linear Lists of Any Type

F

Filter

Lists in LIDO Specifications

FilterListElem

Lists in LIDO Specifications

Finl

Linear Lists of Any Type

ForEachStackElementDown

Stacks of Any Type

ForEachStackElementUp

Stacks of Any Type

function AddElemToBitSet

Bit Sets of Arbitrary Length

function AddElIS

Bit Sets of Integer Size

function AddRangeToBitSet

Bit Sets of Arbitrary Length

function AddToOrderedSet

Linear Lists of Any Type

function AddToSet

Linear Lists of Any Type

function App

Linear Lists of Any Type

function AppEl

Linear Lists of Any Type

function ApplyToBitSet

Bit Sets of Arbitrary Length

function CardIS

Bit Sets of Integer Size

function CardOfBitSet

Bit Sets of Arbitrary Length

function Comp

Linear Lists of Any Type

function ComplBitSet

Bit Sets of Arbitrary Length

function ComplToBitSet

Bit Sets of Arbitrary Length

function Cons

Linear Lists of Any Type

function ConsIS

Bit Sets of Integer Size

function Copy

Linear Lists of Any Type

function DefInTable

Mapping Arbitrary Values To Definition Table Keys

function DisjIS

Bit Sets of Integer Size

function DynAlloc

Dynamic Storage Allocation

function DynClear

Dynamic Storage Allocation

function ElemIn

Linear Lists of Any Type

function ElemInBitSet

Bit Sets of Arbitrary Length

function ElemToBitSet

Bit Sets of Arbitrary Length

function EmptyBitSet

Bit Sets of Arbitrary Length

function EmptyIntersectBitSet

Bit Sets of Arbitrary Length

function EmptyIS

Bit Sets of Integer Size

function EqualBitSet

Bit Sets of Arbitrary Length

function EqualIS

Bit Sets of Integer Size

function Filter

Lists in LIDO Specifications

function Finl

Linear Lists of Any Type

function FinlMap

Mapping Integral Values To Other Types

function FreeBitSet

Bit Sets of Arbitrary Length

function FreeMemBitSet

Bit Sets of Arbitrary Length

function GetMap

Mapping Integral Values To Other Types

function Head

Linear Lists of Any Type

function InclIS

Bit Sets of Integer Size

function InIS

Bit Sets of Integer Size

function InitDynSpace

Dynamic Storage Allocation

function InitMap

Mapping Integral Values To Other Types

function InitMapValues

Mapping Integral Values To Other Types

function InitTable

Mapping Arbitrary Values To Definition Table Keys

function InsertAfter

Linear Lists of Any Type

function InterIS

Bit Sets of Integer Size

function IntersectBitSet

Bit Sets of Arbitrary Length

function IntersectToBitSet

Bit Sets of Arbitrary Length

function IthElem

Linear Lists of Any Type

function KeyInTable

Mapping Arbitrary Values To Definition Table Keys

function Length

Linear Lists of Any Type

function Map

Linear Lists of Any Type

function MapFct

Linear Lists of Any Type

function NewBitSet

Bit Sets of Arbitrary Length

function NextElemInBitSet

Bit Sets of Arbitrary Length

function NullIS

Bit Sets of Integer Size

function OrderedInsert

Linear Lists of Any Type

function PrintBitSet

Bit Sets of Arbitrary Length

function PrintElemsBitSet

Bit Sets of Arbitrary Length

function RefEndApp

Linear Lists of Any Type

function RefEndCons

Linear Lists of Any Type

function SetMap

Mapping Integral Values To Other Types

function Single

Linear Lists of Any Type

function SingleIS

Bit Sets of Integer Size

function SubElemFromBitSet

Bit Sets of Arbitrary Length

function SubIS

Bit Sets of Integer Size

function SubtractBitSet

Bit Sets of Arbitrary Length

function SubtractFromBitSet

Bit Sets of Arbitrary Length

function Sum

Linear Lists of Any Type

function SumFct

Linear Lists of Any Type

function Tail

Linear Lists of Any Type

function type

Lists in LIDO Specifications

function UnionToBitSet

Bit Sets of Arbitrary Length

function UniteBitSet

Bit Sets of Arbitrary Length

function UniteIS

Bit Sets of Integer Size

H

Head

Linear Lists of Any Type

I

InsertAfter

Linear Lists of Any Type

IthElem

Linear Lists of Any Type

L

Length

Linear Lists of Any Type

Library Adt

linear lists

Lists in LIDO Specifications

Linear Lists of Any Type

List

Linear Lists of Any Type

list functions

Linear Lists of Any Type

ListElem

Lists in LIDO Specifications

ListPtr

Linear Lists of Any Type

ListRoot

Lists in LIDO Specifications

M

Map

Linear Lists of Any Type

MapFct

Linear Lists of Any Type

Module BitSet

Bit Sets of Arbitrary Length

Module DynSpace

Dynamic Storage Allocation

Module IntSet

Bit Sets of Integer Size

Module LidoList

Lists in LIDO Specifications

Module List

Linear Lists of Any Type

Module Map

Mapping Integral Values To Other Types

Module PtrList

Linear Lists of Any Type

Module Stack

Stacks of Any Type

Module Table

Mapping Arbitrary Values To Definition Table Keys

N

NullBitSet

Bit Sets of Arbitrary Length

NULLIS

Bit Sets of Integer Size

NullTYPEList

Linear Lists of Any Type

Linear Lists of Any Type

O

obstack

Dynamic Storage Allocation

OrderedInsert

Linear Lists of Any Type

P

parameter type

Lists in LIDO Specifications

PostDeListElem

Lists in LIDO Specifications

PostListElem

Lists in LIDO Specifications

PreDeListElem

Lists in LIDO Specifications

PreListElem

Lists in LIDO Specifications

PtrList

Linear Lists of Any Type

R

RefEndApp

Linear Lists of Any Type

RefEndCons

Linear Lists of Any Type

S

Single

Linear Lists of Any Type

StackArray

Stacks of Any Type

StackElement

Stacks of Any Type

StackEmpty

Stacks of Any Type

StackPop

Stacks of Any Type

StackPush

Stacks of Any Type

StackSize

Stacks of Any Type

StackTop

Stacks of Any Type

Sum

Linear Lists of Any Type

SumFct

Linear Lists of Any Type

T

Tail

Linear Lists of Any Type

type BitSet

Bit Sets of Arbitrary Length

type IntSet

Bit Sets of Integer Size

V

VoidPtr

Linear Lists of Any Type