程序包 org.jetbrains.annotations

Annotation Interface Contract

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

  • 可选元素概要

    可选元素
    修饰符和类型
    可选元素
    说明
    boolean
    pure
     
    String
    value
     

  • 元素详细资料

    • value

      String value
      默认值:
      ""

    • pure

      boolean pure
      默认值:
      false