tmp/tmpmdfrjadr/{from.md → to.md}
RENAMED
|
@@ -1,13 +1,13 @@
|
|
| 1 |
**Table: `NullablePointer` requirements** <a id="nullablepointer">[nullablepointer]</a>
|
| 2 |
|
| 3 |
| | | |
|
| 4 |
-
| -------------- | ---------------------------------- | ------------------------ |
|
| 5 |
-
| `P u(np);`<br> | |
|
| 6 |
| `P u = np;` | | |
|
| 7 |
-
| `P(np)` | |
|
| 8 |
-
| `t = np` | `P&` |
|
| 9 |
| `a != b` | contextually convertible to `bool` | `!(a == b)` |
|
| 10 |
| `a == np` | contextually convertible to `bool` | `a == P()` |
|
| 11 |
| `np == a` | | |
|
| 12 |
| `a != np` | contextually convertible to `bool` | `!(a == np)` |
|
| 13 |
| `np != a` | | |
|
|
|
|
| 1 |
**Table: `NullablePointer` requirements** <a id="nullablepointer">[nullablepointer]</a>
|
| 2 |
|
| 3 |
| | | |
|
| 4 |
+
| -------------- | ---------------------------------- | ---------------------------------- |
|
| 5 |
+
| `P u(np);`<br> | | Postconditions: `u == nullptr` |
|
| 6 |
| `P u = np;` | | |
|
| 7 |
+
| `P(np)` | | Postconditions: `P(np) == nullptr` |
|
| 8 |
+
| `t = np` | `P&` | Postconditions: `t == nullptr` |
|
| 9 |
| `a != b` | contextually convertible to `bool` | `!(a == b)` |
|
| 10 |
| `a == np` | contextually convertible to `bool` | `a == P()` |
|
| 11 |
| `np == a` | | |
|
| 12 |
| `a != np` | contextually convertible to `bool` | `!(a == np)` |
|
| 13 |
| `np != a` | | |
|