/** {@inheritDoc} */ @Override public void branchPassed(int branch, int bytecode_id, double true_distance, double false_distance) { copyOnWrite(); trace.branchPassed(branch, bytecode_id, true_distance, false_distance); }
/** {@inheritDoc} */ @Override public void branchPassed(int branch, int bytecode_id, double true_distance, double false_distance) { copyOnWrite(); trace.branchPassed(branch, bytecode_id, true_distance, false_distance); }