final public void Range() throws ParseException {
              /*@bgen(jjtree) Range */
  SimpleNode jjtn000 = new SimpleNode(JJTRANGE);
  boolean jjtc000 = true;
  jjtree.openNodeScope(jjtn000);
    try {
         jjtn000.operators = new Vector<Integer>();
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case REC_BRAC_O:
        jj_consume_token(REC_BRAC_O);
                        jjtn000.operators.add(constants.REC_BRAC_O);
        break;
      case REC_BRAC_C:
        jj_consume_token(REC_BRAC_C);
                                                                                    jjtn000.operators.add(constants.REC_BRAC_C);
        break;
      default:
        jj_la1[9] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
      Aritm();
      jj_consume_token(COMMA);
      Aritm();
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case REC_BRAC_O:
        jj_consume_token(REC_BRAC_O);
                                                                                                                                                                     jjtree.closeNodeScope(jjtn000, true);
                                                                                                                                                                     jjtc000 = false;
                                                                                                                                                                    jjtn000.operators.add(constants.REC_BRAC_O);
        break;
      case REC_BRAC_C:
        jj_consume_token(REC_BRAC_C);
                                                                                                                                                                                                                                  jjtree.closeNodeScope(jjtn000, true);
                                                                                                                                                                                                                                  jjtc000 = false;
                                                                                                                                                                                                                                 jjtn000.operators.add(constants.REC_BRAC_C);
        break;
      default:
        jj_la1[10] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
    } catch (Throwable jjte000) {
          if (jjtc000) {
            jjtree.clearNodeScope(jjtn000);
            jjtc000 = false;
          } else {
            jjtree.popNode();
          }
          if (jjte000 instanceof RuntimeException) {
            {if (true) throw (RuntimeException)jjte000;}
          }
          if (jjte000 instanceof ParseException) {
            {if (true) throw (ParseException)jjte000;}
          }
          {if (true) throw (Error)jjte000;}
    } finally {
          if (jjtc000) {
            jjtree.closeNodeScope(jjtn000, true);
          }
    }
  }