123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153 |
- using System;
- using System.Collections.Generic;
- namespace Wayne.Lib.StateEngine
- {
-
-
-
-
- public class StateEngineEvent
- {
- #region Fields
- private bool handled;
- private object type;
- private DateTime arrivalTime = DateTime.MinValue;
- private int priority;
- private uint sequenceNumber;
-
- #endregion
- #region Construction
-
-
-
-
- public StateEngineEvent(object eventType)
- : this(eventType, 0)
- {
- }
-
-
-
-
-
- public StateEngineEvent(object eventType, int priority)
- {
- this.type = eventType;
- this.priority = priority;
- }
- #endregion
- #region Properties
-
-
-
-
- public bool Handled
- {
- get { return handled; }
- set { handled = value; }
- }
-
-
-
-
-
- public object Type
- {
- get { return type; }
- }
-
-
-
-
- public int Priority
- {
- get { return priority; }
- set { priority = value; }
- }
-
-
-
-
- internal DateTime ArrivalTime
- {
- get { return arrivalTime; }
- set { arrivalTime = value; }
- }
-
-
-
- internal uint SequenceNumber
- {
- get { return sequenceNumber; }
- set { sequenceNumber = value; }
- }
- #endregion
- #region Debug methods
-
-
-
-
- public virtual string ToString(string format, IFormatProvider provider)
- {
- return String.Format(provider, "Event(type={0}), Prio={1}, Arrived={2}, Sq={3}", type, priority, arrivalTime.ToString("HH:mm:ss", System.Globalization.CultureInfo.InvariantCulture), sequenceNumber);
- }
-
-
-
-
- public virtual string ToString(IFormatProvider provider)
- {
- return ToString("", provider);
- }
-
-
-
-
- public virtual string ToString(string format)
- {
- return ToString(format, System.Globalization.CultureInfo.InvariantCulture);
- }
-
-
-
-
- public override string ToString()
- {
- return ToString("", System.Globalization.CultureInfo.InvariantCulture);
- }
- #endregion
- }
- }
|