the list of alternatives in the translator is now sorted by probability

1 files changed, 12 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 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) {