Lines Matching defs:docencoding
150 public String docencoding = null;
314 option.equals("-docencoding") ||
369 } else if (opt.equals("-docencoding")) {
370 docencoding = os[1];
432 if (docencoding == null) {
433 docencoding = encoding;
561 } else if (opt.equals("-docencoding")) {
582 * @param docencoding output file encoding.
585 private boolean checkOutputFileEncoding(String docencoding,
590 osw = new OutputStreamWriter(ost, docencoding);
593 docencoding));