From 0e01782af171e036e0dedf5a0aef9b262288c7e9 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Mon, 1 Dec 2014 23:15:24 +0000 Subject: [PATCH] faster translation in the app --- .../org/grammaticalframework/ui/android/Translator.java | 7 +++---- 1 file changed, 3 insertions(+), 4 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 3afd267c5..7797363f1 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -319,19 +319,18 @@ public class Translator { Concr sourceLang = getSourceConcr(); Concr targetLang = getTargetConcr(); - Expr expr = sourceLang.parseBest(getGrammar().getStartCat(), input); - int count = NUM_ALT_TRANSLATIONS; for (ExprProb ep : sourceLang.parse(getGrammar().getStartCat(), input)) { if (count-- <= 0) break; exprs.add(ep); - output = targetLang.linearize(expr); + if (output == null) + output = targetLang.linearize(ep.getExpr()); } } catch (ParseError e) { output = translateByLookup(input); } - + return new Pair>(output, exprs); }