Package org.sosy_lab.common.annotations

Annotation Type SuppressForbidden

@Retention(CLASS)
@Target({CONSTRUCTOR,FIELD,METHOD,TYPE})
public @interface SuppressForbidden

Annotation similar to SuppressWarnings, but intended to be used with https://github.com/policeman-tools/forbidden-apis.

Required Element Summary

Required Elements

Modifier and Type	Required Element	Description
String	value	Description and explanation of what and why is suppressed.

Element Detail

value

String value

Description and explanation of what and why is suppressed.