public class DeclareTypeMatcher
extends TypeMatcher
Same as TypeMatcher apart from that hasfield() and has() only check for existence
of field/method/constructor on the class itself, and do not check the superclass.
Used by DeclareDef to enforce implementation of methods etc.