mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-29 18:03:18 -06:00
bugfix in the Java binding. it was causing a crash in the Android app
This commit is contained in:
1 parent
333e537e72
commit
dbb4fdd0f7
1 file changed
+3
-1
@@ -487,7 +487,9 @@ Java_org_grammaticalframework_pgf_Concr_linearize(JNIEnv* env, jobject self, job
|
|||||||
|
|
||||||
pgf_linearize(get_ref(env, self), gu_variant_from_ptr((void*) get_ref(env, jexpr)), out, err);
|
pgf_linearize(get_ref(env, self), gu_variant_from_ptr((void*) get_ref(env, jexpr)), out, err);
|
||||||
if (!gu_ok(err)) {
|
if (!gu_ok(err)) {
|
||||||
if (gu_exn_caught(err) == gu_type(PgfExn)) {
|
if (gu_exn_caught(err) == gu_type(PgfLinNonExist))
|
||||||
|
return NULL;
|
||||||
|
else if (gu_exn_caught(err) == gu_type(PgfExn)) {
|
||||||
GuString msg = (GuString) gu_exn_caught_data(err);
|
GuString msg = (GuString) gu_exn_caught_data(err);
|
||||||
throw_string_exception(env, "org/grammaticalframework/pgf/PGFError", msg);
|
throw_string_exception(env, "org/grammaticalframework/pgf/PGFError", msg);
|
||||||
} else {
|
} else {
|
||||||
|
|||||||
Reference in new issue
Block a user