public final enum class org.checkerframework.dataflow.qual.Pure$Kind extends java.lang.Enum
{
public static final enum org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE;
public static final enum org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC;
private static final org.checkerframework.dataflow.qual.Pure$Kind[] $VALUES;
public static org.checkerframework.dataflow.qual.Pure$Kind[] values()
{
org.checkerframework.dataflow.qual.Pure$Kind[] v;
java.lang.Object v;
v = <org.checkerframework.dataflow.qual.Pure$Kind: org.checkerframework.dataflow.qual.Pure$Kind[] $VALUES>;
v = virtualinvoke v.<java.lang.Object: java.lang.Object clone()>();
return v;
}
public static org.checkerframework.dataflow.qual.Pure$Kind valueOf(java.lang.String)
{
java.lang.String v;
java.lang.Enum v;
v := @parameter: java.lang.String;
v = staticinvoke <java.lang.Enum: java.lang.Enum valueOf(java.lang.Class,java.lang.String)>(class "Lorg/checkerframework/dataflow/qual/Pure$Kind;", v);
return v;
}
private void <init>(java.lang.String, int)
{
int v;
java.lang.String v;
org.checkerframework.dataflow.qual.Pure$Kind v;
v := @this: org.checkerframework.dataflow.qual.Pure$Kind;
v := @parameter: java.lang.String;
v := @parameter: int;
specialinvoke v.<java.lang.Enum: void <init>(java.lang.String,int)>(v, v);
return;
}
private static org.checkerframework.dataflow.qual.Pure$Kind[] $values()
{
org.checkerframework.dataflow.qual.Pure$Kind[] v;
org.checkerframework.dataflow.qual.Pure$Kind v, v;
v = newarray (org.checkerframework.dataflow.qual.Pure$Kind)[2];
v = <org.checkerframework.dataflow.qual.Pure$Kind: org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE>;
v[0] = v;
v = <org.checkerframework.dataflow.qual.Pure$Kind: org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC>;
v[1] = v;
return v;
}
static void <clinit>()
{
org.checkerframework.dataflow.qual.Pure$Kind[] v;
org.checkerframework.dataflow.qual.Pure$Kind v, v;
v = new org.checkerframework.dataflow.qual.Pure$Kind;
specialinvoke v.<org.checkerframework.dataflow.qual.Pure$Kind: void <init>(java.lang.String,int)>("SIDE_EFFECT_FREE", 0);
<org.checkerframework.dataflow.qual.Pure$Kind: org.checkerframework.dataflow.qual.Pure$Kind SIDE_EFFECT_FREE> = v;
v = new org.checkerframework.dataflow.qual.Pure$Kind;
specialinvoke v.<org.checkerframework.dataflow.qual.Pure$Kind: void <init>(java.lang.String,int)>("DETERMINISTIC", 1);
<org.checkerframework.dataflow.qual.Pure$Kind: org.checkerframework.dataflow.qual.Pure$Kind DETERMINISTIC> = v;
v = staticinvoke <org.checkerframework.dataflow.qual.Pure$Kind: org.checkerframework.dataflow.qual.Pure$Kind[] $values()>();
<org.checkerframework.dataflow.qual.Pure$Kind: org.checkerframework.dataflow.qual.Pure$Kind[] $VALUES> = v;
return;
}
}