io7m
io7m-jvvfs
4.0.1
3.1. Overview
3. Semantics
3.3. Virtual paths
Previous
Up
Next
3.2
Names
3.2.1
Semantics
1
Each object in the
jvvfs
filesystem has exactly one name.
3.2.1.1. Name type
Axiom name : Set. Axiom name_valid : name -> Prop.
3.2.2
Syntax
1
Names
of filesystem objects in
jvvfs
are specifically not allowed to contain:
3.2.2.1. Name restrictions
Forward slashes
(['/'], ASCII [0x2f])
, as this is used as a path separator on UNIX and in
jvvfs
virtual paths.
Backslashes
(['\'], ASCII [0x5c])
, as this is used as a path separator on Microsoft Windows.
A series of two or more dots
(['.'], ASCII [0x2e])
, as this is a reserved name on UNIX-like platforms.
Colons
([':'], ASCII [0x3a])
, as these are used to identify "drives" on some operating systems.
Null
(ASCII [0x0])
, as almost no operating systems permit these in file names.
2
Empty strings are also not considered to be valid names.
Previous
Up
Next
3.1. Overview
3. Semantics
3.3. Virtual paths