/* path.h - Don Yang (uguu.org)

   12/27/05
                                                                           */

#ifndef PATH_H__
#define PATH_H__


/* Canonicalize a path in-place, removing . and .. components.
   Returns path.                                               */
/*@dependent@*/char *CanonicalizePath(/*@dependent@*/char *path);

/* Get relative path from source to target, where both source and
   target are canonicalized paths.  Return newly allocated string if
   successful, abort if out of memory.                               */
/*@only@*/char *RelativePath(/*@observer@*/char *source,
                             /*@observer@*/char *target);


#endif