§A.4 Parameter mappings

§ A.4.1 CalloutParameterMappings
with { CalloutParameterMappingList [,] }
;
§ A.4.2 CallinParameterMappings
with { CallinParameterMappingList [,] }
;
§ A.4.3 CalloutParameterMappingList
CalloutParameterMapping [, CalloutParameterMappingList]
§ A.4.4 CallinParameterMappingList
CallinParameterMapping [, CallinParameterMappingList]
§ A.4.5 CalloutParameterMapping
Expression -> Identifier
result <- Expression
§ A.4.6 CallinParameterMapping
Identifier <- Expression
Expression -> result
Note:
By defining ";" as an option for parameter mappings, the grammar enforces that method bindings without a parameter mapping are terminated by a ";". Also method bindings with parameter mappings may optionally be terminated by a ";", which in that case is interpreted as an empty member declaration, following the same pattern how non-abstract methods in Java may optionally have a trailing ";".