choice_parameter_specification

choice_parameter_specification ::= defining_identifier

[rule list]

This rule is called by

-> exception_handler