void function ( String arg0 ) { int loc0 = ids . indexOf ( arg0 ) ; if ( loc0 > - 1 ) { tasks . remove ( loc0 ) ; patterns . remove ( loc0 ) ; ids . remove ( loc0 ) ; } }
removes a task and its scheduling pattern from the collector . concode_field_sep ArrayList tasks concode_elem_sep ArrayList ids concode_elem_sep int size concode_elem_sep ArrayList patterns concode_field_sep String add concode_elem_sep int size concode_elem_sep TaskTable getTasks concode_elem_sep void update concode_elem_sep SchedulingPattern getSchedulingPattern concode_elem_sep Task getTask