-
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/03/04 13h:34