From d304bf63482f9f9cb60fbe4419cb4cf02a8cec5c 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); }