tmp/tmpp0sn9rko/{from.md → to.md}
RENAMED
|
@@ -1,9 +1,9 @@
|
|
| 1 |
## Class `regex_error` <a id="re.badexp">[[re.badexp]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
-
class regex_error : public
|
| 5 |
public:
|
| 6 |
explicit regex_error(regex_constants::error_type ecode);
|
| 7 |
regex_constants::error_type code() const;
|
| 8 |
};
|
| 9 |
```
|
|
@@ -15,11 +15,11 @@ to report errors from the regular expression library.
|
|
| 15 |
regex_error(regex_constants::error_type ecode);
|
| 16 |
```
|
| 17 |
|
| 18 |
*Effects:* Constructs an object of class `regex_error`.
|
| 19 |
|
| 20 |
-
: `ecode == code()`
|
| 21 |
|
| 22 |
``` cpp
|
| 23 |
regex_constants::error_type code() const;
|
| 24 |
```
|
| 25 |
|
|
|
|
| 1 |
## Class `regex_error` <a id="re.badexp">[[re.badexp]]</a>
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
+
class regex_error : public runtime_error {
|
| 5 |
public:
|
| 6 |
explicit regex_error(regex_constants::error_type ecode);
|
| 7 |
regex_constants::error_type code() const;
|
| 8 |
};
|
| 9 |
```
|
|
|
|
| 15 |
regex_error(regex_constants::error_type ecode);
|
| 16 |
```
|
| 17 |
|
| 18 |
*Effects:* Constructs an object of class `regex_error`.
|
| 19 |
|
| 20 |
+
*Postconditions:* `ecode == code()`.
|
| 21 |
|
| 22 |
``` cpp
|
| 23 |
regex_constants::error_type code() const;
|
| 24 |
```
|
| 25 |
|