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

Association of properties to definitions

Count Occurrences of Objects

The computations of this module enumerate certain occurrences of objects represented by symbols that have a Key attribute. That are usually certain occurrences of identifiers.

The information computed by the module may be used for different purposes, e.g. for statistics about the input text, checks for unique occurrences, computations at the first or the last occurrence, etc.

The module is instantiated by

   $/Prop/OccCnt.gnrc+instance=NAME +referto=KEY :inst

The module provides two computational roles, NAMECount and NAMETotalCnt. The roles may be associated to one or several grammar symbols.

The role NAMERangeCnt is automatically associated to the grammar root. It usually need not be used. It is not intended to provide separate counting in different parts of the tree (see Common Aspects of Property Modules).

Let k be a key, then all occurrences of k in a NAMECount context are enumerated in left-to-right depth-first order. The attribute NAMECount.NAMECnt is the number of k's occurrence with respect to this order. The total number of occurrences of k is associated as the property NAMECnt to k. The role NAMETotalCnt makes it available as an attribute NAMETotalCnt.NAMETotalCnt. If the NAMECnt property is accessed directly in user's computations, those have to state NAMERangeCnt.GotNAMECnt as precondition.

In (see Common Aspects of Property Modules), we explained how to associate these rule to grammar symbols in order to check for multiply definitions:

   SYMBOL MultDefChk    INHERITS Count, TotalCnt END;

   SYMBOL DefIdent      INHERITS MultDefChk END;
   SYMBOL ClassDefIdent INHERITS MultDefChk END;
   SYMBOL ModDefIdent   INHERITS MultDefChk END;

The check is completed by using the results of this module in computations associated to MultDefChk:

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

The following example demonstrates a different application of this module. Assume we want to print how often each object in a program is referenced in some context. Hence, any identifier occurrence has to be counted. To avoid that this module application collides with the previous, we have to use a different instance of the OccCnt module:

   $/Prop/OccCnt.gnrc +instance=Prnt:inst

That is easily achieved by associating the Count and the TotalCnt roles to the role IdentOcc previously introduced in our running example:

   SYMBOL IdentOcc  INHERITS PrntCount, PrntTotalCnt COMPUTE
      IF (EQ (THIS.PrntCnt, 1),
      printf ("identifier %s occurs %d times\n",
              StringTable (THIS.Sym), THIS.PrntTotalCnt));
   END;