definition module PmPath


import StdFile, StdOverloaded//, StdString
import StdPathname
from UtilStrictLists	import :: List
from PmTypes			import :: Modulename, :: Processor, ::ModuleDirAndName

IsDefPathname :: !Pathname -> Bool;
IsImpPathname :: !Pathname -> Bool;
IsABCPathname :: !Pathname -> Bool;
IsPrjPathname :: !Pathname -> Bool;

MakeDefPathname				:: !String				-> Pathname;
MakeImpPathname				:: !String				-> Pathname;
MakeABCPathname				:: !String				-> Pathname;
MakeObjPathname				:: !Processor !String	-> Pathname;
MakeProjectPathname			:: !String				-> Pathname;
MakeExecPathname			:: !String				-> Pathname;
MakeSystemPathname			:: !Pathname			-> Pathname;
MakeAssemblySystemPathname	:: !Pathname			-> Pathname

ModuleDirAndNameToDefPathname :: !ModuleDirAndName -> Pathname
ModuleDirAndNameToImpPathname :: !ModuleDirAndName -> Pathname
ModuleDirAndNameToABCSystemPathname :: !ModuleDirAndName -> Pathname
ModuleDirAndNameToObjSystemPathname :: !Processor !ModuleDirAndName -> Pathname

GetModuleName :: !Pathname -> Modulename;
determine_dir_and_filename :: !{#Char} !(List {#Char}) -> (!ModuleDirAndName,!{#Char})

/* The name of the system directory */
SystemDir			:== "Clean System Files";

symPath		:: !Pathname !Pathname !Pathname		-> Pathname	// appPath prjPath fulPath -> symPath
fulPath		:: !Pathname !Pathname !Pathname		-> Pathname	// appPath prjPath symPath -> fulPath
symPaths	:: !Pathname !Pathname !(List Pathname)	-> List Pathname
fulPaths	:: !Pathname !Pathname !(List Pathname)	-> List Pathname

convert_path_separators :: !Pathname -> Pathname 
convert_exec_path_separators_and_extension :: !Pathname -> Pathname

symAppPath	:: !Pathname !Pathname			-> Pathname
fulAppPath	:: !Pathname !Pathname			-> Pathname
symAppPaths	:: !Pathname !(List Pathname)	-> List Pathname
fulAppPaths	:: !Pathname !(List Pathname)	-> List Pathname

subdir_and_file_name_of_hmodule_name :: !Int !{#Char} !{#Char} -> (!*{#Char},!{#Char})