Skip to content

Commit f39be10

Browse files
jensmaurerzygoloid
authored andcommitted
[filesystems] 'dot' and 'dot-dot' are not \grammarterms
1 parent 2ce8d32 commit f39be10

File tree

1 file changed

+17
-17
lines changed

1 file changed

+17
-17
lines changed

source/iostreams.tex

Lines changed: 17 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -10543,8 +10543,8 @@
1054310543
other files, possibly including other directory files.
1054410544
The \defn{parent directory} of a directory is
1054510545
the directory that both contains a
10546-
directory entry for the given directory and is represented by the filename
10547-
\grammarterm{dot-dot} in the given directory.
10546+
directory entry for the given directory and is represented by the dot-dot
10547+
filename\iref{fs.path.generic} in the given directory.
1054810548
The \defn{parent directory}
1054910549
of other types of files is a directory containing a directory
1055010550
entry for the file under discussion.
@@ -11231,7 +11231,7 @@
1123111231

1123211232
\pnum
1123311233
A \defn{filename} is
11234-
the name of a file. Filenames \grammarterm{dot} and \grammarterm{dot-dot},
11234+
the name of a file. The \defnx{dot}{dot!filename} and \defnx{dot-dot}{dot-dot!filename} filenames,
1123511235
consisting solely of one and two period characters respectively,
1123611236
have special meaning.
1123711237
The following characteristics of filenames are operating system dependent:
@@ -11259,10 +11259,10 @@
1125911259
be the same as one \grammarterm{directory-separator} character.
1126011260

1126111261
\pnum
11262-
The filename \grammarterm{dot} is treated as a reference to the current directory.
11263-
The filename \grammarterm{dot-dot} is treated as a reference to the parent directory.
11264-
What the filename \grammarterm{dot-dot} refers to
11265-
relative to \grammarterm{root-directory} is \impldef{meaning of \grammarterm{dot-dot} in \grammarterm{root-directory}}.
11262+
The dot filename is treated as a reference to the current directory.
11263+
The dot-dot filename is treated as a reference to the parent directory.
11264+
What the dot-dot filename refers to
11265+
relative to \grammarterm{root-directory} is \impldef{meaning of dot-dot in \grammarterm{root-directory}}.
1126611266
Specific filenames may have special meanings for a particular operating system.
1126711267

1126811268
\pnum
@@ -11300,14 +11300,14 @@
1130011300
\begin{note}
1130111301
The generic pathname grammar\iref{fs.path.generic} defines \grammarterm{directory-separator} as one or more slashes and \grammarterm{preferred-separator}{s}.
1130211302
\end{note}
11303-
\item Remove each \grammarterm{dot} filename and any immediately following \grammarterm{directory-separator}.
11304-
\item As long as any appear, remove a non-\grammarterm{dot-dot} filename immediately followed by a \grammarterm{directory-separator} and a \grammarterm{dot-dot} filename, along with any immediately following \grammarterm{directory-separator}.
11305-
\item If there is a \grammarterm{root-directory}, remove all \grammarterm{dot-dot} filenames and any \grammarterm{directory-separator}{s} immediately following them.
11303+
\item Remove each dot filename and any immediately following \grammarterm{directory-separator}.
11304+
\item As long as any appear, remove a non-dot-dot filename immediately followed by a \grammarterm{directory-separator} and a dot-dot filename, along with any immediately following \grammarterm{directory-separator}.
11305+
\item If there is a \grammarterm{root-directory}, remove all dot-dot filenames and any \grammarterm{directory-separator}{s} immediately following them.
1130611306
\begin{note}
11307-
These \grammarterm{dot-dot} filenames attempt to refer to nonexistent parent directories.
11307+
These dot-dot filenames attempt to refer to nonexistent parent directories.
1130811308
\end{note}
11309-
\item If the last filename is \grammarterm{dot-dot}, remove any trailing \grammarterm{directory-separator}.
11310-
\item If the path is empty, add a \grammarterm{dot}.
11309+
\item If the last filename is dot-dot, remove any trailing \grammarterm{directory-separator}.
11310+
\item If the path is empty, add a dot.
1131111311
\end{enumerate}
1131211312

1131311313
The result of normalization is a path in \defnx{normal form}{normal form!path},
@@ -12462,7 +12462,7 @@
1246212462
\begin{itemize}
1246312463
\item if \tcode{a == end()} and \tcode{b == base.end()}, returns \tcode{path(".")}; otherwise
1246412464
\item let \tcode{n} be the number of \grammarterm{filename} elements in \range{b}{base.end()}
12465-
that are not \grammarterm{dot} or \grammarterm{dot-dot} minus the number that are \grammarterm{dot-dot}.
12465+
that are not dot or dot-dot minus the number that are dot-dot.
1246612466
If \tcode{n<0,} returns \tcode{path()}; otherwise
1246712467
\item returns an object of class \tcode{path} that is default-constructed, followed by
1246812468
\begin{itemize}
@@ -13807,8 +13807,8 @@
1380713807
constructed with filename of the directory entry appended as if by \tcode{operator/=}.
1380813808

1380913809
\pnum
13810-
Directory iteration shall not yield directory entries for the current (\grammarterm{dot})
13811-
and parent (\grammarterm{dot-dot}) directories.
13810+
Directory iteration shall not yield directory entries for the current (dot)
13811+
and parent (dot-dot) directories.
1381213812

1381313813
\pnum
1381413814
The order of directory entries obtained by dereferencing successive
@@ -14371,7 +14371,7 @@
1437114371
\begin{itemdescr}
1437214372
\pnum
1437314373
\effects Converts \tcode{p} to an absolute
14374-
path that has no symbolic link, \grammarterm{dot}, or \grammarterm{dot-dot} elements
14374+
path that has no symbolic link, dot, or dot-dot elements
1437514375
in its pathname in the generic format.
1437614376

1437714377
\pnum

0 commit comments

Comments
 (0)