General Information

 o Eli: Translator Construction Made Easy
 o Global Index
 o Frequently Asked Questions

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

Reference Manuals

 o User Interface
 o Eli products and parameters
 o LIDO Reference Manual

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

 Questions, Comments, ....

Name analysis according to scope rules

Previous Chapter Table of Contents


Index

A

AddIdn
Environment Module
Algol-like
Basic Scope Rules
Algol-like basic scope rules
Basic Scope Rules
AlgRangeSeq
Predefined Identifiers
AlgScope
Basic Scope Rules
AlgScopeProp
Joined Ranges C-like Bottom-up
AnyScope
C-like Basic Scope Rules
Algol-like Basic Scope Rules
applied occurrences
attribute Bind
Algol-like Basic Scope Rules
Basic Scope Rules
C-like Basic Scope Rules
attribute DefCond
C-like Basic Scope Rules
attribute Env
C-like Basic Scope Rules
Algol-like Basic Scope Rules
attribute GotAllInh
Inheritance with Algol-like Scope Rules
attribute GotInh
Inheritance of Scopes
attribute GotInhNest
Inheritance with Algol-like Scope Rules
attribute GotInhScopes
Inheritance of Scopes
Inheritance with Algol-like Scope Rules
Inheritance with C-like Scope Rules
attribute GotKeys
C-like Basic Scope Rules
Algol-like Basic Scope Rules
attribute GotLocKeys
Algol-like Basic Scope Rules
attribute GotScopeProp
Scope Properties without Ordering Restrictions
Scope Properties C-like
attribute InheritOk
Inheritance of Scopes
Inheritance of Scopes
attribute InhKey
Inheritance of Scopes
attribute InhPrecond
C-like Inheritance Bottom-Up
attribute InnerScope
Inheritance of Scopes
attribute Key
Basic Scope Rules
Algol-like Basic Scope Rules
C-like Basic Scope Rules
attribute NewScope
C-like Inheritance Bottom-Up
attribute OpenPrecond
Scope Properties C-like Bottom-Up
attribute OuterScope
Inheritance of Scopes
attribute Scope
Scope Properties without Ordering Restrictions
Algol-like Basic Scope Rules
C-like Basic Scope Rules
attribute ScopeKey
Scope Properties without Ordering Restrictions
Scope Properties C-like Bottom-Up
Scope Properties without Ordering Restrictions
attribute Sym
C-like Basic Scope Rules
Tree Grammar Preconditions
Algol-like Basic Scope Rules

B

basic scope rules
Tree Grammar Preconditions
Bind
Basic Scope Rules
C-like Basic Scope Rules
Algol-like Basic Scope Rules
BindIdn
Environment Module
Binding
C-like Basic Scope Rules
Environment Module
Algol-like Basic Scope Rules
Basic Scope Rules
Environment Module
BindingInEnv
Environment Module
BindingInScope
Environment Module
BindInScope
Environment Module
BindKey
Environment Module
BindKeyInScope
Environment Module
bottom-up
Scope Properties C-like
Basic Scope Rules
C-like Basic Scope Rules
Inheritance with C-like Scope Rules
BOTTOMUP
Joined Ranges C-like
C-like Basic Scope Rules
BuRangeSeq
Predefined Identifiers
Joined Ranges C-like
BuScope
Basic Scope Rules
BuScopeProp
Joined Ranges C-like Bottom-up

C

C-like
Basic Scope Rules
C-like basic scope Rules
Algol-like Basic Scope Rules
C-like Basic Scope Rules
C-like inheritance bottom-up
Inheritance with C-like Scope Rules
ChkIdUse
Algol-like Basic Scope Rules
C-like Basic Scope Rules
Basic Scope Rules
ChkInhIdUse
Inheritance of Scopes
Inheritance with Algol-like Scope Rules
C-like Inheritance Bottom-Up
Inheritance with C-like Scope Rules
ChkInhIdUseScopeProp
Inheritance of Scopes
Inheritance with C-like Scope Rules
C-like Inheritance Bottom-Up
Inheritance with Algol-like Scope Rules
consistent renaming
CRangeSeq
Predefined Identifiers
CreateNewScope
Scope Properties C-like Bottom-Up
C-like Inheritance Bottom-Up
C-like Basic Scope Rules Computed Bottom-Up
CScope
Basic Scope Rules
CScopeProp
Joined Ranges C-like Bottom-up

D

DeclaratorWithId
C-like Basic Scope Rules
DefineIdn
Environment Module
defining occurrences
DefinitionsOf
Environment Module
DirectInherits
Environment Module

E

Environment
Environment Module
Environment Module
Environment Module
envmod
Environment Module
EnvOf
Environment Module
EnvOfInherit
Environment Module
examples
Basic Scope Rules
Basic Scope Rules

F

flat range
Basic Scope Rules
function AddIdn
Environment Module
function BindIdn
Environment Module
function BindingInEnv
Environment Module
function BindingInScope
Environment Module
function BindInScope
Environment Module
function BindKey
Environment Module
function BindKeyInScope
Environment Module
function DefineIdn
Environment Module
function InheritClass
Environment Module
function Inheritsfrom
Environment Module
function KeyInEnv
Environment Module
function KeyInScope
Environment Module
function NextInhBinding
Environment Module
function NextInhKey
Environment Module
function OverridesBinding
Environment Module
function PreDefine
Predefined Identifiers
Predefined Identifiers
function PreDefineSym
Predefined Identifiers
Predefined Identifiers

G

GetScope
Scope Properties C-like
Scope Properties without Ordering Restrictions
GetScopeProp
Scope Properties C-like Bottom-Up
GotAllInh
Inheritance with Algol-like Scope Rules
GotInh
Inheritance of Scopes
GotInhNest
Inheritance with Algol-like Scope Rules
GotInhScopes
Inheritance with Algol-like Scope Rules
Inheritance of Scopes
Inheritance with C-like Scope Rules

I

IdDefScope
Algol-like Basic Scope Rules
Basic Scope Rules
C-like Basic Scope Rules
IdDefUse
C-like Basic Scope Rules
identifier roles
IdInDeclarator
C-like Basic Scope Rules
IdnOf
Environment Module
IdSetScopeProp
Scope Properties C-like Bottom-Up
IdUseEnv
Basic Scope Rules
C-like Basic Scope Rules
Algol-like Basic Scope Rules
IdUseScope
C-like Basic Scope Rules
Algol-like Basic Scope Rules
Basic Scope Rules
IdUseScopeProp
Scope Properties C-like
Scope Properties without Ordering Restrictions
Scope Properties C-like Bottom-Up
implicit definitions
Basic Scope Rules
inheritance
Inheritance with Algol-like Scope Rules
Environment Module
Inheritance of Scopes
inheritance of scopes
Scope Properties C-like Bottom-Up
InheritClass
Environment Module
Inheritance of Scopes
InheritOk
Inheritance of Scopes
Inheritance of Scopes
InheritPtr
Environment Module
InheritScope
Inheritance of Scopes
C-like Inheritance Bottom-Up
Inheritance with C-like Scope Rules
C-like Inheritance Bottom-Up
Inheritance with Algol-like Scope Rules
Inheritsfrom
Environment Module
InhKey
Inheritance of Scopes
InhPrecond
C-like Inheritance Bottom-Up
InnerScope
Inheritance of Scopes
IsClass
Environment Module

J

Joined Ranges
Predefined Identifiers

K

key
KeyInEnv
Environment Module
KeyInScope
Environment Module
KeyOf
Environment Module
KeyOfEnv
Environment Module

L

Library Name
Line
Name Analysis Test

M

missing definition
Basic Scope Rules
Module AlgInh
Inheritance of Scopes
Module AlgRangeSeq
Joined Ranges
Module AlgScope
Basic Scope Rules
Module AlgScopeProp
Scope Properties without Ordering Restrictions
Module BuInh
Inheritance with C-like Scope Rules
Module BuRangeSeq
Joined Ranges C-like
Module BuScope
C-like Basic Scope Rules
Module BuScopeProp
Scope Properties C-like
Module CInh
Inheritance with Algol-like Scope Rules
Module CRangeSeq
Joined Ranges Algol-like
Module CScope
Algol-like Basic Scope Rules
Module CScopeProp
Scope Properties Algol-like
Module envmod
Environment Module
Module PreDefId
C-like Basic Scope Rules Computed Bottom-Up
Module PreDefine
C-like Basic Scope Rules Computed Bottom-Up
Module PreDefMod
Predefined Identifiers
Module ScopeProp
Scopes Being Properties of Objects
Module ShowBinding
C-like Inheritance Bottom-Up

N

name analysis
name spaces
Environment Module
names
nested ranges
Tree Grammar Preconditions
NewEnv
Environment Module
NewScope
C-like Inheritance Bottom-Up
Environment Module
NextDefinition
Environment Module
NextInhBinding
Environment Module
NextInherit
Environment Module
NextInhKey
Environment Module
NoBinding
Environment Module
NoEnv
Environment Module
NoInherit
Environment Module
NoScope
Environment Module

O

OpenElemScope
Joined Ranges C-like Bottom-up
OpenNewScope
C-like Basic Scope Rules Computed Bottom-Up
Scope Properties C-like Bottom-Up
OpenPrecond
Scope Properties C-like Bottom-Up
OpenSeqScope
Joined Ranges C-like Bottom-up
OuterScope
Inheritance of Scopes
OverridesBinding
Environment Module

P

ParentOf
Environment Module
PreDefBind
Predefined Identifiers
PreDefine
Predefined Identifiers
Predefined Identifiers
predefined identifiers
C-like Basic Scope Rules Computed Bottom-Up
PreDefineSym
Predefined Identifiers
Predefined Identifiers
PreDefKey
Predefined Identifiers
PreDefKeyBind
Predefined Identifiers
PreDefMod
Predefined Identifiers
PreDefSym
Predefined Identifiers
PreDefSymKey
Predefined Identifiers
PreDefSymKeyBind
Predefined Identifiers
property Line
Name Analysis Test
property Scope
Inheritance of Scopes
Scope Properties without Ordering Restrictions

R

RangeElement
Joined Ranges
RangeMulInh
Inheritance with Algol-like Scope Rules
Inheritance with C-like Scope Rules
Inheritance of Scopes
RangeQualInhScope
Inheritance with Algol-like Scope Rules
RangeScope
Algol-like Basic Scope Rules
C-like Inheritance Bottom-Up
Basic Scope Rules
C-like Basic Scope Rules
RangeScopeProp
Scope Properties C-like
Scope Properties without Ordering Restrictions
RangeSequence
Joined Ranges C-like Bottom-up
Joined Ranges
RangeSnglInh
Inheritance with C-like Scope Rules
Inheritance with Algol-like Scope Rules
Inheritance of Scopes
RecentNewScope
C-like Inheritance Bottom-Up
C-like Basic Scope Rules Computed Bottom-Up
root environment
Algol-like Basic Scope Rules
Predefined Identifiers
C-like Basic Scope Rules
root symbol
Tree Grammar Preconditions
RootEnv
Algol-like Basic Scope Rules
C-like Basic Scope Rules
Predefined Identifiers
RootScope
C-like Basic Scope Rules
Algol-like Basic Scope Rules
Basic Scope Rules
running example
Basic Scope Rules

S

Scope
Environment Module
Inheritance of Scopes
Environment Module
scope properties
Joined Ranges C-like Bottom-up
scope rules
Tree Grammar Preconditions
ScopeKey
Scope Properties C-like Bottom-Up
ScopeProp
Joined Ranges C-like Bottom-up
separate name space
Basic Scope Rules
C-like Basic Scope Rules
Algol-like Basic Scope Rules
SetKeyOfEnv
Environment Module

T

terminals
test output
C-like Inheritance Bottom-Up
tree grammar
type Binding
Basic Scope Rules
C-like Basic Scope Rules
Environment Module
Algol-like Basic Scope Rules
type Environment
Environment Module
type InheritPtr
Environment Module
type Scope
Environment Module

Previous Chapter Table of Contents