Package checkers.basic

Class Summary

Class	Description
BasicChecker	A checker for type qualifier systems that only checks subtyping relationships.