in src/java/detectors/missing_file_deletion_result_check/MissingFileDeletionResultCheck.java [25:33]
public void fileDeletionCompliant(File file) {
if (file.exists()) {
log.info("Deleting file: " + file.getName());
// Compliant: result of file deletion is checked.
if (!file.delete()) {
throw new RuntimeException("Failed to delete the file!");
}
}
}