From Jason Turner

[fs.path.modifiers]

Diff to HTML by rtfpessoa

tmp/tmpwh9vwpz7/{from.md → to.md} RENAMED
@@ -1,12 +1,12 @@
1
- ##### `path` modifiers <a id="fs.path.modifiers">[[fs.path.modifiers]]</a>
2
 
3
  ``` cpp
4
  void clear() noexcept;
5
  ```
6
 
7
- *Postconditions:* `empty() == true`.
8
 
9
  ``` cpp
10
  path& make_preferred();
11
  ```
12
 
@@ -44,15 +44,15 @@ output is:
44
 
45
  ``` cpp
46
  path& remove_filename();
47
  ```
48
 
49
- *Postconditions:* `!has_filename()`.
50
-
51
  *Effects:* Remove the generic format pathname of `filename()` from the
52
  generic format pathname.
53
 
 
 
54
  *Returns:* `*this`.
55
 
56
  [*Example 4*:
57
 
58
  ``` cpp
@@ -90,12 +90,12 @@ path("/").replace_filename("bar"); // yields "/bar" on POSIX
90
  path& replace_extension(const path& replacement = path());
91
  ```
92
 
93
  *Effects:*
94
 
95
- - Any existing `extension()(` [[fs.path.decompose]]`)` is removed from
96
- the pathname in the generic format, then
97
  - If `replacement` is not empty and does not begin with a dot character,
98
  a dot character is appended to the pathname in the generic format,
99
  then
100
  - `operator+=(replacement);`.
101
 
 
1
+ ##### Modifiers <a id="fs.path.modifiers">[[fs.path.modifiers]]</a>
2
 
3
  ``` cpp
4
  void clear() noexcept;
5
  ```
6
 
7
+ *Ensures:* `empty() == true`.
8
 
9
  ``` cpp
10
  path& make_preferred();
11
  ```
12
 
 
44
 
45
  ``` cpp
46
  path& remove_filename();
47
  ```
48
 
 
 
49
  *Effects:* Remove the generic format pathname of `filename()` from the
50
  generic format pathname.
51
 
52
+ *Ensures:* `!has_filename()`.
53
+
54
  *Returns:* `*this`.
55
 
56
  [*Example 4*:
57
 
58
  ``` cpp
 
90
  path& replace_extension(const path& replacement = path());
91
  ```
92
 
93
  *Effects:*
94
 
95
+ - Any existing `extension()` [[fs.path.decompose]] is removed from the
96
+ pathname in the generic format, then
97
  - If `replacement` is not empty and does not begin with a dot character,
98
  a dot character is appended to the pathname in the generic format,
99
  then
100
  - `operator+=(replacement);`.
101