diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-05-23 10:52:00 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-05-23 10:52:00 +0000 |
| commit | dbb4fdd0f7897943c9b9063fbdb256bb510a2b2b (patch) | |
| tree | 28d22f823da93b17e8a210a823a2170704f5c3c3 /src/runtime | |
| parent | 333e537e7206f53a89c9eda11026a47d8fd1766c (diff) | |
bugfix in the Java binding. it was causing a crash in the Android app
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/java/jpgf.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/runtime/java/jpgf.c b/src/runtime/java/jpgf.c index 868a25334..1678d11b4 100644 --- a/src/runtime/java/jpgf.c +++ b/src/runtime/java/jpgf.c @@ -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); 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); throw_string_exception(env, "org/grammaticalframework/pgf/PGFError", msg); } else { |