Cleanup unused code. No functional changes.
@@ -1099,27 +1099,12 @@ if (retval == -1) {
char *mpqString = mpq_get_str(NULL, 10, m_arg3);
char term[12]; //should be enough for MAX_INT32
snprintf(term, 12, "%d", s_arg4);
-/**size_t retSize = strlen(mpqString) + strlen(term);
- *char retString[retSize];
- *if(retString == NULL){
- * throwException(jenv, "java/lang/OutOfMemoryError", "Cannot allocate native memory for passing return value from Yices");
- *}
- *retString[0] = '\0';
- *strcat(retString, mpqString);
- *strcat(retString, term);
- *jstring jretval = NULL;
- *if (!(*jenv)->ExceptionCheck(jenv)) {
- * jretval = (*jenv)->NewStringUTF(jenv, retString);
- *}
- */
if ((*jenv)->ExceptionCheck(jenv)) {
goto out;
}
jclass stringClass = (*jenv)->FindClass(jenv,"java/lang/String");
jobjectArray jretval = NULL;
-//jobjectArray ret;
jretval = (jobjectArray)(*jenv)->NewObjectArray(jenv, 2,stringClass,(*jenv)->NewStringUTF(jenv, ""));
-//jretval = (*jenv)->NewObjectArray(jenv, 2, (*jenv)->FindClass("java/lang/String"), jenv->NewStringUTF(""));
if (jretval != NULL) {
(*jenv)->SetObjectArrayElement(jenv, jretval, 0, (*jenv)->NewStringUTF(jenv, mpqString));
(*jenv)->SetObjectArrayElement(jenv, jretval, 1, (*jenv)->NewStringUTF(jenv, term));
