public final enum class org.checkerframework.framework.qual.LiteralKind extends java.lang.Enum
{
public static final enum org.checkerframework.framework.qual.LiteralKind NULL;
public static final enum org.checkerframework.framework.qual.LiteralKind INT;
public static final enum org.checkerframework.framework.qual.LiteralKind LONG;
public static final enum org.checkerframework.framework.qual.LiteralKind FLOAT;
public static final enum org.checkerframework.framework.qual.LiteralKind DOUBLE;
public static final enum org.checkerframework.framework.qual.LiteralKind BOOLEAN;
public static final enum org.checkerframework.framework.qual.LiteralKind CHAR;
public static final enum org.checkerframework.framework.qual.LiteralKind STRING;
public static final enum org.checkerframework.framework.qual.LiteralKind ALL;
public static final enum org.checkerframework.framework.qual.LiteralKind PRIMITIVE;
private static final org.checkerframework.framework.qual.LiteralKind[] $VALUES;
public static org.checkerframework.framework.qual.LiteralKind[] values()
{
java.lang.Object v;
org.checkerframework.framework.qual.LiteralKind[] v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind[] $VALUES>;
v = virtualinvoke v.<java.lang.Object: java.lang.Object clone()>();
return v;
}
public static org.checkerframework.framework.qual.LiteralKind 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/framework/qual/LiteralKind;", v);
return v;
}
private void <init>(java.lang.String, int)
{
int v;
org.checkerframework.framework.qual.LiteralKind v;
java.lang.String v;
v := @this: org.checkerframework.framework.qual.LiteralKind;
v := @parameter: java.lang.String;
v := @parameter: int;
specialinvoke v.<java.lang.Enum: void <init>(java.lang.String,int)>(v, v);
return;
}
public static java.util.List allLiteralKinds()
{
org.checkerframework.framework.qual.LiteralKind v, v;
java.util.List v;
org.checkerframework.framework.qual.LiteralKind[] v;
java.util.ArrayList v;
v = new java.util.ArrayList;
v = staticinvoke <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind[] values()>();
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
specialinvoke v.<java.util.ArrayList: void <init>(java.util.Collection)>(v);
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind ALL>;
interfaceinvoke v.<java.util.List: boolean remove(java.lang.Object)>(v);
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind PRIMITIVE>;
interfaceinvoke v.<java.util.List: boolean remove(java.lang.Object)>(v);
return v;
}
public static java.util.List primitiveLiteralKinds()
{
org.checkerframework.framework.qual.LiteralKind v, v, v, v, v, v;
java.util.List v;
org.checkerframework.framework.qual.LiteralKind[] v;
v = newarray (org.checkerframework.framework.qual.LiteralKind)[6];
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind INT>;
v[0] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind LONG>;
v[1] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind FLOAT>;
v[2] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind DOUBLE>;
v[3] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind BOOLEAN>;
v[4] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind CHAR>;
v[5] = v;
v = staticinvoke <java.util.Arrays: java.util.List asList(java.lang.Object[])>(v);
return v;
}
private static org.checkerframework.framework.qual.LiteralKind[] $values()
{
org.checkerframework.framework.qual.LiteralKind v, v, v, v, v, v, v, v, v, v;
org.checkerframework.framework.qual.LiteralKind[] v;
v = newarray (org.checkerframework.framework.qual.LiteralKind)[10];
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind NULL>;
v[0] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind INT>;
v[1] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind LONG>;
v[2] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind FLOAT>;
v[3] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind DOUBLE>;
v[4] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind BOOLEAN>;
v[5] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind CHAR>;
v[6] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind STRING>;
v[7] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind ALL>;
v[8] = v;
v = <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind PRIMITIVE>;
v[9] = v;
return v;
}
static void <clinit>()
{
org.checkerframework.framework.qual.LiteralKind v, v, v, v, v, v, v, v, v, v;
org.checkerframework.framework.qual.LiteralKind[] v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("NULL", 0);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind NULL> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("INT", 1);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind INT> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("LONG", 2);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind LONG> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("FLOAT", 3);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind FLOAT> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("DOUBLE", 4);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind DOUBLE> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("BOOLEAN", 5);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind BOOLEAN> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("CHAR", 6);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind CHAR> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("STRING", 7);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind STRING> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("ALL", 8);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind ALL> = v;
v = new org.checkerframework.framework.qual.LiteralKind;
specialinvoke v.<org.checkerframework.framework.qual.LiteralKind: void <init>(java.lang.String,int)>("PRIMITIVE", 9);
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind PRIMITIVE> = v;
v = staticinvoke <org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind[] $values()>();
<org.checkerframework.framework.qual.LiteralKind: org.checkerframework.framework.qual.LiteralKind[] $VALUES> = v;
return;
}
}