use of org.sosy_lab.common.configuration.OptionCollector.OptionInfo in project java-common-lib by sosy-lab.
the class OptionPlainTextWriter method writeOption.
/**
* Write output for a single option.
*
* @param allInstances All appearances of this option with the same name.
*/
void writeOption(Iterable<AnnotationInfo> allInstances) {
@Var boolean first = true;
for (AnnotationInfo annotation : allInstances) {
String description = getOptionDescription(annotation.element());
if (!description.isEmpty() && !lastDescription.equals(description)) {
if (first) {
out.append('\n');
first = false;
}
out.append(description);
lastDescription = description;
}
}
for (OptionInfo option : from(allInstances).filter(OptionInfo.class)) {
String infoText = getOptionInfo(option);
if (!lastInfo.equals(infoText)) {
out.append(infoText);
lastInfo = infoText;
}
}
}
Aggregations