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

LIDO - Reference Manual

Inheritance of Computations

A set of related computations can be associated with a CLASS symbol describing a certain computational role. It can be inherited by TREE symbols or by other CLASS symbols, thus specifying that they play this role and reusing its computations. A symbol can play several roles at the same time (multiple inheritance). Inherited computations can be overridden by other computations of attributes having the same name. CLASS specifications have the same notation and meaning as SYMBOL specifications.

Syntax

    Specification ::= SymbKind SymbName [ Inheritance ]
                       Computations 'END' ';'
    Inheritance   ::= 'INHERITS' SymbNames

Example:

      CLASS SYMBOL RootSetLine COMPUTE
        SYNT.GotLine = CONSTITUENTS KeySetLine.GotLine;
      END;

      CLASS SYMBOL KeySetLine COMPUTE
        SYNT.GotLine = ResetLine (THIS.Key,LINE);
      END;

      CLASS SYMBOL KeyPrintLine COMPUTE
        printf ("identifier in Line %d defined in line %d\n",
                LINE, GetLine (THIS.Key,o))
           <- INCLUDING RootSetLine.GotLine;
      END;

      SYMBOL VarDefId  INHERITS KeySetLine   END;
      SYMBOL ProcDefID INHERITS KeySetLine   END;
      SYMBOL UseIdent  INHERITS KeyPrintLine END;
      SYMBOL Program   INHERITS RootSetLine  END;

CLASS computations obey the same rules as symbol computation.

The sets of lower and upper class computations may be accumulated from several CLASS specifications for the same class.

CLASS computations may be inherited by TREE symbols or by other CLASS symbols.

A CLASS or a TREE symbol Target inherits the computations from a CLASS Source if there is a Target INHERITS Source relation specified. The complete inheritance relation is accumulated by all INHERITS specifications.

A computation is inherited only once even if there are several paths to it in the inheritance relation.

A computation for an attribute a associated with a CLASS or a TREE symbol overrides any computation for a inherited from a CLASS symbol.

Note: Plain computations can not be overridden.

The computations inherited by a CLASS symbol belong to the computation sets of the CLASS symbol and may be subject to further inheritance.

Restrictions

TREE symbols and CLASS symbols may not inherit from TREE symbols.

The inheritance relation must not be cyclic.

If C inherits from CLASS symbols C1 and C2, and if both C1 and C2 have computations for an attribute a, it is undefined which one is inherited by C.