Package org.sosy_lab.common.annotations

Annotation Type Unmaintained

  • @Documented
@Retention(RUNTIME)
@Target({PACKAGE,TYPE})
public @interface Unmaintained
    Annotation for component that are considered unmaintained, and might have inferior quality.

    Effects of this annotation may include hiding warnings produced by static-analysis tools, and a warning given to the user when this component is used.