diff options
| author | aarne <aarne@chalmers.se> | 2013-11-05 17:28:47 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2013-11-05 17:28:47 +0000 |
| commit | aba666c5bc7a46cdc7de7e2a36869456c34909bd (patch) | |
| tree | a5b8f7a8f8ba8a7778d4bf72c388fb0a5b8853ad /src/ui/android | |
| parent | 3814841d7d3b77b3f033cb98c1c0a04ac39435d7 (diff) | |
linearization by chunks in the GF shell: a new command 'lc' needed because 'l' requires type checking and trees with metavariable function heads don't type check. This will hopefully be a temporary command.
Diffstat (limited to 'src/ui/android')
| -rw-r--r-- | src/ui/android/src/org/grammaticalframework/ui/android/Translator.java | 16 |
1 files changed, 8 insertions, 8 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 1e63a57fb..65b311611 100644 --- a/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java +++ b/src/ui/android/src/org/grammaticalframework/ui/android/Translator.java @@ -22,18 +22,18 @@ public class Translator { private static final String TAG = "Translator"; // TODO: allow changing - private String mGrammar = "ParseEngAbs.pgf"; - ///private String mGrammar = "TranslateEngChiFinSwe.pgf"; // AR + /// private String mGrammar = "ParseEngAbs.pgf"; + private String mGrammar = "TranslateEngChiFinSwe.pgf"; // AR // TODO: build dynamically? private Language[] mLanguages = { - ///new Language("en-US", "English", "TranslateEng", R.xml.inflection_en), // AR - ///new Language("cmn-Hans-CN", "Chinese", "TranslateChi", 0), - /// new Language("fi-FI", "Finnish", "TranslateFin", 0), - /// new Language("sv-SE", "Swedish", "TranslateSwe", 0), + new Language("en-US", "English", "TranslateEng", R.xml.inflection_en), // AR + new Language("cmn-Hans-CN", "Chinese", "TranslateChi", 0), + new Language("fi-FI", "Finnish", "TranslateFin", 0), + new Language("sv-SE", "Swedish", "TranslateSwe", 0), - new Language("en-US", "English", "ParseEng", R.xml.inflection_en), - new Language("bg-BG", "Bulgarian", "ParseBul", R.xml.inflection_bg), + /// new Language("en-US", "English", "ParseEng", R.xml.inflection_en), + /// new Language("bg-BG", "Bulgarian", "ParseBul", R.xml.inflection_bg), }; private Language mSourceLanguage; |