final public void atomInv() throws ParseException {
                /*@bgen(jjtree) atomInv */
                SimpleNode jjtn000 = new SimpleNode(JJTATOMINV);
                boolean jjtc000 = true;
                jjtree.openNodeScope(jjtn000);Token value;
    try {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case VAR:
      case VAR_LOCAL:
         jjtn000.operators = new Vector<Integer>();
        switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
        case VAR:
          value = jj_consume_token(VAR);
                            jjtn000.numVar =value.toString();
          break;
        case VAR_LOCAL:
          value = jj_consume_token(VAR_LOCAL);
          jjtn000.numVar =value.toString();
          jjtn000.localVar=true;
          break;
        default:
          jj_la1[5] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
        switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
        case EQUAL:
          jj_consume_token(EQUAL);
                  jjtn000.operators.add(constants.EQUAL);
          break;
        case NOTEQUAL:
          jj_consume_token(NOTEQUAL);
                                                                      jjtn000.operators.add(constants.NOTEQUAL);
          break;
        default:
          jj_la1[6] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
        switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
        case PAR_SETO:
          Set();
          break;
        case REC_BRAC_O:
        case REC_BRAC_C:
          Range();
          break;
        default:
          jj_la1[7] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
        break;
      case PAR_OPEN:
        jj_consume_token(PAR_OPEN);
        OrExpr();
        jj_consume_token(PAR_CLOSE);
        break;
      default:
        jj_la1[8] = 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);
          }
    }
  }