Package org.checkerframework.checker.testchecker.disbaruse
package org.checkerframework.checker.testchecker.disbaruse
-
ClassesClassDescriptionA checker that issues a "disbar.use" error at any use of fields, methods or parameters whose type is
@DisbarUse.The type factory for forbidding use of the DisbarUse type.