René's URL Explorer Experiment


Title: [basic.contract]

direct link

Domain: timsong-cpp.github.io

Links:

[basic]https://timsong-cpp.github.io/cppwp/#basic
[basic.contract.general]https://timsong-cpp.github.io/cppwp/basic.contract#general
[basic.contract.eval]https://timsong-cpp.github.io/cppwp/basic.contract#eval
[basic.contract.handler]https://timsong-cpp.github.io/cppwp/basic.contract#handler
6.11.1https://timsong-cpp.github.io/cppwp/basic.contract#general
[basic.contract.general]https://timsong-cpp.github.io/cppwp/basic.contract.general
1https://timsong-cpp.github.io/cppwp/basic.contract#general-1
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7768
Contract assertionshttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_assertion
.https://timsong-cpp.github.io/cppwp/basic.contract#general-1.sentence-1
precondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:precondition-specifier
postcondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:postcondition-specifier
[dcl.contract.func]https://timsong-cpp.github.io/cppwp/dcl.contract.func
assertion-statementhttps://timsong-cpp.github.io/cppwp/stmt.contract.assert#nt:assertion-statement
[stmt.contract.assert]https://timsong-cpp.github.io/cppwp/stmt.contract.assert
.https://timsong-cpp.github.io/cppwp/basic.contract#general-1.sentence-2
2https://timsong-cpp.github.io/cppwp/basic.contract#general-2
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7779
contract-assertion predicatehttps://timsong-cpp.github.io/cppwp/basic.contract#def:predicate,contract-assertion
.https://timsong-cpp.github.io/cppwp/basic.contract#general-2.sentence-1
1https://timsong-cpp.github.io/cppwp/basic.contract#general-note-1
.https://timsong-cpp.github.io/cppwp/basic.contract#general-2.sentence-2
3https://timsong-cpp.github.io/cppwp/basic.contract#general-3
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7788
[cstdarg.syn]https://timsong-cpp.github.io/cppwp/cstdarg.syn
.https://timsong-cpp.github.io/cppwp/basic.contract#general-3.sentence-1
4https://timsong-cpp.github.io/cppwp/basic.contract#general-4
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7794
2https://timsong-cpp.github.io/cppwp/basic.contract#general-note-2
id-expressionhttps://timsong-cpp.github.io/cppwp/expr.prim.id.general#nt:id-expression
[expr.prim.id.unqual]https://timsong-cpp.github.io/cppwp/expr.prim.id.unqual
[expr.prim.this]https://timsong-cpp.github.io/cppwp/expr.prim.this
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract.res#nt:result-name-introducer
[dcl.contract.res]https://timsong-cpp.github.io/cppwp/dcl.contract.res
.https://timsong-cpp.github.io/cppwp/basic.contract#general-4.sentence-1
6.11.2https://timsong-cpp.github.io/cppwp/basic.contract#eval
[basic.contract.eval]https://timsong-cpp.github.io/cppwp/basic.contract.eval
1https://timsong-cpp.github.io/cppwp/basic.contract#eval-1
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7807
evaluation semanticshttps://timsong-cpp.github.io/cppwp/basic.contract#def:evaluation_semantics
ignorehttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_evaluation_semantics,ignore
observehttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_evaluation_semantics,observe
enforcehttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_evaluation_semantics,enforce
quick-enforcehttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_evaluation_semantics,quick-enforce
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-1.sentence-1
checking semanticshttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_evaluation_semantics,checking
terminating semanticshttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_evaluation_semantics,terminating
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-1.sentence-2
2https://timsong-cpp.github.io/cppwp/basic.contract#eval-2
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7820
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-2.sentence-1
1https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-1
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-2.sentence-2
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-2.sentence-3
3https://timsong-cpp.github.io/cppwp/basic.contract#eval-3
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7834
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-3.sentence-1
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-3.sentence-2
4https://timsong-cpp.github.io/cppwp/basic.contract#eval-4
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7845
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-4.sentence-1
2https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-2
[basic.def.odr]https://timsong-cpp.github.io/cppwp/basic.def.odr
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-4.sentence-2
5https://timsong-cpp.github.io/cppwp/basic.contract#eval-5
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7852
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-5.sentence-1
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-5.sentence-2
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-5.sentence-3
3https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-3
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-5.sentence-4
1https://timsong-cpp.github.io/cppwp/basic.contract#eval-example-1
6https://timsong-cpp.github.io/cppwp/basic.contract#eval-6
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7881
[intro.abstract]https://timsong-cpp.github.io/cppwp/intro.abstract
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-6.sentence-1
7https://timsong-cpp.github.io/cppwp/basic.contract#eval-7
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7888
contract violationhttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract_violation
(7.1)https://timsong-cpp.github.io/cppwp/basic.contract#eval-7.1
(7.2)https://timsong-cpp.github.io/cppwp/basic.contract#eval-7.2
(7.3)https://timsong-cpp.github.io/cppwp/basic.contract#eval-7.3
[expr.const.defns]https://timsong-cpp.github.io/cppwp/expr.const.defns
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-7.sentence-1
4https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-4
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-7.sentence-2
[csetjmp.syn]https://timsong-cpp.github.io/cppwp/csetjmp.syn
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-7.sentence-3
8https://timsong-cpp.github.io/cppwp/basic.contract#eval-8
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7917
[expr.const.defns]https://timsong-cpp.github.io/cppwp/expr.const.defns
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-8.sentence-1
5https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-5
[intro.compliance]https://timsong-cpp.github.io/cppwp/intro.compliance
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-8.sentence-2
6https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-6
[basic.def.odr]https://timsong-cpp.github.io/cppwp/basic.def.odr
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-8.sentence-3
2https://timsong-cpp.github.io/cppwp/basic.contract#eval-example-2
9https://timsong-cpp.github.io/cppwp/basic.contract#eval-9
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7953
contract-terminatedhttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract-terminated
(9.1)https://timsong-cpp.github.io/cppwp/basic.contract#eval-9.1
(9.2)https://timsong-cpp.github.io/cppwp/basic.contract#eval-9.2
(9.3)https://timsong-cpp.github.io/cppwp/basic.contract#eval-9.3
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-9.sentence-1
7https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-7
[intro.progress]https://timsong-cpp.github.io/cppwp/intro.progress
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-9.3.sentence-2
8https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-8
[intro.abstract]https://timsong-cpp.github.io/cppwp/intro.abstract
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-9.sentence-2
10https://timsong-cpp.github.io/cppwp/basic.contract#eval-10
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7979
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-10.sentence-1
11https://timsong-cpp.github.io/cppwp/basic.contract#eval-11
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L7987
[basic.contract.handler]https://timsong-cpp.github.io/cppwp/basic.contract#handler
[support.contract.violation]https://timsong-cpp.github.io/cppwp/support.contract.violation
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-11.sentence-1
[basic.stc.dynamic.allocation]https://timsong-cpp.github.io/cppwp/basic.stc.dynamic.allocation
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-11.sentence-2
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-11.sentence-3
12https://timsong-cpp.github.io/cppwp/basic.contract#eval-12
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8007
[except.handle]https://timsong-cpp.github.io/cppwp/except.handle
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-12.sentence-1
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-12.sentence-2
9https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-9
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-12.sentence-3
13https://timsong-cpp.github.io/cppwp/basic.contract#eval-13
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8024
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-13.sentence-1
14https://timsong-cpp.github.io/cppwp/basic.contract#eval-14
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8036
10https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-10
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-14.sentence-1
15https://timsong-cpp.github.io/cppwp/basic.contract#eval-15
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8046
[intro.abstract]https://timsong-cpp.github.io/cppwp/intro.abstract
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-15.sentence-1
16https://timsong-cpp.github.io/cppwp/basic.contract#eval-16
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8053
11https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-11
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-16.sentence-1
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-16.sentence-2
17https://timsong-cpp.github.io/cppwp/basic.contract#eval-17
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8074
[dcl.contract.func]https://timsong-cpp.github.io/cppwp/dcl.contract.func
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-17.sentence-1
12https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-12
function-try-blockhttps://timsong-cpp.github.io/cppwp/except.pre#nt:function-try-block
[except.pre]https://timsong-cpp.github.io/cppwp/except.pre
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-17.sentence-2
[except.terminate]https://timsong-cpp.github.io/cppwp/except.terminate
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-17.sentence-3
13https://timsong-cpp.github.io/cppwp/basic.contract#eval-note-13
assertion-statementhttps://timsong-cpp.github.io/cppwp/stmt.contract.assert#nt:assertion-statement
[stmt.contract.assert]https://timsong-cpp.github.io/cppwp/stmt.contract.assert
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-17.sentence-4
18https://timsong-cpp.github.io/cppwp/basic.contract#eval-18
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8098
evaluate in sequencehttps://timsong-cpp.github.io/cppwp/basic.contract#def:evaluate_in_sequence
(18.1)https://timsong-cpp.github.io/cppwp/basic.contract#eval-18.1
(18.1.1)https://timsong-cpp.github.io/cppwp/basic.contract#eval-18.1.1
(18.1.2)https://timsong-cpp.github.io/cppwp/basic.contract#eval-18.1.2
(18.1.3)https://timsong-cpp.github.io/cppwp/basic.contract#eval-18.1.3
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-18.1.sentence-1
(18.2)https://timsong-cpp.github.io/cppwp/basic.contract#eval-18.2
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-18.2.sentence-1
3https://timsong-cpp.github.io/cppwp/basic.contract#eval-example-3
19https://timsong-cpp.github.io/cppwp/basic.contract#eval-19
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8146
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-19.sentence-1
.https://timsong-cpp.github.io/cppwp/basic.contract#eval-19.sentence-2
6.11.3https://timsong-cpp.github.io/cppwp/basic.contract#handler
[basic.contract.handler]https://timsong-cpp.github.io/cppwp/basic.contract.handler
1https://timsong-cpp.github.io/cppwp/basic.contract#handler-1
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8157
contract-violation handlerhttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract-violation_handler
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-1.sentence-1
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-1.sentence-2
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-1.sentence-3
default contract-violation handlerhttps://timsong-cpp.github.io/cppwp/basic.contract#def:contract-violation_handler,default
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-1.sentence-4
1https://timsong-cpp.github.io/cppwp/basic.contract#handler-note-1
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-1.sentence-5
2https://timsong-cpp.github.io/cppwp/basic.contract#handler-2
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8180
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-2.sentence-1
3https://timsong-cpp.github.io/cppwp/basic.contract#handler-3
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/basic.tex#L8190
[dcl.fct.def.replace]https://timsong-cpp.github.io/cppwp/dcl.fct.def.replace#term.replaceable.function
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-3.sentence-1
.https://timsong-cpp.github.io/cppwp/basic.contract#handler-3.sentence-2
URLs of crawlers that visited me.