void function ( int arg0 ) { if ( vinToReservationLength . containsKey ( arg0 ) ) { currentSize -= vinToReservationLength . remove ( arg0 ) ; } else { throw new RuntimeException ( "srini_string" + arg0 + "srini_string" ) ; } }
indicates that the vehicle with the given id number has left the admission control zone by driving out of it within the lane . concode_field_sep Map<Integer,Double> vinToReservationLength concode_elem_sep double MIN_DIST_BETWEEN_VEHICLES concode_elem_sep double maxSize concode_elem_sep double currentSize concode_field_sep boolean isAdmissible concode_elem_sep void cancel concode_elem_sep double getMaxSize concode_elem_sep void admit concode_elem_sep double getCurrentSize