returnType = SCJavaDefn.typeExprToTypeName(mf.getResultType());
}
JavaMethod javaMethod = new JavaMethod(modifiers, returnType, argNames, argTypes, null, methodName);
// Add the throws declaration
javaMethod.addThrows(JavaTypeName.CAL_EXECUTOR_EXCEPTION);
// If we are doing a sanity check on let variable behaviour we
// want to check/set the flag associated with this method.
if (LECCMachineConfiguration.SANITY_CHECK_LET_VARS) {
JavaField flag = new JavaField.Instance(null, CALToJavaNames.cleanSCName(javaDefn.getFunctionName()) + "_flag_", JavaTypeName.BOOLEAN);