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

Type Analysis

Previous Chapter Table of Contents


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
Operators with operand lists
Expression contexts without operators
BalanceListRoot
Expressions
Operators with operand lists
Expression contexts without operators

C

ChkTypeDefDefId
Verifying type identifier usage
ChkTypeDefUseId
Verifying type identifier usage
ChkTypedUseId
Verifying typed identifier usage
Dependences among types and type identifiers
Verifying typed identifier usage

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
Expression contexts without operators
Functions as typed entities
Support for context checking
Operators with explicit operands
Type analysis of expression trees
Verifying type consistency within an expression
Support for context checking
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
Operator, function, and method definitions
Operator, function, and method definitions
Functions as typed entities
Operator, function, and method definitions
OperatorSymbol
Operators with explicit operands
Verifying type consistency within an expression
Expressions
Operator, function, and method definitions
Operators with explicit operands
Operator, function, and method definitions
OpndExprListElem
Verifying type consistency within an expression
Expressions
Type conversion
Operators with operand lists
OpndExprListRoot
Expressions
Functions as typed entities
Verifying type consistency within an expression
Operators with operand lists
Operator, function, and method definitions
Support for context checking
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
Functions as typed entities
Functions as typed entities
Type denotations
User-Defined Types
Operator, function, and method definitions
Reducing specification size
Operator, function, and method definitions
TypedIdDef
Passing ancillary information
TypedUseId
Passing ancillary information
Accessing the type of an entity
Typed Entities
Expression contexts without operators
Dependences among types and type identifiers

Rule computations

A

AddTypeToBlock
Functions as typed entities
Functions as typed entities
Partitioning 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
Expressions
Type conversion
Type conversion

D

DyadicContext
Operators with explicit operands
Support for context checking
Operators with explicit operands
Operators with explicit operands
Expressions
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
Support for context checking
Expressions
Support for context checking
Functions as typed entities
InstClass
Reducing specification size
InstClass1
Reducing specification size
IsCoercible
Support for context checking

L

ListContext
Expressions
Functions as typed entities
Operators with operand lists
Operators with operand lists
Support for context checking
Operator, function, and method definitions
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
Expression contexts without operators
Expressions
Dependences among types and type identifiers

R

RootContext
Type conversion
Type conversion
Expressions

T

TransferContext
Operators with operand lists
Expressions
Operators with operand lists
Expression contexts without operators
Expression contexts without operators

Attributes

G

GotOper
Operator, function, and method definitions
Functions as typed entities
Operator, function, and method definitions
Operator, function, and method definitions
Operator, function, and method definitions
Functions as typed entities
Operator, function, and method definitions
Reducing specification size
GotType
Operator, function, and method definitions
Functions as typed entities
Functions as typed entities
Type denotations
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.GotAllOpers
Dependence in Type Analysis
RootType.GotAllTypes
Dependence in Type Analysis
RootType.GotUserTypes
Dependence in Type Analysis
RootType.TypeIsSet
Dependence in Type Analysis

T

Type
Operator, function, and method definitions
Type analysis of expression trees
Functions as typed entities
Type denotations
Functions as typed entities
Operator, function, and method definitions
Dependences among types and type identifiers
Functions as typed entities
Type identifiers
Type identifiers
Support for context checking
Operator, function, and method definitions
Referring to a type
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
Reducing specification size
Language-defined coercibility

E

Expression module
Selecting an operator at an expression node
Selecting an operator at an expression node
Expressions

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
Reducing specification size
Language-defined coercibility
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


Previous Chapter Table of Contents