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, ....

Type analysis tasks

Previous Chapter Table of Contents


Index

A

AlgScopeProp
Types Having Scope Properties
array types
Properties of Types
Properties of Types
Properties of Types
attribute DeferredKey
Deferred Property Association
attribute GotDeferProp
Deferred Property Association
attribute GotProp
Basic Type Analysis
attribute GotType
Basic Type Analysis
attribute Type
Basic Type Analysis
attribute TypeIsSet
Basic Type Analysis

B

Basic Type Analysis
BinTgtOpr
Operator Identification

C

ChkSetDeferId
Deferred Property Association
ChkTypeDefDefId
Example for Basic Type Analysis
Basic Type Analysis
ChkTypeDefUseId
Example for Basic Type Analysis
Basic Type Analysis
ChkTypedUseId
Basic Type Analysis
Example for Basic Type Analysis
component selection
Function Types

D

Defer
Operator Identification
Basic Type Analysis
Deferred Property Association
Operator Identification
DeferredKey
Deferred Property Association

E

examples
Basic Type Analysis
Basic Type Analysis

F

function call
Function Types
function declaration
Function Types
function TransDefer
Basic Type Analysis
function types
Pointer Types

G

GotDeferProp
Deferred Property Association
GotProp
Basic Type Analysis
GotType
Basic Type Analysis

I

IdUseScopeProp
Types Having Scope Properties
IsType
Basic Type Analysis

K

KReset
Pointer Types

L

Library Type
LidoList
Function Types
LTType
Operator Identification
LType
Operator Identification

M

member selection
Function Types
Module Defer
Operator Identification
Basic Type Analysis
Module LidoList
Pointer Types
Module Operator
Types Having Scope Properties
Module PropLib
Deferred Property Association

N

NoKey
Basic Type Analysis

O

Oil Tool
Types Having Scope Properties
operator identification
Types Having Scope Properties
overloaded operators
Types Having Scope Properties

P

parameter type
Pointer Types
Pointer Types
Array Types
predefined types
Example for Basic Type Analysis
Properties of Types
Example for Basic Type Analysis
property Defer
Deferred Property Association
Basic Type Analysis
property IsType
Basic Type Analysis
property TypeOf
Basic Type Analysis
PropLib
Deferred Property Association
Pointer Types

R

RangeScope
Function Types
ResType
Operator Identification
result type
Pointer Types
RootDefer
Deferred Property Association
RootType
Example for Basic Type Analysis
Basic Type Analysis
RTType
Operator Identification
RType
Operator Identification
running example
Basic Type Analysis

S

scope properties
Function Types
SetDeferId
Deferred Property Association
SetDeferProp
Deferred Property Association
SrcOpr
Operator Identification

T

TgtKey
Operator Identification
TgtOpr
Operator Identification
TransDefer
Deferred Property Association
Basic Type Analysis
Type
Basic Type Analysis
Type Analysis
type definition
Example for Basic Type Analysis
TypedDefId
Example for Basic Type Analysis
Basic Type Analysis
TypedDefinition
Function Types
Basic Type Analysis
Example for Basic Type Analysis
TypeDefDefId
Example for Basic Type Analysis
Basic Type Analysis
TypeDefUseId
Example for Basic Type Analysis
Basic Type Analysis
TypeDenotation
Array Types
Types Having Scope Properties
Basic Type Analysis
Pointer Types
Function Types
TypedUseId
Types Having Scope Properties
Example for Basic Type Analysis
Basic Type Analysis
TypeIsSet
Basic Type Analysis
TypeOf
Basic Type Analysis

U

UnTgtOpr
Operator Identification

Previous Chapter Table of Contents