Skip to content

Commit 83e8a26

Browse files
committed
[fpos.operations] clarify meaning of assertions/postconditions in table
1 parent 3bf9033 commit 83e8a26

File tree

1 file changed

+9
-7
lines changed

1 file changed

+9
-7
lines changed

source/iostreams.tex

Lines changed: 9 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1750,7 +1750,7 @@
17501750
\tcode{O(p)} &
17511751
\tcode{streamoff} &
17521752
converts to \tcode{offset} &
1753-
\tcode{P(O(p)) == p} \\ \rowsep
1753+
\tcode{P(O(p)) == p} is \keyword{true} \\ \rowsep
17541754
\tcode{p == q} &
17551755
\tcode{bool} &
17561756
&
@@ -1769,29 +1769,31 @@
17691769
\tcode{p + o} &
17701770
\tcode{P} &
17711771
\tcode{+} offset &
1772-
\remarks With \tcode{ql = p + o;}, then: \tcode{ql - o == p} \\ \rowsep
1772+
\remarks With \tcode{ql = p + o;}, then:
1773+
\tcode{ql - o == p} is \keyword{true} \\ \rowsep
17731774
\tcode{pl += o} &
17741775
\tcode{P\&} &
17751776
\tcode{+=} offset &
17761777
\remarks With \tcode{ql = pl;} before the \tcode{+=}, then:
1777-
\tcode{pl - o == ql} \\ \rowsep
1778+
\tcode{pl - o == ql} is \keyword{true} \\ \rowsep
17781779
\tcode{p - o} &
17791780
\tcode{P} &
17801781
\tcode{-} offset &
1781-
\remarks With \tcode{ql = p - o;}, then: \tcode{ql + o == p} \\ \rowsep
1782+
\remarks With \tcode{ql = p - o;}, then:
1783+
\tcode{ql + o == p} is \keyword{true} \\ \rowsep
17821784
\tcode{pl -= o} &
17831785
\tcode{P\&} &
17841786
\tcode{-=} offset &
17851787
\remarks With \tcode{ql = pl;} before the \tcode{-=}, then:
1786-
\tcode{pl + o == ql} \\ \rowsep
1788+
\tcode{pl + o == ql} is \keyword{true} \\ \rowsep
17871789
\tcode{o + p} &
17881790
convertible to \tcode{P} &
17891791
\tcode{p + o} &
1790-
\tcode{P(o + p) == p + o} \\ \rowsep
1792+
\tcode{P(o + p) == p + o} is \keyword{true} \\ \rowsep
17911793
\tcode{p - q} &
17921794
\tcode{streamoff} &
17931795
distance &
1794-
\tcode{p == q + (p - q)} \\
1796+
\tcode{p == q + (p - q)} is \keyword{true} \\
17951797
\end{libreqtab4c}
17961798

17971799
\pnum

0 commit comments

Comments
 (0)