@Override
protected void toString(StringBuffer out, String indent) {
out.append(indent + "Enumerated datatype: " + m_name + " = { ");
for (int i = 0; i < m_literals.size(); i++) {
EnumerationLiteral el = m_literals.get(i);
if (i > 0) {
out.append(", ");
}
out.append(el.toString());
}
out.append(" }\r\n");
}
@Override
public String toString() {
StringBuffer sb = new StringBuffer();
sb.append("{ ");
for (int i = 0; i < m_literals.size(); i++) {
EnumerationLiteral el = m_literals.get(i);
if (i > 0) {
sb.append(", ");
}
sb.append(el.toString());
}
sb.append(" }");
return super.toString();
}
