final public void box() throws ParseException {
        Token t1,t2,t3;
        double[] p1,p2;
        Token consTok=null;
        Token csTok=null;
        Token cs2Tok=null;
        String cs=null,cs2=null,cons=null;
    jj_consume_token(BOX);
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case ID:
      consTok = jj_consume_token(ID);
      break;
    default:
      jj_la1[11] = jj_gen;
      ;
    }
    p1 = triple();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case ID:
      csTok = jj_consume_token(ID);
      break;
    default:
      jj_la1[12] = jj_gen;
      ;
    }
    p2 = triple();
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case ID:
      cs2Tok = jj_consume_token(ID);
      break;
    default:
      jj_la1[13] = jj_gen;
      ;
    }
        if (consTok != null) cons = consTok.toString();
        if (csTok != null) cs=csTok.toString();
        if (cs2Tok != null) cs2=cs2Tok.toString();
        opBox b = new opBox(p1,cs,p2,cs2,cons);
        opcodeArrayList.add(b);
  }