// Initializers //////////////////////////////////////////////////////////////////////////////
public static Type.Class System_class = Type.Class.instance("java.lang.System");
- public static Type.Class.Method System_arraycopy = System_class.method("arraycopy(Ljava/lang/Object;ILjava/lang/Object;II)V");
+ public static Type.Class.Method System_arraycopy = System_class.method("arraycopy","(Ljava/lang/Object;ILjava/lang/Object;II)V");
public static Type.Class Gladiator_class = Type.Class.instance("org.ibex.classgen.opt.Arena$Gladiator");
boolean implementsGladiator(Type t) { return t instanceof Type.Class && implementsGladiator((Type.Class)t);}
Type.Class.Method arenaInit = arenaInitBody.getMethod();
Type.Class.Field maxField = arena.field(getGladiatorName(c) + "$$max", Type.INT);
- arenaBody.addField(maxField, PRIVATE);
+ /*arenaBody.addField(maxField, PRIVATE);*/
/*
assign(arenaInitBody, newIFR(arenaInitBody, maxField.makeRef()), IntConstant.v(initialSize),
arenaInitBody.getFirstNonIdentityStmt());
*/
Type.Class.Field sizeField = arena.field(getGladiatorName(c) + "$$size", Type.INT);
- arenaBody.addField(sizeField, PRIVATE);
+ /*arenaBody.addField(sizeField, PRIVATE);*/
/*
assign(arenaInitBody, newIFR(arenaInitBody, sfr.makeRef()), IntConstant.v(0),
arenaInitBody.getFirstNonIdentityStmt());