/**
* Parse an element (<code><name ...></code>, <code><name
* .../></code> or <code></name ></code>) declaration.
*/
final public void p_element(Events events) throws ParseException {
ElementStart element = null;
String name = null;
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
case T_ELEMENT_CLOSE:
jj_consume_token(T_ELEMENT_CLOSE);
events.append(new ElementEnd(this, token.image.substring(2)));
jj_consume_token(T_ELEMENT_END);
break;
case T_ELEMENT_OPEN:
jj_consume_token(T_ELEMENT_OPEN);
name = token.image.substring(1);
element = new ElementStart(this, name);
label_2:
while (true) {
switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
case T_ATTRIBUTE:
;