// Add the method to the class.
JavaConstructor javaConstructor = new JavaConstructor(modifiers, argNames, argTypes, CALToJavaNames.createInnerClassNameFromDC(dc, module), superClassConstructorArgValues, superClassConstructorArgTypes);
javaClassRep.addConstructor(javaConstructor);
if (LECCMachineConfiguration.generateDebugCode()) {
javaConstructor.addStatement(generateDebugCode(argNames, argTypes));
}
// Assert the arguments are not null.
JavaExpression check = new JavaExpression.OperatorExpression.Binary(JavaOperator.NOT_EQUALS_OBJECT, argVars[0], LiteralWrapper.NULL);
for (int i = 1, n = dc.getArity(); i < n; ++i) {