Examples with AnnotationInfo org.sosy_lab.common.configuration.OptionCollector.AnnotationInfo used on opensource projects

Example 1 with AnnotationInfo

use of org.sosy_lab.common.configuration.OptionCollector.AnnotationInfo 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;
        }
    }
}