private void processEvent(EventLogControl check,final String name,final DTNHost host1,final DTNHost host2,final Message message){
  String descString;
  if (!check.showEvent()) {
    return;
  }
  descString=name + " " + (host1 != null ? host1 : "")+ (host2 != null ? (HOST_DELIM + host2) : "")+ (message != null ? " " + message : "");
  if (regExp != null && !descString.matches(regExp)) {
    return;
  }
  if (check.pauseOnEvent()) {
    gui.setPaused(true);
    if (host1 != null) {
      gui.setFocus(host1);
    }
  }
  addEvent(name,host1,host2,message,check.pauseOnEvent());
}

private void processEvent ( EventLogControl check , final String name , final DTNHost host1 , final DTNHost host2 , final Message message ) { String descString ; if ( ! check . showEvent ( ) ) { return ; } descString = name + " " + ( host1 != null ? host1 : "" ) + ( host2 != null ? ( HOST_DELIM + host2 ) : "" ) + ( message != null ? " " + message : "" ) ; if ( regExp != null && ! descString . matches ( regExp ) ) { return ; } if ( check . pauseOnEvent ( ) ) { gui . setPaused ( true ) ; if ( host1 != null ) { gui . setFocus ( host1 ) ; } } addEvent ( name , host1 , host2 , message , check . pauseOnEvent ( ) ) ; }
processes a log event
