Exemplos de Microsoft.Coyote.Specifications.Monitor.GetHotState em C# (CSharp)

Exemplo n.º 1

 /// <inheritdoc/>
 internal override void NotifyExitedState(Monitor monitor)
 {
     this.LogWriter.LogMonitorStateTransition(monitor.GetType().FullName,
                                              monitor.CurrentStateName, false, monitor.GetHotState());
 }

Exemplo n.º 2

        /// <inheritdoc/>
        internal override void NotifyEnteredState(Monitor monitor)
        {
            string monitorState = monitor.CurrentStateName;

            this.LogWriter.LogMonitorStateTransition(monitor.GetType().FullName, monitorState, true, monitor.GetHotState());
        }