diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2014-12-09 12:31:36 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2014-12-09 12:31:36 +0000 |
| commit | 81fda41fbc4b776f141c186a0904cdf81c410567 (patch) | |
| tree | aa1c23831a7dd4304265f106631965c6bddb2bff | |
| parent | e41ec32ba95d1e3468b586d22b13a14104bb2d87 (diff) | |
make sure that the app doesn't crash even if nonExist is used somewhere in the grammars
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/Translator.java | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java index bd47f2cc7..fe318b49a 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -312,13 +312,19 @@ public class Translator { } catch (ParseError e) { output = translateByLookup(input); } + + if (output == null) + output = "% "; // make sure that we return something return new Pair<String,List<ExprProb>>(output, exprs); } public String linearize(Expr expr) { Concr targetLang = getTargetConcr(); - return targetLang.linearize(expr); + String s = targetLang.linearize(expr); + if (s == null) + s = "% "; // make sure that we return something + return s; } public Object[] bracketedLinearize(Expr expr) { |
