/*
* (non-Javadoc)
*
* @see java.lang.Object#toString()
*/
@Override
public String toString() {
StringBuilder str = new StringBuilder();
str.append(id).append(": ");
String typeOut =
type.replaceAll("\\(", Matcher.quoteReplacement("\\("))
.replaceAll("\\)", Matcher.quoteReplacement("\\)"));
str.append(typeOut).append("(");
for (int i = 0; i < members.length; i++) {
if (i > 0) str.append(", ");
str.append(members[i]);
}
str.append(")");
if (features != null) {
str.append("#").append(features.toString());
}
if (userData != null) {
str.append("#").append(userData.toString());
}
return str.toString();
}
