Package org.jetbrains.annotations

Annotation Interface Contract

@Documented @Retention(CLASS) @Target({METHOD,CONSTRUCTOR}) public @interface Contract

  • Optional Element Summary

    Optional Elements
    Modifier and Type
    Optional Element
    Description
    boolean
    pure
     
    String
    value
     

  • Element Details

    • value

      String value
      Default:
      ""

    • pure

      boolean pure
      Default:
      false