public Term(uint time, Event.IEventHandler owner, string state, object[] data)
 {
     _time  = time;
     _owner = owner;
     _state = state;
     _data  = data;
 }
 public Term(uint time, Event.IEventHandler owner, string state, object[] data)
 {
     _time = time;
     _owner = owner;
     _state = state;
     _data = data;
 }
Exemple #3
0
 /// <summary>
 /// Detaches subsriber
 /// </summary>
 /// <param name="handler">Subscriber</param>
 public void DetachHandler(Event.IEventHandler handler)
 {
     _context.Logger.Log(this, "Detached a handler: " + LoggingHelpers.GetTypeOrName(handler), 5);
     _provider.DetachHandler(handler);
 }
Exemple #4
0
 public void UnregisterHandler(Event.IEventHandler eh)
 {
     this.eventHandler -= new TcpEvent.TcpEventHandler(eh.HandleEvent);
 }