The Java Language Specification, Third Edition

CLASSES Formal Parameters 8.4.1
of the parameter. The last formal parameter in a list is special; it may be a variable
arity parameter, indicated by an elipsis following the type:
FormalParameterList:
LastFormalParameter
FormalParameters , LastFormalParameter
FormalParameters:
FormalParameter
FormalParameters , FormalParameter
FormalParameter:
VariableModifiers Type VariableDeclaratorId
VariableModifiers:
VariableModifier
VariableModifiers VariableModifier
VariableModifier: one of
final Annotation
LastFormalParameter:
VariableModifiers Type...opt VariableDeclaratorId
FormalParameter
The following is repeated from §8.3 to make the presentation here clearer:
VariableDeclaratorId:
Identifier
VariableDeclaratorId [ ]
If a method or constructor has no parameters, only an empty pair of parentheses
appears in the declaration of the method or constructor.
If two formal parameters of the same method or constructor are declared to
have the same name (that is, their declarations mention the same Identifier), then a
compile-time error occurs.
If an annotation a on a formal parameter corresponds to an annotation type T,
and T has a (meta-)annotation m that corresponds to annotation.Target, then m
must have an element whose value is annotation.ElementType.PARAMETER, or
a compile-time error occurs. Annotation modifiers are described further in §9.7.
It is a compile-time error if a method or constructor parameter that is declared
final is assigned to within the body of the method or constructor.
When the method or constructor is invoked (§15.12), the values of the actual
argument expressions initialize newly created parameter variables, each of the
declared Type, before execution of the body of the method or constructor. The
DRAFT
211