setter for passenger 's destination floor . concode_field_sep int UNDEFINED_FLOOR concode_elem_sep int currentFloor concode_elem_sep int id concode_elem_sep int destinationFloor concode_field_sep void arrive concode_elem_sep void boardElevator concode_elem_sep int currentFloor concode_elem_sep String toString concode_elem_sep int destinationFloor
void function ( int arg0 ) { this . destinationFloor = arg0 ; }