@Requires("bytecode != null")
  @Ensures("result != null")
  public byte[] transformWithDebug(byte[] bytecode)
      throws IllegalClassFormatException {
    try {
      return instrumentWithDebug(bytecode);
    } catch (Throwable t) {
      /* If the class file contains errors, ASM will just crash. */
      IllegalClassFormatException e = new IllegalClassFormatException();
      e.initCause(t);
      throw e;
    }
  }
@ Requires ( "bytecode != null" ) @ Ensures ( "result != null" ) public byte [ ] transformWithDebug ( byte [ ] bytecode ) throws IllegalClassFormatException { try { return instrumentWithDebug ( bytecode ) ; } catch ( Throwable t ) { IllegalClassFormatException e = new IllegalClassFormatException ( ) ; e . initCause ( t ) ; throw e ; } }
Instruments the specified class with debug information.