public void visitConstructorsSpec(ConstructorsSpec aConstructorsSpec) {
out.print("ConstructorsSpec(");
++indentLevel;
out.println();
printIndent();
out.print("constructors=");
if (aConstructorsSpec.getConstructors() != null) {
out.println("[");
++indentLevel;
for (Constructor e : aConstructorsSpec.getConstructors()) {
printIndent();
e.visit(this);
}
--indentLevel;
printIndent();
out.println("]");
} else {
out.println("null");
}
--indentLevel;
printIndent();
out.println(")");
}
