public interface org.jetbrains.annotations.Contract extends java.lang.annotation.Annotation
  minor version: 0
  major version: 59
  flags: flags: (0x2601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT, ACC_ANNOTATION
  this_class: org.jetbrains.annotations.Contract
  super_class: java.lang.Object
{
  public abstract java.lang.String value();
    descriptor: ()Ljava/lang/String;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    AnnotationDefault: ""
    RuntimeInvisibleAnnotations: 
      org.jetbrains.annotations.NonNls()
    RuntimeInvisibleTypeAnnotations: 
      METHOD_RETURN
        org.jetbrains.annotations.NonNls()

  public abstract boolean pure();
    descriptor: ()Z
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    AnnotationDefault: false

  public abstract java.lang.String mutates();
    descriptor: ()Ljava/lang/String;
    flags: (0x0401) ACC_PUBLIC, ACC_ABSTRACT
    AnnotationDefault: ""
    RuntimeInvisibleAnnotations: 
      org.jetbrains.annotations.NonNls()
    RuntimeInvisibleTypeAnnotations: 
      METHOD_RETURN
        org.jetbrains.annotations.NonNls()
}
SourceFile: "Contract.java"
    RuntimeVisibleAnnotations: 
      java.lang.annotation.Documented()
      java.lang.annotation.Retention(value = java.lang.annotation.RetentionPolicy.CLASS:Ljava/lang/annotation/RetentionPolicy;)
      java.lang.annotation.Target(value = {java.lang.annotation.ElementType.METHOD:Ljava/lang/annotation/ElementType;, java.lang.annotation.ElementType.CONSTRUCTOR:Ljava/lang/annotation/ElementType;})