4 <section id="declaration">
5 <h>Method declarations</h>
6 <p>Methods may be declared in namespaces, classes, interfaces, structs, enums, and error domains</p>
9 [ access-modifier ] [ member-modifers ] return-type qualified-identifier ( [ parameter-list ] ) method-contract [ <l>throws</l> error-list ] <l>{</l> statement-list <l>}</l>
12 member-modifier [ member-modifiers ]
28 [ parameter-direction ] type identifier [ <l>,</l> parameter-list ]
35 [ <l>requires</l> <l>(</l> expression <l>)</l> ] [ <l>ensures</l> <l>(</l> expression <l>)</l> ]
38 error-type [ <l>,</l> error-list ]