feature_declarations::= feature_declaration ( ';' feature_declaration )\stern . feature_declaration::= [ [ 'private' ] feature ]. feature ::= attribute | method . local_declarations ::= ( local declaration )\stern . local_declaration ::= attribute_declaration ';' | local_stream_declaration ';' . local_stream_declaration ::= 'stream' identifier method_specification ':=' bound_method . qualification ::= qualifier qualified_identifier . qualifier ::= type_specifier '::' | primary '.' . qualified_identifier ::= identifier .For primaries see 7.
A declaration defines a defining occurrence of an identifier to designate a class or an entity.
Each such definition has a certain scope, i.e. that part of the program text in which an applied occurrence of an identifier identifies the given declaration or specification. The scope rules of 5.1 must deliver a unique defining occurrence for each applied occurrence.
The specifications of parameters of methods are replaced by
initialized declarations during program execution as explained in
6.7. These declarations become part of the body of the method
during execution.