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

Tutorial on Name Analysis

Messages on Scope Rule Violations

Erroneous programs may violate the scope rules in one of two cases:

• A particular applied identifier occurrence has no valid defining identifier occurrence.

• An identifier in a range may have more one defining occurrences.

Such situations shall be indicated by error messages. Furthermore, we want every defining occurrence of a multiply defined identifier to be marked by a message.

For that purpose we use the following two library modules:

CoreChk.specs[9]==

$/Tech/Strings.specs
$/Prop/OccCnt.gnrc:inst

This macro is attached to a product file.

The Strings module provides a function that concatenates an error message string and an identifier for error messages related to identifiers, see String Concatenation of Specification Module Library: Common Problems.

The OccCnt module provides computations that count how often an object identified by a Key attribute occurs in a certain context, in our case in a defining context. See Count Occurrences of Objects of Specification Module Library: Properties of Definitions, for more information.

The check for existence of a definition is directly obtained from the module role ChkIdUse. For the second check we specify a computational role ChkUnique in order to reuse it for several grammar symbols. If an object occurs more than once in the ChkUnique context it is multiply defined.

CoreChk.lido[10]==

SYMBOL ChkUnique INHERITS Count, TotalCnt COMPUTE
  IF (GT (THIS.TotalCnt, 1),
  message (ERROR, CatStrInd ("identifier is multiply defined: ",
                             THIS.Sym),
           0, COORDREF));
END;

SYMBOL UseIdent INHERITS ChkIdUse END;
SYMBOL DefIdent INHERITS ChkUnique END;

This macro is attached to a product file.