final public void abstract_literal() throws ParseException {
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case decimal_literal:
      jj_consume_token(decimal_literal);
      break;
    case based_literal:
      jj_consume_token(based_literal);
      break;
    default:
      jj_la1[134] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
  }