class org.checkerframework.checker.formatter.FormatUtil$Conversion extends java.lang.Object
{
private final int index;
private final org.checkerframework.checker.formatter.qual.ConversionCategory cath;
public void <init>(char, int)
{
org.checkerframework.checker.formatter.FormatUtil$Conversion v;
org.checkerframework.checker.formatter.qual.ConversionCategory v;
int v;
char v;
v := @this: org.checkerframework.checker.formatter.FormatUtil$Conversion;
v := @parameter: char;
v := @parameter: int;
specialinvoke v.<java.lang.Object: void <init>()>();
v.<org.checkerframework.checker.formatter.FormatUtil$Conversion: int index> = v;
v = staticinvoke <org.checkerframework.checker.formatter.qual.ConversionCategory: org.checkerframework.checker.formatter.qual.ConversionCategory fromConversionChar(char)>(v);
v.<org.checkerframework.checker.formatter.FormatUtil$Conversion: org.checkerframework.checker.formatter.qual.ConversionCategory cath> = v;
return;
}
int index()
{
int v;
org.checkerframework.checker.formatter.FormatUtil$Conversion v;
v := @this: org.checkerframework.checker.formatter.FormatUtil$Conversion;
v = v.<org.checkerframework.checker.formatter.FormatUtil$Conversion: int index>;
return v;
}
org.checkerframework.checker.formatter.qual.ConversionCategory category()
{
org.checkerframework.checker.formatter.FormatUtil$Conversion v;
org.checkerframework.checker.formatter.qual.ConversionCategory v;
v := @this: org.checkerframework.checker.formatter.FormatUtil$Conversion;
v = v.<org.checkerframework.checker.formatter.FormatUtil$Conversion: org.checkerframework.checker.formatter.qual.ConversionCategory cath>;
return v;
}
}