public void fileDeletionCompliant()

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!");
            }
        }
    }