public static void main(string[] argv) { if (argv.Length < 2) { [email protected]("Usage: BatchDecoder propertiesFile batchFile [-shell]"); java.lang.System.exit(1); } string text = argv[0]; string text2 = argv[1]; try { URL url = new File(text).toURI().toURL(); ConfigurationManager configurationManager = new ConfigurationManager(url); BatchModeRecognizer batchModeRecognizer = (BatchModeRecognizer)configurationManager.lookup("batch"); if (batchModeRecognizer != null) { if (argv.Length >= 3 && String.instancehelper_equals(argv[2], "-shell")) { batchModeRecognizer.shell(text2); } else { batchModeRecognizer.decode(text2); } [email protected](new StringBuilder().append("Tokens created: ").append(StatisticsVariable.getStatisticsVariable("totalTokensScored").value).toString()); } java.lang.System.err.println(new StringBuilder().append("Can't find batchModeRecognizer in ").append(text).toString()); } catch (System.Exception ex) { java.lang.System.err.println("Error during decoding: \n "); Throwable.instancehelper_printStackTrace(ex); } }
internal BatchModeRecognizer_7(BatchModeRecognizer batchModeRecognizer) { this_0 = batchModeRecognizer; }