Interface CBTypeCheckerType
- All Superinterfaces:
AutoCloseable
- All Known Implementing Classes:
CBTypeChecker
A package type checker.
-
Method Summary
-
Method Details
-
execute
Execute the type checker.- Throws:
CBTypeCheckFailedException- On errors
-
close
void close()- Specified by:
closein interfaceAutoCloseable
-