General Information

	Eli: Translator Construction Made Easy
	Global Index
	Frequently Asked Questions

Tutorials

	Quick Reference Card
	Guide For new Eli Users
	Release Notes of Eli
	Tutorial on Name Analysis
	Tutorial on Type Analysis

Reference Manuals

	User Interface
	Eli products and parameters
	LIDO Reference Manual

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

Type Analysis

Index

Symbol roles

A
ArgErr: Verifying type consistency within an expression
ArgError: Verifying type consistency within an expression
ArgMsg: Verifying type consistency within an expression
B
BalanceListElem: Expressions; Expression contexts without operators; Operators with operand lists
BalanceListRoot: Operators with operand lists; Expressions; Expression contexts without operators
C
ChkTypeDefDefId: Verifying type identifier usage
ChkTypeDefUseId: Verifying type identifier usage
ChkTypedUseId: Verifying typed identifier usage; Verifying typed identifier usage; Dependences among types and type identifiers
E
ExpErr: Verifying type consistency within an expression
ExpError: Verifying type consistency within an expression
ExpMsg: Verifying type consistency within an expression
ExpressionSymbol: Type analysis of expression trees; Verifying type consistency within an expression; Operators with explicit operands; Functions as typed entities; Support for context checking; Type analysis of expression trees; Support for context checking; Expression contexts without operators; Expressions
L
LstErr: Verifying type consistency within an expression
LstError: Verifying type consistency within an expression
LstMsg: Verifying type consistency within an expression
O
OperatorDefs: Reducing specification size; Functions as typed entities; Functions as typed entities; Operator, function, and method definitions; Operator, function, and method definitions; Operator, function, and method definitions
OperatorSymbol: Operator, function, and method definitions; Operators with explicit operands; Operators with explicit operands; Expressions; Operator, function, and method definitions; Verifying type consistency within an expression
OpndExprListElem: Expressions; Type conversion; Operators with operand lists; Verifying type consistency within an expression
OpndExprListRoot: Expressions; Support for context checking; Functions as typed entities; Verifying type consistency within an expression; Operator, function, and method definitions; Operators with operand lists
OpndTypeListElem: Operator, function, and method definitions
OpndTypeListRoot: Operator, function, and method definitions; Operator, function, and method definitions; Operator, function, and method definitions; Functions as typed entities
OprErr: Verifying type consistency within an expression
OprError: Verifying type consistency within an expression
OprMsg: Verifying type consistency within an expression
T
TypedDefId: Typed Entities; Establishing the type of an entity
TypedDefinition: Establishing the type of an entity; Passing ancillary information; Typed Entities
TypeDefDefId: User-Defined Types
TypeDefUseId: Referring to a type; User-Defined Types
TypeDenotation: Type denotations; User-Defined Types; Operator, function, and method definitions; Functions as typed entities; Functions as typed entities; Reducing specification size; Operator, function, and method definitions
TypedIdDef: Passing ancillary information
TypedUseId: Dependences among types and type identifiers; Passing ancillary information; Accessing the type of an entity; Expression contexts without operators; Typed Entities

Rule computations

A
AddTypeToBlock: Functions as typed entities; Functions as typed entities; Paritioning the set of types
B
BadIndication: Support for context checking; Support for context checking
BadOperator: Support for context checking; Support for context checking
BalanceContext: Expression contexts without operators; Expressions
C
CastContext: Type conversion; Expressions; Type conversion
Coercible: Operator, function, and method definitions; Operator, function, and method definitions; Operator, function, and method definitions
ConversionContext: Type conversion; Expressions; Type conversion
D
DyadicContext: Expressions; Operators with explicit operands; Operators with explicit operands; Operators with explicit operands; Support for context checking
DyadicOperator: Operator, function, and method definitions; Operator, function, and method definitions; Operator, function, and method definitions
F
FinalType: Dependence on structural equivalence
I
Indication: Type conversion; Functions as typed entities; Expressions; Support for context checking; Support for context checking
InstClass: Reducing specification size
InstClass1: Reducing specification size
IsCoercible: Support for context checking
L
ListContext: Operator, function, and method definitions; Expressions; Operators with operand lists; Operators with operand lists; Functions as typed entities; Support for context checking
ListOperator: Operator, function, and method definitions; Operator, function, and method definitions; Functions as typed entities; Operator, function, and method definitions; Operator, function, and method definitions; Functions as typed entities
M
MonadicContext: Operators with explicit operands; Operators with operand lists; Expressions
MonadicOperator: Operator, function, and method definitions; Operator, function, and method definitions
O
OperName: Expressions
P
PrimaryContext: Type conversion; Expressions; Expression contexts without operators; Dependences among types and type identifiers
T
TransferContext: Operators with operand lists; Operators with operand lists; Expression contexts without operators; Expression contexts without operators; Expressions

Attributes

G
GotOper: Reducing specification size; Operator, function, and method definitions; Operator, function, and method definitions; Functions as typed entities; Functions as typed entities; Operator, function, and method definitions; Operator, function, and method definitions; Operator, function, and method definitions
GotType: Functions as typed entities; Functions as typed entities; Type denotations; Operator, function, and method definitions; Type denotations
I
Indic: Operators with explicit operands
IsType: Language-defined types
O
Oper: Operators with explicit operands
OperatorDefs.GotOper: Dependence in Type Analysis
OperName: Operators with explicit operands
OpndTypeList: Operator, function, and method definitions; Operator, function, and method definitions; Operator, function, and method definitions
P
ParameterTypeList: Functions as typed entities; Functions as typed entities
R
Required: Type analysis of expression trees
RootType.AllTypesAreSet: Dependence in Type Analysis
RootType.GotAllOpers: Dependence in Type Analysis
RootType.GotAllTypes: Dependence in Type Analysis
RootType.GotUserTypes: Dependence in Type Analysis
T
Type: Functions as typed entities; Functions as typed entities; Operator, function, and method definitions; Operator, function, and method definitions; Referring to a type; Type analysis of expression trees; Support for context checking; Type identifiers; Operator, function, and method definitions; Type identifiers; Functions as typed entities; Dependences among types and type identifiers; Type denotations
TypedDefId.TypeIsSet: Dependence in Type Analysis
TypeDefDefId.GotDefer: Dependence in Type Analysis
TypeDenotation.GotType: Dependence in Type Analysis
TypedUseId.TypeIsSet: Dependence in Type Analysis
TypeIsSet: Dependences for typed entities
TypeKey: Type identifiers; Type denotations; Type identifiers

General concepts

C
CLASS, OIL: Reducing specification size
COERCION, OIL: Language-defined coercibility; Reducing specification size
E
Expression module: Selecting an operator at an expression node; Expressions; Selecting an operator at an expression node
I
INDICATION, OIL: Reducing specification size; Language-defined indications
N
Name equivalence: User-Defined Types
NoKey: Language-defined types
O
OIL CLASS, definition: Reducing specification size
OIL CLASS, instantiation: Reducing specification size
OIL COERCION: Language-defined coercibility; Reducing specification size
OIL INDICATION: Reducing specification size; Language-defined indications
OIL OPER: Reducing specification size; Language-defined operators
OPER, OIL: Language-defined operators; Reducing specification size
P
property IsType: Language-defined types
S
Specification modules -- Expression: Expressions; Selecting an operator at an expression node; Selecting an operator at an expression node
Specification modules -- StructEquiv: Structural Type Equivalence
Specification modules -- Typing: Typed Entities
StructEquiv module: Structural Type Equivalence
Structural equivalence: User-Defined Types
T
Type equivalence, name: User-Defined Types
Type equivalence, structural: User-Defined Types
Typed Entities: Typed Entities
Typing module: Typed Entities