Review

1

/home/eko/MUBench/MUBench/mubench.pipeline/../checkouts/jmrtd/51/original-src/sos/smartcards/Apdu.java

Apdu(byte, byte, byte, byte, int, byte[], int)

class Apdu {
   public Apdu(byte cla, byte ins, byte p1, byte p2, int lc, byte[] data, int le) {
      if (data == null || lc == 0) {
         commandApduBuffer = new byte[4 + ((le < 0) ? 0 : 1)];
      } else {
         /*@ assert lc > 0; */
         commandApduBuffer = new byte[4 + 1 + lc + ((le < 0) ? 0 : 1)];
         
         commandApduBuffer[OFFSET_LC] = (byte)lc;
         System.arraycopy(data, 0, commandApduBuffer, OFFSET_CDATA, lc);
      }
      commandApduBuffer[OFFSET_CLA] = cla;
      commandApduBuffer[OFFSET_INS] = ins;
      commandApduBuffer[OFFSET_P1] = p1;
      commandApduBuffer[OFFSET_P2] = p2;
      if (le >= 0) {
         commandApduBuffer[commandApduBuffer.length - 1] = (byte)le;
      }
      responseApduBuffer = null;
   }

}