René's URL Explorer Experiment


Title: [basic.contract.general]

direct link

Domain: timsong-cpp.github.io

Links:

[basic]https://timsong-cpp.github.io/cppwp/#basic
[basic.contract]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.general#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.general#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
URLs of crawlers that visited me.