Vector<String> parseIdentifierList(boolean lower) throws IOException {
  Vector<String> elems=new Vector<>();
  skipSpace();
switch (ch) {
case '(':
    ch=in.read();
  skipParameterSpace();
while (parseNameToken(lower)) {
  elems.addElement(getString(0));
  skipParameterSpace();
  if (ch == '|') {
    ch=in.read();
    skipParameterSpace();
  }
}
expect(')');
skipParameterSpace();
break;
default :
if (!parseIdentifier(lower)) {
error("expected","identifier");
break;
}
elems.addElement(getString(0));
skipParameterSpace();
break;
}
return elems;
}

Vector < String > parseIdentifierList ( boolean lower ) throws IOException { Vector < String > elems = new Vector < > ( ) ; skipSpace ( ) ; switch ( ch ) { case '(' : ch = in . read ( ) ; skipParameterSpace ( ) ; while ( parseNameToken ( lower ) ) { elems . addElement ( getString ( 0 ) ) ; skipParameterSpace ( ) ; if ( ch == '|' ) { ch = in . read ( ) ; skipParameterSpace ( ) ; } } expect ( ')' ) ; skipParameterSpace ( ) ; break ; default : if ( ! parseIdentifier ( lower ) ) { error ( "expected" , "identifier" ) ; break ; } elems . addElement ( getString ( 0 ) ) ; skipParameterSpace ( ) ; break ; } return elems ; }
parse a list of identifiers .
