public final Class Rops

r,x,c: double :: r = x + c;

r,x,c: int :: r = x + c;

r,x,y: double :: r = x + y;

r,x,y: int :: r = x + y;

r: boolean; x: boolean[]; y: int :: r = x[y]

r: char; x: char[]; y: int :: r = x[y]

r: float; x: float[]; y: int :: r = x[y]

r: long; x: long[]; y: int :: r = x[y]

r: short; x: short[]; y: int :: r = x[y]

r,x,c: long :: r = x & c;

r,x,y: long :: r = x & y;

x: byte; y: byte[]; z: int :: y[z] = x

x: double; y: double[]; z: int :: y[z] = x

x,z: int; y: int[] :: y[z] = x

x: Object; y: Object[]; z: int :: y[z] = x

T: any type; r: int; x: T[]; :: r = x.length

r: int; x,y: double :: r = cmpg(x, y);

r: int; x,y: double :: r = cmpl(x, y);

r: int; x,y: long :: r = cmp(x, y);

r, literal: float :: r = literal;

r, literal: long :: r = literal;

r, literal: Object :: r = literal;

r: int; x: double :: r = (int) x

r: double; x: float :: r = (double) x

r: long; x: float :: r = (long) x

r: float; x: int :: r = (float) x

r: double; x: long :: r = (double) x

r: int; x: long :: r = (int) x

r,x,c: float :: r = x / c;

r,x,c: long :: r = x / c;

r,x,y: float :: r = x / y;

r,x,y: long :: r = x / y;

r: boolean; x: Object; f: instance field spec of type boolean :: r = x.f

r: char; x: Object; f: instance field spec of type char :: r = x.f

r: float; x: Object; f: instance field spec of type float :: r = x.f

r: long; x: Object; f: instance field spec of type long :: r = x.f

r: short; x: Object; f: instance field spec of type short :: r = x.f

r: byte; f: static field spec of type byte :: r = f

r: double; f: static field spec of type double :: r = f

r: int; f: static field spec of type int :: r = f

r: Object; f: static field spec of type Object :: r = f

goto label

x,y: Object :: if (x == y) goto label

x: Object :: if (x == null) goto label

x: int :: if (x >= 0) goto label

x: int :: if (x > 0) goto label

x: int :: if (x <= 0) goto label

x: int :: if (x < 0) goto label

x,y: Object :: if (x != y) goto label

x: Object :: if (x != null) goto label

x: Double :: local variable begins in x

x: Int :: local variable begins in x

x: Object :: local variable begins in x

x: Object :: monitorexit(x)

r,x: float :: r = x;

r,x: long :: r = x;

r,param(x): double :: r = param(x);

r,param(x): int :: r = param(x);

r,param(x): Object :: r = param(x);

r,x,c: double :: r = x * c;

r,x,c: int :: r = x * c;

r,x,y: double :: r = x * y;

r,x,y: int :: r = x * y;

r,x: double :: r = -x;

r,x: int :: r = -x;

r: boolean[]; x: int :: r = new boolean[x]

r: char[]; x: int :: r = new char[x]

r: float[]; x: int :: r = new float[x]

r: long[]; x: int :: r = new long[x]

T: any non-array object type :: r = alloc(T) (allocate heap space for an object)

r,x: int :: r = ~x;

r,x,c: int :: r = x | c;

r,x,y: int :: r = x | y;

x: int; y: Object; f: instance field spec of type boolean :: y.f = x

x: int; y: Object; f: instance field spec of type char :: y.f = x

x: float; y: Object; f: instance field spec of type float :: y.f = x

x: long; y: Object; f: instance field spec of type long :: y.f = x

x: int; y: Object; f: instance field spec of type short :: y.f = x

f: static field spec of type byte; x: byte :: f = x

f: static field spec of type double; x: double :: f = x

f: static field spec of type int; x: int :: f = x

f: static field spec of type Object; x: Object :: f = x

r,x,c: double :: r = x % c;

r,x,c: int :: r = x % c;

r,x,y: double :: r = x % y;

r,x,y: int :: r = x % y;

x: double; return x

x: int; return x

x: Object; return x

r,x,c: int :: r = x << c;

r,x,y: int :: r = x << y;

r,x,c: int :: r = x >> c;

r,x,y: int :: r = x >> y;

r,x,c: double :: r = x - c;

r,x,c: int :: r = x - c;

r,x,y: double :: r = x - y;

r,x,y: int :: r = x - y;

x: int :: goto switchtable[x]

r,x: int :: r = (x << 24) >> 24 (Java-style convert int to byte)

r,x: int :: r = (x << 16) >> 16 (Java-style convert int to short)

r,x: long; c: int :: r = x >>> c;

r,x: long; y: int :: r = x >>> y;

r,x,c: long :: r = x ^ c;

r,x,y: long :: r = x ^ y;