Searched refs:java_comparator (Results 1 – 1 of 1) sorted by relevance
594 if(flags_.get(Flag.java_comparator) != null) { in prepareOptions()596 (AbstractComparator)flags_.get(Flag.java_comparator)); in prepareOptions()1482 java_comparator(null, "Class name of a Java Comparator to use instead\n" + in java_comparator() enumConstant