## §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 ";".