Informal Introduction

This modules implements some functions on strings which allow to check if string is
a valid file name and to access various parts of file path name.

(0) CHARACTERISTICS

-type specified: mystring

-features: , non-parameterized

-foreign types:

(1) SYNTAX

(2) CANONICAL TRACES

canonical(T) T = _

AUXILIARY FUNCTIONS

isempty: <string> <bool>

isempty(s) =

Condition	Value
s = _	true
s _	false

iscorrectstrpath: <string> <bool>

iscorrectstrpath(s) = true

getpathtail: <string> <string>

getpathtail(s) = s

getpathhead: <string> <string>

getpathhead(s) = s

getpathlast: <string> <string>

getpathlast(s) = s

getpathfront: <string> <string>

getpathfront(s) = s

iscorrectfilename: <string> <bool>

iscorrectfilename(s) = true

(3) SEMANTICS