Not Directory ExistsCode template contract predicate to ensure a directory does not exist on a local or networked driveEiffel Softwarenot_dir_existsEiffelcodecontractinvariantpreconditionpostcondition
not_${path}_exists: not (create {DIRECTORY}.make (${path})).exists${end}