void function ( EventRecorder arg0 ) { EventRecorder loc0 = recorders . get ( arg0 . getName ( ) ) ; if ( loc0 == null ) { throw new RuntimeException ( "srini_string" + arg0 . getName ( ) ) ; } recorders . remove ( loc0 . getName ( ) ) ; }
unregister an event recorder concode_field_sep Logger logger concode_elem_sep RecorderManager DEFAULT_MANAGER concode_elem_sep Map<String,EventRecorder> recorders concode_field_sep boolean isRecording concode_elem_sep RecorderManager getDefaultManager concode_elem_sep void recordMetadata concode_elem_sep void recordMessage concode_elem_sep void register