view Implab/Diagnostics/LogEventArgsT.cs @ 182:76e8f2ba12b8 ref20160224

pretty print DFA, the minimization is still buggy
author cin
date Thu, 24 Mar 2016 18:52:10 +0300
parents 04d4c92d0f28
children d45bdf510514
line wrap: on
line source

namespace Implab.Diagnostics {
    public class LogEventArgs<TEvent> : LogEventArgs {
        public TEvent Value {
            get;
            private set;
        }

        public LogEventArgs(TEvent value,string channelName, int threadId, LogicalOperation operation, int timeOffset) : base(channelName, threadId, operation, timeOffset) {
            Value = value;
        }
    }
}