|
1567 | 1567 | \returns
|
1568 | 1568 | \begin{codeblock}
|
1569 | 1569 | lhs.category() < rhs.category() ||
|
1570 |
| -(lhs.category() == rhs.category() && lhs.value() < rhs.value()); |
| 1570 | +(lhs.category() == rhs.category() && lhs.value() < rhs.value()) |
1571 | 1571 | \end{codeblock}
|
1572 | 1572 | \end{itemdescr}
|
1573 | 1573 |
|
|
1578 | 1578 |
|
1579 | 1579 | \begin{itemdescr}
|
1580 | 1580 | \pnum
|
1581 |
| -\returns \tcode{lhs.category() < rhs.category() || lhs.category() == rhs.category() \&\&\\ |
1582 |
| -lhs.value() < rhs.value()}. |
| 1581 | +\returns |
| 1582 | +\begin{codeblock} |
| 1583 | +lhs.category() < rhs.category() || |
| 1584 | +(lhs.category() == rhs.category() && lhs.value() < rhs.value()) |
| 1585 | +\end{codeblock} |
1583 | 1586 | \end{itemdescr}
|
1584 | 1587 |
|
1585 | 1588 | \indexlibrarymember{operator==}{error_code}%
|
|
1589 | 1592 |
|
1590 | 1593 | \begin{itemdescr}
|
1591 | 1594 | \pnum
|
1592 |
| -\returns \tcode{lhs.category() == rhs.category() \&\& lhs.value() == rhs.value()}. |
| 1595 | +\returns |
| 1596 | +\begin{codeblock} |
| 1597 | +lhs.category() == rhs.category() && lhs.value() == rhs.value() |
| 1598 | +\end{codeblock} |
1593 | 1599 | \end{itemdescr}
|
1594 | 1600 |
|
1595 | 1601 | \indexlibrarymember{operator==}{error_condition}%
|
|
1600 | 1606 |
|
1601 | 1607 | \begin{itemdescr}
|
1602 | 1608 | \pnum
|
1603 |
| -\returns \tcode{lhs.category().equivalent(lhs.value(), rhs) || rhs.category().equivalent(lhs, |
1604 |
| -rhs.value())}. |
| 1609 | +\returns |
| 1610 | +\begin{codeblock} |
| 1611 | +lhs.category().equivalent(lhs.value(), rhs) || rhs.category().equivalent(lhs, rhs.value()) |
| 1612 | +\end{codeblock} |
1605 | 1613 | \end{itemdescr}
|
1606 | 1614 |
|
1607 | 1615 | \indexlibrarymember{operator==}{error_condition}%
|
|
1612 | 1620 |
|
1613 | 1621 | \begin{itemdescr}
|
1614 | 1622 | \pnum
|
1615 |
| -\returns \tcode{rhs.category().equivalent(rhs.value(), lhs) || lhs.category().equivalent(rhs, lhs.value())}. |
| 1623 | +\returns |
| 1624 | +\begin{codeblock} |
| 1625 | +rhs.category().equivalent(rhs.value(), lhs) || lhs.category().equivalent(rhs, lhs.value()) |
| 1626 | +\end{codeblock} |
1616 | 1627 | \end{itemdescr}
|
1617 | 1628 |
|
1618 | 1629 | \indexlibrarymember{operator==}{error_condition}%
|
|
1622 | 1633 |
|
1623 | 1634 | \begin{itemdescr}
|
1624 | 1635 | \pnum
|
1625 |
| -\returns \tcode{lhs.category() == rhs.category() \&\& lhs.value() == rhs.value()}. |
| 1636 | +\returns |
| 1637 | +\begin{codeblock} |
| 1638 | +lhs.category() == rhs.category() && lhs.value() == rhs.value() |
| 1639 | +\end{codeblock} |
1626 | 1640 | \end{itemdescr}
|
1627 | 1641 |
|
1628 | 1642 | \indexlibrarymember{operator"!=}{error_code}%
|
|
1696 | 1710 | \effects Constructs an object of class \tcode{system_error}.
|
1697 | 1711 |
|
1698 | 1712 | \pnum
|
1699 |
| -\postconditions \tcode{code() == ec}. |
1700 |
| - |
| 1713 | +\postconditions \tcode{code() == ec} and |
1701 | 1714 | \tcode{string(what()).find(what_arg) != string::npos}.
|
1702 | 1715 | \end{itemdescr}
|
1703 | 1716 |
|
|
1711 | 1724 | \effects Constructs an object of class \tcode{system_error}.
|
1712 | 1725 |
|
1713 | 1726 | \pnum
|
1714 |
| -\postconditions \tcode{code() == ec}. |
1715 |
| - |
| 1727 | +\postconditions \tcode{code() == ec} and |
1716 | 1728 | \tcode{string(what()).find(what_arg) != string::npos}.
|
1717 | 1729 | \end{itemdescr}
|
1718 | 1730 |
|
|
1739 | 1751 | \effects Constructs an object of class \tcode{system_error}.
|
1740 | 1752 |
|
1741 | 1753 | \pnum
|
1742 |
| -\postconditions \tcode{code() == error_code(ev, ecat)}. |
1743 |
| - |
| 1754 | +\postconditions \raggedright \tcode{code() == error_code(ev, ecat)} and\linebreak |
1744 | 1755 | \tcode{string(what()).find(what_arg) != string::npos}.
|
1745 | 1756 | \end{itemdescr}
|
1746 | 1757 |
|
|
1754 | 1765 | \effects Constructs an object of class \tcode{system_error}.
|
1755 | 1766 |
|
1756 | 1767 | \pnum
|
1757 |
| -\postconditions \tcode{code() == error_code(ev, ecat)}. |
1758 |
| - |
| 1768 | +\postconditions \raggedright \tcode{code() == error_code(ev, ecat)} and\linebreak |
1759 | 1769 | \tcode{string(what()).find(what_arg) != string::npos}.
|
1760 | 1770 | \end{itemdescr}
|
1761 | 1771 |
|
|
0 commit comments