René's URL Explorer Experiment


Title: [dcl.contract.func]

direct link

Domain: timsong-cpp.github.io

Links:

[dcl]https://timsong-cpp.github.io/cppwp/#dcl
[dcl.contract]https://timsong-cpp.github.io/cppwp/dcl.contract#func
function-contract-specifier-seq:https://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
function-contract-specifier:https://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
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
precondition-specifier:https://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:precondition-specifier
attribute-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.attr.grammar#nt:attribute-specifier-seq
conditional-expressionhttps://timsong-cpp.github.io/cppwp/expr.cond#nt:conditional-expression
postcondition-specifier:https://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:postcondition-specifier
attribute-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.attr.grammar#nt:attribute-specifier-seq
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract.res#nt:result-name-introducer
conditional-expressionhttps://timsong-cpp.github.io/cppwp/expr.cond#nt:conditional-expression
1https://timsong-cpp.github.io/cppwp/dcl.contract.func#1
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4620
function contract assertionhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#def:contract_assertion,function
[basic.contract.general]https://timsong-cpp.github.io/cppwp/basic.contract.general
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#1.sentence-1
precondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:precondition-specifier
precondition assertionhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#def:assertion,precondition
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#1.sentence-2
postcondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:postcondition-specifier
postcondition assertionhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#def:assertion,postcondition
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#1.sentence-3
1https://timsong-cpp.github.io/cppwp/dcl.contract.func#note-1
[expr.throw]https://timsong-cpp.github.io/cppwp/expr.throw
[csetjmp.syn]https://timsong-cpp.github.io/cppwp/csetjmp.syn
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#1.sentence-4
2https://timsong-cpp.github.io/cppwp/dcl.contract.func#2
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4642
[basic.contract.general]https://timsong-cpp.github.io/cppwp/basic.contract.general
conditional-expressionhttps://timsong-cpp.github.io/cppwp/expr.cond#nt:conditional-expression
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#2.sentence-1
3https://timsong-cpp.github.io/cppwp/dcl.contract.func#3
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4648
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
[basic.def]https://timsong-cpp.github.io/cppwp/basic.def
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#3.sentence-1
attribute-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.attr.grammar#nt:attribute-specifier-seq
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#3.sentence-2
2https://timsong-cpp.github.io/cppwp/dcl.contract.func#note-2
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
lambda-declaratorhttps://timsong-cpp.github.io/cppwp/expr.prim.lambda.general#nt:lambda-declarator
[expr.prim.lambda.closure]https://timsong-cpp.github.io/cppwp/expr.prim.lambda.closure
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#3.sentence-3
4https://timsong-cpp.github.io/cppwp/dcl.contract.func#4
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4664
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#4.sentence-1
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#4.sentence-2
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#4.sentence-3
5https://timsong-cpp.github.io/cppwp/dcl.contract.func#5
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4682
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.sentence-1
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
(5.1)https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.1
[basic.def.odr]https://timsong-cpp.github.io/cppwp/basic.def.odr
(5.1.1)https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.1.1
(5.1.2)https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.1.2
(5.1.3)https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.1.3
[dcl.contract.res]https://timsong-cpp.github.io/cppwp/dcl.contract.res
(5.2)https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.2
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract.res#nt:result-name-introducer
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.sentence-2
lambda-expressionhttps://timsong-cpp.github.io/cppwp/expr.prim.lambda.general#nt:lambda-expression
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.sentence-3
3https://timsong-cpp.github.io/cppwp/dcl.contract.func#note-3
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#5.sentence-4
1https://timsong-cpp.github.io/cppwp/dcl.contract.func#example-1
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract.res#nt:result-name-introducer
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
[basic.def.odr]https://timsong-cpp.github.io/cppwp/basic.def.odr
6https://timsong-cpp.github.io/cppwp/dcl.contract.func#6
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4752
[class.virtual]https://timsong-cpp.github.io/cppwp/class.virtual
[dcl.fct.def.delete]https://timsong-cpp.github.io/cppwp/dcl.fct.def.delete
[dcl.fct.def.default]https://timsong-cpp.github.io/cppwp/dcl.fct.def.default
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#6.sentence-1
7https://timsong-cpp.github.io/cppwp/dcl.contract.func#7
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4758
[basic.def.odr]https://timsong-cpp.github.io/cppwp/basic.def.odr
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#7.sentence-1
4https://timsong-cpp.github.io/cppwp/dcl.contract.func#note-4
postcondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:postcondition-specifier
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#7.sentence-2
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#7.sentence-3
2https://timsong-cpp.github.io/cppwp/dcl.contract.func#example-2
8https://timsong-cpp.github.io/cppwp/dcl.contract.func#8
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4780
5https://timsong-cpp.github.io/cppwp/dcl.contract.func#note-5
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#8.sentence-1
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier-seq
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#8.sentence-2
9https://timsong-cpp.github.io/cppwp/dcl.contract.func#9
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4792
neededhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#def:needed,function_contract_assertion
[temp.inst]https://timsong-cpp.github.io/cppwp/temp.inst
(9.1)https://timsong-cpp.github.io/cppwp/dcl.contract.func#9.1
[basic.def.odr]https://timsong-cpp.github.io/cppwp/basic.def.odr
(9.2)https://timsong-cpp.github.io/cppwp/dcl.contract.func#9.2
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#9.sentence-1
6https://timsong-cpp.github.io/cppwp/dcl.contract.func#note-6
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract.func#nt:function-contract-specifier
[temp.deduct]https://timsong-cpp.github.io/cppwp/temp.deduct
[temp.inst]https://timsong-cpp.github.io/cppwp/temp.inst
.https://timsong-cpp.github.io/cppwp/dcl.contract.func#9.sentence-2
3https://timsong-cpp.github.io/cppwp/dcl.contract.func#example-3
URLs of crawlers that visited me.