Method doState12

src/main/java/gate/sgml/Sgml2Xml.java:415–426

Here we read the element's name ...this is an end tag Stays here while reads a char

(char currChar)

    * Stays here while reads a char
    */
  private void doState12(char currChar) {
    if ('>' == currChar){
      elemNameEnd = m_cursor - 1;
      elemName = m_modifier.substring(elemNameStart,elemNameEnd);
      performActionWithEndElem(elemName);
      m_currState = 1;
    }
    if (isWhiteSpace(currChar)){
      m_currState = 13;
      elemNameEnd = m_cursor - 1;
    }
  }//doState12

  /**
    * If '>' -> state 1