/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
extern cstring fileLib_addExtension (cstring p_s, cstring p_suffix);
extern cstring fileLib_withoutExtension (cstring p_s, cstring p_suffix) /*@*/ ;
-# ifndef NOLCL
extern cstring fileLib_removePath (cstring p_s) /*@*/ ;
-# endif
-
extern cstring fileLib_removePathFree (/*@only@*/ cstring p_s) /*@*/ ;
extern cstring fileLib_removeAnyExtension (cstring p_s) /*@*/ ;
-extern cstring fileLib_cleanName (cstring p_s) /*@*/ ;
+extern /*@only@*/ cstring fileLib_cleanName (/*@only@*/ cstring p_s) /*@*/ ;
extern bool fileLib_hasExtension (cstring p_s, cstring p_ext) /*@*/ ;
extern /*@observer@*/ cstring