Not File ExistsCode template contract predicate to ensure a file does not exist on a local or networked driveEiffel Softwarenot_file_existsEiffelcodecontractinvariantpreconditionpostcondition
not_${file}_exists: not (create {RAW_FILE}.make (${file})).exists${end}