docs: private void parseEnumeration(boolean isNames) throws Exception {
          dataBufferAppend('(');
  
          // Read the first token.
          skipWhitespace();
          dataBufferAppend(readNmtoken(isNames));
          // Read the remaining tokens.
          skipWhitespace();
          while (!tryRead(')')) {
              require('|');
              dataBufferAppend('|');
              skipWhitespace();
              dataBufferAppend(readNmtoken(isNames));
              skipWhitespace();
          }
          dataBufferAppend(')');
      }