final public void selected_waveforms() throws ParseException {
    waveform();
    jj_consume_token(WHEN);
    choices();
    label_21:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
      case 150:
        ;
        break;
      default:
        jj_la1[84] = jj_gen;
        break label_21;
      }
      jj_consume_token(150);
      waveform();
      jj_consume_token(WHEN);
      choices();
    }
  }