private static void writeParam(EclDocParameter param, EclDocWriter w) throws IOException {
w.dd();
{
w.b(param.getName());
int lower = param.getLowerBound();
int upper = param.getUpperBound();
if (upper != lower) {
if (lower == 0 && upper == 1) {
w.raw(" optional");
} else {
w.raw(" (");
if (upper >= lower) {
w.raw(lower);
w.raw(", ");
w.raw(upper);
} else {
w.raw(lower);
w.raw(", ");
w.raw("∞");
}
w.raw(")");
}
} else if (lower != 1) {
w.raw(" ");
w.raw(lower);
}
w.raw(" ");
w.raw(param.getFriendlyTypeName());
if (param.isOptional()) {
String literal = param.getFriendlyDefaultLiteral();
if (!CoreUtils.isBlank(literal)) {
w.raw(" = ");
w.raw(literal);
}
}
String paramDesc = param.getDocumentation().getDescription();
if (!CoreUtils.isBlank(paramDesc)) {
w.raw(": ");
w.raw(paramDesc);
}
}
w.close();
}
