method
private
is_DoDownCast () =
Parameter_map
.is_true
DoDownCast
.name gen_optionTbl