This package contains the annotations for PatternTesting Check-RT. The annotations in this package can be used to control some runtime checks. In this case you must include
patterntesting-check-rt-x.x.x.jaras AspectJ library.
Annotation Types Summary Annotation Type Description MayBeNullIf one of an argument of a method can be null you can use this annotation to mark it. MayReturnNullUse this annotation to mark methods which can return null values. NullArgsAllowedUse this annotation to mark methods which are allowed to have null values as argument. PublicForTestingWith this annotation you can mark methods which are public for testing but which should *never* be called from outside, but only from test methods or from the class itself. SuppressLoggerWarningUse this annotation to suppress the warnings of the LoggerAspect in "patterntesting.check.runtime". ZombieWith this annotation you can mark your class or method as "dead" if you want to remove it and you are not sure if they really is dead.