type_checking.c
Other header file
TypeChecker.c
Implementation of class 'TypeChecker'

type_checking.c

Other header file

By: Andrei Tchaltsev

TypeCheckingPkg_init()
Initialises the type checking package.
TypeCheckingPkg_quit()
Shuts down the type checking package.
TypeCheckingPkg_get_global_type_checker()
Returns the global type checker, used by the this package.

TypeChecker.c

Implementation of class 'TypeChecker'

By: Andrei Tchaltsev, Roberto Cavada

See AlsoTypeChecker.h


Last updated on 2009/01/30 14h:53