/usr/share/axiom-20170501/src/algebra/FNCAT.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 | )abbrev category FNCAT FileNameCategory
++ Author: Stephen M. Watt
++ Date Created: 1985
++ Date Last Updated: June 20, 1991
++ Description:
++ This category provides an interface to names in the file system.
FileNameCategory() : Category == SIG where
SIG ==> SetCategory with
coerce : String -> %
++ coerce(s) converts a string to a file name
++ according to operating system-dependent conventions.
coerce : % -> String
++ coerce(fn) produces a string for a file name
++ according to operating system-dependent conventions.
filename : (String, String, String) -> %
++ filename(d,n,e) creates a file name with
++ d as its directory, n as its name and e as its extension.
++ This is a portable way to create file names.
++ When d or t is the empty string, a default is used.
directory : % -> String
++ directory(f) returns the directory part of the file name.
name : % -> String
++ name(f) returns the name part of the file name.
extension : % -> String
++ extension(f) returns the type part of the file name.
exists? : % -> Boolean
++ exists?(f) tests if the file exists in the file system.
readable? : % -> Boolean
++ readable?(f) tests if the named file exist and can it be opened
++ for reading.
writable? : % -> Boolean
++ writable?(f) tests if the named file be opened for writing.
++ The named file need not already exist.
new : (String, String, String) -> %
++ new(d,pref,e) constructs the name of a new writable file with
++ d as its directory, pref as a prefix of its name and
++ e as its extension.
++ When d or t is the empty string, a default is used.
++ An error occurs if a new file cannot be written in the given
++ directory.
|