Directory Exists Code template contract predicate to ensure a directory exists on a local or networked drive Eiffel Software dir_exists Eiffel code contract invariant precondition postcondition A string variable containing a path to a directory