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

New Features of Eli Version 4.5

Previous Chapter Next Chapter Table of Contents


New LIGA front-end

The front-end of the Liga attribute evaluator generator has been re-implemented. The main changes are:

  • Old-style terminal attribution which had already been marked "outdated" in the previous Eli versions has now been disabled. This means that specifications like
    ATTR c: int;
    
    RULE p: R ::= X COMPUTE
      R.c = X.c;
    END;
    
    

    where X is a terminal symbol now lead to an error message:

    "ERROR:  ERROR: A terminal has no attributes"
    
    
    

  • The key word NONTERM is no longer supported. It should be replaced by SYMBOL.

  • Improved error messages, e.g.

    "ERROR: Symbol does neither occur in syntax nor in symbol attribution"
    

    becomes

    "ERROR: Symbol does not occur in rule or definition: IddDefScope"
    

  • New protocol feature of the new liga frontend. This protocol provides information about the compound liga input specification:

    • tree and class symbols, their attributes and their inheritance relation
    • rule attributes
    • remote access constructs INCLUDING, CONSTITUENT, and CONSTITUENTS
    • inheritance of computations

    Invoke the liga frontend protocol generator by:

       <yourspec>:feInfo:viewlist
    


Previous Chapter Next Chapter Table of Contents