return buffer.toString();
}
/**
+ * Debugging purposes
+ */
+ protected void toStringName(StringBuffer buffer) {
+ buffer.append(getElementName());
+ if (this.occurrenceCount > 1) {
+ buffer.append("#"); //$NON-NLS-1$
+ buffer.append(this.occurrenceCount);
+ }
+ }
+ /**
* Debugging purposes
*/
protected void toString(int tab, StringBuffer buffer) {