protected void Pattern() throws javax.xml.transform.TransformerException {
  while (true) {
    LocationPathPattern();
    if (tokenIs('|')) {
      nextToken();
    }
 else {
      break;
    }
  }
}

protected void Pattern ( ) throws javax . xml . transform . TransformerException { while ( true ) { LocationPathPattern ( ) ; if ( tokenIs ( '|' ) ) { nextToken ( ) ; } else { break ; } } }
pattern : : = locationpathpattern | pattern ' | ' locationpathpattern
