TypeChecker_ptr
TypeCheckingPkg_get_global_type_checker(
)
- WARNING: This function can be invoked
only after initialisation and before de-initialisation.
- Defined in
type_checking.c
void
TypeCheckingPkg_init(
SymbTable_ptr symbolTable
)
- Can be invoked only after the symbol table has been
created.
- Defined in
type_checking.c
void
TypeCheckingPkg_quit(
)
- WARNING: All symbolic types SymbTypes
generated during type checking will be destroyed after this package
de-initialisation.
- Defined in
type_checking.c