Fileset
Fixtype of file sets.
This is a product type introduced by fty::defprod.
Fields
- path-wo-ext — stringp
- dot-h — file-option
- dot-c — file
A file set is a collection of related files.
This is not an explicit notion in [C],
but it is a useful one in a language formalization:
a program, or a portion of a program,
is contained in a set of related files.
This notion is not quite the same as that of C program,
which, according to [C], is a complete executable application:
a library would not qualify as a program in this sense.
For now, a file set consists of one or two files (see file),
namely an optional header and a source file,
which have the same name except for the extension.
(The preceding sentence uses the terminology in [C:5.1.1/1],
which appears to call `headers' the .h files
and `source files' the .c files.)
The idea is that for now we model (portions of) programs
that consist of a single source file,
optionally with its own header that is #included in the source file.
We do not explicitly model the #include directive: it is implicit.
The path-wo-ext component of this fixtype
is the common path of both files without the extension.
The dot-h and dot-c components of this fixtype
are (the contents of) the .h and .c files,
where the first one is optional.
In the future, we may extend this notion of file ste
to be something like
a finite map from file system paths to (contents of) files.
Subtopics
- Fileset-fix
- Fixing function for fileset structures.
- Filesetp
- Recognizer for fileset structures.
- Fileset-equiv
- Basic equivalence relation for fileset structures.
- Make-fileset
- Basic constructor macro for fileset structures.
- Fileset->path-wo-ext
- Get the path-wo-ext field from a fileset.
- Change-fileset
- Modifying constructor for fileset structures.
- Fileset->dot-h
- Get the dot-h field from a fileset.
- Fileset->dot-c
- Get the dot-c field from a fileset.