Package org.sosy_lab.common.annotations

Annotation Interface 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 Details

    • value

      String value
      Description and explanation of what and why is suppressed.