Package org.sosy_lab.common.annotations

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