choice_parameter_specification

choice_parameter_specification ::= defining_identifier 

[rule list]
This rule is called by

-> exception_handler