From Jason Turner

[re.alg.match]

Diff to HTML by rtfpessoa

tmp/tmpow00c81k/{from.md → to.md} RENAMED
@@ -6,12 +6,12 @@ template <class BidirectionalIterator, class Allocator, class charT, class trait
6
  match_results<BidirectionalIterator, Allocator>& m,
7
  const basic_regex<charT, traits>& e,
8
  regex_constants::match_flag_type flags = regex_constants::match_default);
9
  ```
10
 
11
- *Requires:* The type `BidirectionalIterator` shall satisfy the
12
- requirements of a Bidirectional Iterator ([[bidirectional.iterators]]).
13
 
14
  *Effects:* Determines whether there is a match between the regular
15
  expression `e`, and all of the character sequence \[`first`, `last`).
16
  The parameter `flags` is used to control how the expression is matched
17
  against the character sequence. When determining if there is a match,
@@ -29,16 +29,16 @@ regex_search("GetValues", m, re); // returns true, and m[0] contains "Get"
29
  regex_match ("GetValues", m, re); // returns false
30
  ```
31
 
32
  — *end example*]
33
 
34
- *Postconditions:* `m.ready() == true` in all cases. If the function
35
- returns `false`, then the effect on parameter `m` is unspecified except
36
- that `m.size()` returns `0` and `m.empty()` returns `true`. Otherwise
37
- the effects on parameter `m` are given in Table  [[tab:re:alg:match]].
38
 
39
- **Table: Effects of `regex_match` algorithm** <a id="tab:re:alg:match">[tab:re:alg:match]</a>
40
 
41
  | Element | Value |
42
  | -------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
43
  | `m.size()` | `1 + e.mark_count()` |
44
  | `m.empty()` | `false` |
 
6
  match_results<BidirectionalIterator, Allocator>& m,
7
  const basic_regex<charT, traits>& e,
8
  regex_constants::match_flag_type flags = regex_constants::match_default);
9
  ```
10
 
11
+ *Preconditions:* `BidirectionalIterator` meets the
12
+ *Cpp17BidirectionalIterator* requirements [[bidirectional.iterators]].
13
 
14
  *Effects:* Determines whether there is a match between the regular
15
  expression `e`, and all of the character sequence \[`first`, `last`).
16
  The parameter `flags` is used to control how the expression is matched
17
  against the character sequence. When determining if there is a match,
 
29
  regex_match ("GetValues", m, re); // returns false
30
  ```
31
 
32
  — *end example*]
33
 
34
+ *Ensures:* `m.ready() == true` in all cases. If the function returns
35
+ `false`, then the effect on parameter `m` is unspecified except that
36
+ `m.size()` returns `0` and `m.empty()` returns `true`. Otherwise the
37
+ effects on parameter `m` are given in [[re.alg.match]].
38
 
39
+ **Table: Effects of `regex_match` algorithm** <a id="re.alg.match">[re.alg.match]</a>
40
 
41
  | Element | Value |
42
  | -------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
43
  | `m.size()` | `1 + e.mark_count()` |
44
  | `m.empty()` | `false` |