Eli   Documents Get Eli: Translator Construction Made Easy at SourceForge.net.
    Fast, secure and Free Open Source software downloads

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 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

LIDO - Reference Manual

Next Chapter Table of Contents


Introduction

This is a reference manual for LIDO, a language for the specification of computations in trees. It is used to specify all computations of the analysis phase and the translation phase of a language processor, which are to be executed on the abstract tree. The main purpose of a LIDO specification is to describe which computations have to be executed in which tree context, how those computations depend on each other, and which values are propagated from one computation to another. The functions called in computations and the types of propagated values are implemented in C; those implementations are not part of a LIDO specification.

The LIGA system processes a LIDO specification and generates an evaluator in form of a C module from it. LIGA automatically determines a tree walk strategy and the evaluation order of computations on the base of the specified dependencies. Attribute grammars are the formal model for this process.

This document is intended to provide precise definitions of LIDO constructs and of rules of the language LIDO. For studying the use of LIDO in more complex and complete translation specifications we recommend to read the explained example specifications in $/Name/Examples/AlgLike.fw and in $/Type/Examples/Type.fw.

Other documents related to LIDO are:


Next Chapter Table of Contents