next up previous
Next: The Pascal type model Up: An Analyzer for Pascal Previous: Applied occurrences


Type Analysis

This specification implements the Pascal type model, the declaration and use of identifiers representing types and typed entities, and the type analysis of expressions. Those properties of Pascal are defined Sections 6.4-6.7 of ANSI/IEEE 770X3.97-1983.

LIDO computations are used to establish the meanings of identifiers and to analyze the types of operands in expressions.

Type.lido[1]:
ATTR Type: DefTableKey;

Establish a user-defined type[4]
Packing[5]
Sets of required ordinal types[8]
Constant definitions[25]
Type definitions[27]
Variable declarations[28]
Procedure and function declarations[29]
Expressions[36]
Statements[37]
Qualified identifiers[40]
This macro is attached to a product file.

All of the Eli type analysis modules are required.

Type.specs[2]:
$/Type/Typing.gnrc :inst
$/Type/Expression.gnrc :inst
$/Type/PreDefOp.gnrc +referto=(Operator.d) :inst
$/Type/StructEquiv.fw
Instantiate appropriate modules[41]
This macro is attached to a product file.



Subsections

2008-08-29