From 1a29ccd2ef92d5414e63ad3a8323250fb5cd3911 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 2 Jun 2016 07:38:18 +0000
Subject: [PATCH] the list of alternatives in the translator is now sorted by
 probability

---
 .../grammaticalframework/ui/android/Translator.java | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

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 eab037b23..69ab3b6f7 100644
--- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
+++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java
@@ -589,7 +589,18 @@ public class Translator {
 	}
 
     public List<MorphoAnalysis> lookupMorpho(String sentence) {
-    	return getSourceConcr().lookupMorpho(sentence);
+		List<MorphoAnalysis> ans = getSourceConcr().lookupMorpho(sentence);
+		Collections.sort(ans, new Comparator<MorphoAnalysis>() {
+				public int compare(MorphoAnalysis a1, MorphoAnalysis a2) {
+					if (a1.getProb() > a2.getProb())
+						return 1;
+					else if (a1.getProb() < a2.getProb())
+						return -1;
+					else
+						return 0;
+				}
+			});
+    	return ans;
     }
 
     public CompletionInfo[] lookupWordPrefix(String prefix) {