final public void Or_operator() throws ParseException {
                    /*@bgen(jjtree) Or_operator */
  SimpleNode jjtn000 = new SimpleNode(JJTOR_OPERATOR);
  boolean jjtc000 = true;
  jjtree.openNodeScope(jjtn000);
  jjtn000.jjtSetFirstToken(getToken(1));
    try {
      if (jj_2_71(3)) {
        jj_consume_token(OR);
      } else if (jj_2_72(3)) {
        jj_consume_token(VERTICALVERTICAL);
      } else {
        jj_consume_token(-1);
        throw new ParseException();
      }
    } finally {
    if (jjtc000) {
      jjtree.closeNodeScope(jjtn000, true);
      jjtn000.jjtSetLastToken(getToken(0));
    }
    }
  }