StdPathname.dcl 518 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1 2 3 4 5 6 7 8
definition module StdPathname

::	Pathname			:== String

EmptyPathname	:== ""

RemovePath			:: !Pathname -> String
RemoveSuffix		:: !Pathname -> String
9
RemoveSuffix`		:: !Pathname -> String
Diederik van Arkel's avatar
Diederik van Arkel committed
10
RemoveFilename		:: !Pathname -> Pathname
11
replace_prefix_path	:: !Pathname !Pathname !Pathname -> Pathname
Diederik van Arkel's avatar
Diederik van Arkel committed
12 13 14 15
equal_suffix		:: !String !String -> Bool
IsFullPathname		:: !Pathname -> Bool
MakeFullPathname	:: !Pathname !String -> Pathname

16 17
replace_dots_by_dir_separators :: !{#Char} -> *{#Char};

18
quoted_string		:: !String -> String