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

New Features of Eli Version 4.3

Previous Chapter Next Chapter Table of Contents


Oil

The OilList module provides computations that implement parameter lists and argument lists for operator identification of function calls. The elements are arranged in left-to-right order as they occur in the tree.

OilList is instantiated simply by mentioning its name:

$/oil/OilList.fw

It provides the computational roles ParameterListRoot, ParameterListElem, ArgumentListRoot, and ArgumentListElem to support type analysis, the the roles ArgumentDeListRoot and ArgumentDeListElem to support code generation.

The CLASS SYMBOL ParameterListElem is to be inherited by those SYMBOLs that contribute parameter types to the parameter list. The value of the attribute ParameterListElem.GivenType (of type tOilType) must be set by the user.

The CLASS SYMBOL ParameterListRoot is to be inherited by a SYMBOL that has all of the parameter SYMBOLs in its subtrees. The result of the computation is the attribute ParameterListRoot.ParameterList of type tOilArgSig, which specifies all of the parameter types. In order to obtain a complete signature for the function, the result type (ResType, for example) must be added: OilAddArgSig(ResType, ParameterListRoot.ParameterList)

The CLASS SYMBOL ArgumentListElem is to be inherited by those SYMBOLs that contribute arguments to the argument list. The value of the attribute ArgumentListElem.GivenType (of type tOilType) must be set by the user.

The CLASS SYMBOL ArgumentListRoot is to be inherited by a SYMBOL that has all of the argument SYMBOLs in its subtrees. The result of the computation is the attribute ArgumentListRoot.ArgumentList of type tOilSetSig, which specifies all of the argument types. It can be used in a call to OilIdOpTSn to identify a function whose parameter types could be the result of coercing the argument types.

The CLASS SYMBOL ArgumentDeListElem is to be inherited by those SYMBOLs that contribute arguments to the argument list. The result of the computation is the attribute ArgumentDeListElem.RequiredType of type tOilType, which specifies the type required by the function for that argument.

The CLASS SYMBOL ArgumentDeListRoot is to be inherited by a SYMBOL that has all of the argument SYMBOLs in its subtrees. The value of the attribute ArgumentDeListRoot.Operator (of type tOilOp) must be set by the user.

Please note that it is not sensible to try to test the value of ArgumentDeListElem.RequiredType against the a priori type of the argument expression for the purpose of error reporting. The reason is that if ArgumentDeListRoot.Operator is a valid operator then there is no error, and if ArgumentDeListRoot.Operator is an invalid operator then there is no information about the required types of the arguments.


Previous Chapter Next Chapter Table of Contents