*/
public String toStringWithHiddenTokens() {
StringBuffer buf = new StringBuffer();
if ( hiddenTokens!=null ) {
for (int i = 0; i < hiddenTokens.size(); i++) {
Token hidden = (Token) hiddenTokens.get(i);
buf.append(hidden.getText());
}
}
String nodeText = this.toString();
if ( !nodeText.equals("<EOF>") ) buf.append(nodeText);
return buf.toString();