diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2013-10-08 14:08:40 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2013-10-08 14:08:40 +0000 |
| commit | c63ca25a7268782f2114b1984e5206f4a7e90f9f (patch) | |
| tree | d0b8f14089b3132edd72fb7e4ee9550913297b5b /src | |
| parent | 4a50440db946c7b5d6ba770589a4999857aeb617 (diff) | |
a quick hack in the Android translation for parsing Chinese
Diffstat (limited to 'src')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/Translator.java | 14 |
1 files changed, 14 insertions, 0 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 1bf5eb1a3..c65237fdb 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -66,10 +66,24 @@ public class Translator { return mTargetLanguage != null ? mTargetLanguage : mLanguages[1]; } + private static String explode(String in) { + String out = ""; + for (int i = 0; i < in.length(); i++) { + if (i > 0) + out += ' '; + out += in.charAt(i); + } + return out; + } /** * Takes a lot of time. Must not be called on the main thread. */ public String translate(String input) { + if (getSourceLanguage().getLangCode().equals("cmn-Hans-CN")) { + // for Chinese we need to put space after every character + input = explode(input); + } + try { Concr sourceLang = getConcr(getSourceLanguage().getConcrete()); Expr expr = sourceLang.parseBest(getGrammar().getStartCat(), input); |
