public void selectFloating_point(FloatingPoint val)
{
floating_point_ = val;
floating_point_selected = true;
array_selected = false;
structure_selected = false;
boolean_selected = false;
bit_string_selected = false;
integer_selected = false;
unsigned_selected = false;
octet_string_selected = false;
visible_string_selected = false;
generalized_time_selected = false;
binary_time_selected = false;
bcd_selected = false;
booleanArray_selected = false;
objId_selected = false;
mMSString_selected = false;
utc_time_selected = false;
}
public void selectFloating_point(FloatingPoint val)
{
floating_point_ = val;
floating_point_selected = true;
array_selected = false;
structure_selected = false;
boolean_selected = false;
bit_string_selected = false;
integer_selected = false;
unsigned_selected = false;
octet_string_selected = false;
visible_string_selected = false;
generalized_time_selected = false;
binary_time_selected = false;
bcd_selected = false;
booleanArray_selected = false;
objId_selected = false;
mMSString_selected = false;
utc_time_selected = false;
}
