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

Name analysis according to scope rules

Previous Chapter Table of Contents


Index

A

AddIdn
Operations to establish bindings
Algol-like
Basic Scope Rules
Algol-like basic scope rules
Basic Scope Rules
AlgRangeSeq
Predefined Identifiers
AlgScope
Basic Scope Rules
AnyScope
Algol-like Basic Scope Rules
C-like Basic Scope Rules
applied occurrences
attribute Bind
Algol-like Basic Scope Rules
C-like Basic Scope Rules
Basic Scope Rules
attribute DefCond
C-like Basic Scope Rules
attribute Env
C-like Basic Scope Rules
Algol-like Basic Scope Rules
attribute GotInhScopes
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 left-to-right Restrictions
Scope Properties C-like
attribute GotVisibleKeys
Inheritance with Algol-like Scope Rules
attribute GotVisibleKeysNest
Inheritance with Algol-like Scope Rules
attribute InheritOk
Inheritance of Scopes
Inheritance of Scopes
attribute InhPrecond
C-like Inheritance Bottom-Up
attribute InnerScope
Inheritance of Scopes
attribute Key
Algol-like Basic Scope Rules
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
C-like Basic Scope Rules
Scope Properties without left-to-right Restrictions
Algol-like Basic Scope Rules
attribute ScopeKey
Inheritance of Scopes
Scope Properties without left-to-right Restrictions
Scope Properties C-like Bottom-Up
Scope Properties without left-to-right Restrictions
attribute Sym
Tree Grammar Preconditions
Algol-like Basic Scope Rules
C-like Basic Scope Rules

B

basic scope rules
Tree Grammar Preconditions
Bind
Algol-like Basic Scope Rules
Basic Scope Rules
C-like Basic Scope Rules
BindIdn
Operations to establish bindings
Binding
Basic Scope Rules
Algol-like Basic Scope Rules
C-like Basic Scope Rules
Environment Module
Exported types and values
BindingInEnv
Operations to find bindings
BindingInScope
Operations to find bindings
BindInScope
Operations to establish bindings
BindKey
Operations to establish bindings
BindKeyInScope
Operations to establish bindings
bottom-up
Inheritance with C-like Scope Rules
Scope Properties C-like
C-like Basic Scope Rules
Basic 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
C-like Basic Scope Rules
Algol-like Basic Scope Rules
C-like inheritance bottom-up
Inheritance with C-like Scope Rules
ChkIdUse
Algol-like Basic Scope Rules
Basic Scope Rules
C-like Basic Scope Rules
ChkInherit
C-like Inheritance Bottom-Up
Inheritance with Algol-like Scope Rules
Inheritance of Scopes
Inheritance with C-like Scope Rules
ChkInhIdUse
Inheritance with Algol-like Scope Rules
Inheritance with C-like Scope Rules
Inheritance of Scopes
C-like Inheritance Bottom-Up
ChkInhIdUseScopeProp
Inheritance with Algol-like Scope Rules
C-like Inheritance Bottom-Up
Inheritance with C-like Scope Rules
ChkInhQualIdUse
Inheritance of Scopes
ChkQualIdUse
Scope Properties without left-to-right Restrictions
consistent renaming
CRangeSeq
Predefined Identifiers
CreateNewScope
Scope Properties C-like Bottom-Up
C-like Basic Scope Rules Computed Bottom-Up
C-like Inheritance Bottom-Up
CScope
Basic Scope Rules
CScopeProp
Joined Ranges C-like Bottom-up

D

DeclaratorWithId
C-like Basic Scope Rules
DefineIdn
Operations to establish bindings
defining occurrences
DefinitionsOf
Operations to examine environments
DirectInherits
Operations to examine environments

E

Environment
Exported types and values
Environment Module
Environment Module
envmod
Environment Module
EnvOf
Operations to examine environments
EnvOfInherit
Operations to examine environments
Examples
Basic Scope Rules
Basic Scope Rules
ExportInhRange
Inheritance with C-like Scope Rules
Inheritance with Algol-like Scope Rules
ExportRange
Inheritance with Algol-like Scope Rules
Scope Properties without left-to-right Restrictions
Scope Properties C-like

F

flat range
Basic Scope Rules
function AddIdn
Operations to establish bindings
function BindIdn
Operations to establish bindings
function BindingInEnv
Operations to find bindings
function BindingInScope
Operations to find bindings
function BindInScope
Operations to establish bindings
function BindKey
Operations to establish bindings
function BindKeyInScope
Operations to establish bindings
function DefineIdn
Operations to establish bindings
function InheritClass
Operations to establish inheritance
function Inheritsfrom
Operations to establish inheritance
function KeyInEnv
Operations to find bindings
function KeyInScope
Operations to find bindings
function NextInhBinding
Operations to find additional bindings
function NextInhKey
Operations to find additional bindings
function OverridesBinding
Operations to find additional bindings
function PreDefine
Predefined Identifiers
Predefined Identifiers
function PreDefineSym
Predefined Identifiers
Predefined Identifiers

G

GetScope
Scope Properties C-like
Scope Properties without left-to-right Restrictions
GetScopeProp
Scope Properties C-like Bottom-Up
GotInhScopes
Inheritance with C-like Scope Rules
GotVisibleKeys
Inheritance with Algol-like Scope Rules
GotVisibleKeysNest
Inheritance with Algol-like Scope Rules

I

IdDefScope
C-like Basic Scope Rules
Basic Scope Rules
Algol-like Basic Scope Rules
IdDefUse
C-like Basic Scope Rules
identifier roles
IdInDeclarator
C-like Basic Scope Rules
IdnOf
Operations to examine environments
IdSetScopeProp
Scope Properties C-like Bottom-Up
IdUseEnv
C-like Basic Scope Rules
Algol-like Basic Scope Rules
Inheritance of Scopes
Basic Scope Rules
IdUseScope
Inheritance of Scopes
C-like Basic Scope Rules
Algol-like Basic Scope Rules
Basic Scope Rules
implicit definitions
Basic Scope Rules
inheritance
Inheritance of Scopes
Inheritance with Algol-like Scope Rules
Environment Module
inheritance of scopes
Scope Properties C-like Bottom-Up
InheritClass
Inheritance of Scopes
Operations to establish inheritance
InheritOk
Inheritance of Scopes
Inheritance of Scopes
InheritPtr
Exported types and values
InheritScope
Inheritance with C-like Scope Rules
C-like Inheritance Bottom-Up
Inheritance of Scopes
Inheritance with Algol-like Scope Rules
C-like Inheritance Bottom-Up
Inheritsfrom
Operations to establish inheritance
InhPrecond
C-like Inheritance Bottom-Up
InhRange
Inheritance with Algol-like Scope Rules
Inheritance of Scopes
Inheritance with C-like Scope Rules
InnerScope
Inheritance of Scopes
IsClass
Operations to examine environments

J

Joined Ranges
Predefined Identifiers

K

key
KeyInEnv
Operations to find bindings
KeyInScope
Operations to find bindings
KeyOf
Operations to examine environments
KeyOfEnv
Operations to examine environments

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 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 without left-to-right Restrictions
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
Operations to build the scope tree
NewScope
C-like Inheritance Bottom-Up
Operations to build the scope tree
NextDefinition
Operations to examine environments
NextInhBinding
Operations to find additional bindings
NextInherit
Operations to examine environments
NextInhKey
Operations to find additional bindings
NoBinding
Exported types and values
NoEnv
Exported types and values
NoInherit
Exported types and values

O

OpenElemScope
Joined Ranges C-like Bottom-up
OpenNewScope
Scope Properties C-like Bottom-Up
C-like Basic Scope Rules Computed Bottom-Up
OpenPrecond
Scope Properties C-like Bottom-Up
OpenSeqScope
Joined Ranges C-like Bottom-up
OuterScope
Inheritance of Scopes
OverridesBinding
Operations to find additional bindings

P

ParentOf
Operations to examine environments
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 left-to-right Restrictions

Q

QualIdUse
Scope Properties without left-to-right Restrictions
Inheritance of Scopes
Scope Properties C-like
Scope Properties C-like Bottom-Up
Inheritance with Algol-like Scope Rules
Inheritance with C-like Scope Rules

R

RangeElement
Joined Ranges
RangeScope
Algol-like Basic Scope Rules
C-like Basic Scope Rules
Basic Scope Rules
C-like Inheritance Bottom-Up
RangeSequence
Joined Ranges
Joined Ranges C-like Bottom-up
RecentNewScope
C-like Basic Scope Rules Computed Bottom-Up
C-like Inheritance Bottom-Up
root environment
Algol-like Basic Scope Rules
C-like Basic Scope Rules
Predefined Identifiers
root symbol
Tree Grammar Preconditions
RootEnv
Algol-like Basic Scope Rules
Predefined Identifiers
C-like Basic Scope Rules
RootScope
C-like Basic Scope Rules
Basic Scope Rules
Algol-like Basic Scope Rules
running example
Basic Scope Rules

S

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

T

terminals
test output
C-like Inheritance Bottom-Up
tree grammar
type Binding
Algol-like Basic Scope Rules
C-like Basic Scope Rules
Exported types and values
Basic Scope Rules
type Environment
Exported types and values
type InheritPtr
Exported types and values

Previous Chapter Table of Contents