Package org.checkerframework.checker.signature

Class Summary

Class	Description
SignatureAnnotatedTypeFactory	Accounts for the effects of certain calls to String.replace.
SignatureChecker	The Signature Checker.
SignatureTransfer	The transfer function for the Signature Checker.