Package com.ibm.wala.annotations

Annotation Types Summary
Internal An annotation which indicates a method which although public, should be considered an "internal" method, not exposed to the outside world or an adversary.
NonNull An annotation which indicates a Java element should not be null.