@Documented
@Retention(value=SOURCE)
@Target(value={METHOD,TYPE,CONSTRUCTOR})
public @interface TypeChecked
Modifier and Type | Optional Element and Description |
---|---|
java.lang.Class<? extends TypeCheckerPluginFactory> |
pluginFactory |
TypeCheckingMode |
value |
public abstract java.lang.Class<? extends TypeCheckerPluginFactory> pluginFactory
public abstract TypeCheckingMode value