next up previous
Next: The C type system Up: An Analyzer for ANSI Previous: Checking for definition errors

Type Analysis

Type analysis assigns a type to every value in the program.

Type.lido[1]:
ATTR Type: DefTableKey; /* C type associated with every value */

Create standard pointer types[6]
Associate types with identifiers[30]
Declaration specifiers[34]
Relationships among types[47]
Operator identification[53]
This macro is attached to a product file.

Type.pdl[2]:
Define keys, properties, and access functions[48]
This macro is attached to a product file.

Type.specs[3]:
Instantiate modules[29]
This macro is attached to a product file.



Subsections

2008-08-30