René's URL Explorer Experiment


Title: [dcl.contract]

direct link

Domain: timsong-cpp.github.io

Links:

[dcl]https://timsong-cpp.github.io/cppwp/#dcl
[dcl.contract.func]https://timsong-cpp.github.io/cppwp/dcl.contract#func
[dcl.contract.res]https://timsong-cpp.github.io/cppwp/dcl.contract#res
9.4.1https://timsong-cpp.github.io/cppwp/dcl.contract#func
[dcl.contract.func]https://timsong-cpp.github.io/cppwp/dcl.contract.func
function-contract-specifier-seq:https://timsong-cpp.github.io/cppwp/dcl.contract#nt:function-contract-specifier-seq
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:function-contract-specifier
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:function-contract-specifier-seq
function-contract-specifier:https://timsong-cpp.github.io/cppwp/dcl.contract#nt:function-contract-specifier
precondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:precondition-specifier
postcondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:postcondition-specifier
precondition-specifier:https://timsong-cpp.github.io/cppwp/dcl.contract#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#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#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#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#nt:precondition-specifier
precondition assertionhttps://timsong-cpp.github.io/cppwp/dcl.contract#def:assertion,precondition
.https://timsong-cpp.github.io/cppwp/dcl.contract#func-1.sentence-2
postcondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:postcondition-specifier
postcondition assertionhttps://timsong-cpp.github.io/cppwp/dcl.contract#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#nt:function-contract-specifier
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract#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#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#nt:function-contract-specifier-seq
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract#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#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#nt:function-contract-specifier-seq
function-contract-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:function-contract-specifier-seq
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#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#nt:function-contract-specifier
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#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#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#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#nt:function-contract-specifier
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:function-contract-specifier
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:result-name-introducer
function-contract-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#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#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#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#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#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#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
9.4.2https://timsong-cpp.github.io/cppwp/dcl.contract#res
[dcl.contract.res]https://timsong-cpp.github.io/cppwp/dcl.contract.res
attributed-identifier:https://timsong-cpp.github.io/cppwp/dcl.contract#nt:attributed-identifier
identifierhttps://timsong-cpp.github.io/cppwp/lex.name#nt:identifier
attribute-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.attr.grammar#nt:attribute-specifier-seq
result-name-introducer:https://timsong-cpp.github.io/cppwp/dcl.contract#nt:result-name-introducer
attributed-identifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:attributed-identifier
1https://timsong-cpp.github.io/cppwp/dcl.contract#res-1
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4829
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:result-name-introducer
postcondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:postcondition-specifier
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-1.sentence-1
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:result-name-introducer
identifierhttps://timsong-cpp.github.io/cppwp/lex.name#nt:identifier
result bindinghttps://timsong-cpp.github.io/cppwp/dcl.contract#def:result_binding
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-1.sentence-2
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:result-name-introducer
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-1.sentence-3
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-1.sentence-4
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-1.sentence-5
attribute-specifier-seqhttps://timsong-cpp.github.io/cppwp/dcl.attr.grammar#nt:attribute-specifier-seq
attributed-identifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:attributed-identifier
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:result-name-introducer
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-1.sentence-6
1https://timsong-cpp.github.io/cppwp/dcl.contract#res-note-1
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
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-1.sentence-7
1https://timsong-cpp.github.io/cppwp/dcl.contract#res-example-1
2https://timsong-cpp.github.io/cppwp/dcl.contract#res-example-2
[class.temporary]https://timsong-cpp.github.io/cppwp/class.temporary
2https://timsong-cpp.github.io/cppwp/dcl.contract#res-2
#https://github.com/cplusplus/draft/tree/aaecb9378d0766482cbb46e6bbe605edfc0781aa/source/declarations.tex#L4889
postcondition-specifierhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:postcondition-specifier
result-name-introducerhttps://timsong-cpp.github.io/cppwp/dcl.contract#nt:result-name-introducer
.https://timsong-cpp.github.io/cppwp/dcl.contract#res-2.sentence-1
3https://timsong-cpp.github.io/cppwp/dcl.contract#res-example-3
URLs of crawlers that visited me.