/* ========================================================================
* Copyright (c) 2005-2025 The OPC Foundation, Inc. All rights reserved.
*
* OPC Foundation MIT License 1.00
*
* Permission is hereby granted, free of charge, to any person
* obtaining a copy of this software and associated documentation
* files (the "Software"), to deal in the Software without
* restriction, including without limitation the rights to use,
* copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the
* Software is furnished to do so, subject to the following
* conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
* OTHER DEALINGS IN THE SOFTWARE.
*
* The complete license agreement can be found here:
* http://opcfoundation.org/License/MIT/1.00/
* ======================================================================*/
using System.Collections.Generic;
using Opc.Ua.Generators;
namespace Generators
{
///
/// Translates the simulated operating state onto the numbers
/// GeneratorStateMachineType declares.
///
///
/// Kept apart from the node manager because it is a statement about the model,
/// not about how this server happens to publish it, and because the tests need
/// to hold it against . Two
/// tables that disagree produce a server whose state machine reports a machine
/// as running while its physics say it is stopped, and nothing at run time
/// notices.
///
internal static class GeneratorStateMap
{
///
/// Gets the model's state node id for every simulated
/// state — the identifier of the StateType node the model
/// declares, which is what CurrentState/Id must carry
/// (the state number is a different value published by
/// the StateNumber property).
///
public static IReadOnlyDictionary StateIds { get; } =
new Dictionary
{
[GeneratorRunState.Off] = GeneratorStateMachineTypeIds.StateIds.Off,
[GeneratorRunState.Ready] = GeneratorStateMachineTypeIds.StateIds.Ready,
[GeneratorRunState.Starting] = GeneratorStateMachineTypeIds.StateIds.Starting,
[GeneratorRunState.Warmup] = GeneratorStateMachineTypeIds.StateIds.Warmup,
[GeneratorRunState.Running] = GeneratorStateMachineTypeIds.StateIds.Running,
[GeneratorRunState.Loaded] = GeneratorStateMachineTypeIds.StateIds.Loaded,
[GeneratorRunState.Synchronizing] =
GeneratorStateMachineTypeIds.StateIds.Synchronizing,
[GeneratorRunState.Paralleled] = GeneratorStateMachineTypeIds.StateIds.Paralleled,
[GeneratorRunState.Cooldown] = GeneratorStateMachineTypeIds.StateIds.Cooldown,
[GeneratorRunState.Stopping] = GeneratorStateMachineTypeIds.StateIds.Stopping,
[GeneratorRunState.Fault] = GeneratorStateMachineTypeIds.StateIds.Fault,
[GeneratorRunState.EmergencyStopped] =
GeneratorStateMachineTypeIds.StateIds.EmergencyStopped,
};
///
/// Gets the model's state number for every simulated state.
///
public static IReadOnlyDictionary StateNumbers { get; } =
new Dictionary
{
[GeneratorRunState.Off] = GeneratorStateMachineTypeIds.StateNumbers.Off,
[GeneratorRunState.Ready] = GeneratorStateMachineTypeIds.StateNumbers.Ready,
[GeneratorRunState.Starting] = GeneratorStateMachineTypeIds.StateNumbers.Starting,
[GeneratorRunState.Warmup] = GeneratorStateMachineTypeIds.StateNumbers.Warmup,
[GeneratorRunState.Running] = GeneratorStateMachineTypeIds.StateNumbers.Running,
[GeneratorRunState.Loaded] = GeneratorStateMachineTypeIds.StateNumbers.Loaded,
[GeneratorRunState.Synchronizing] =
GeneratorStateMachineTypeIds.StateNumbers.Synchronizing,
[GeneratorRunState.Paralleled] = GeneratorStateMachineTypeIds.StateNumbers.Paralleled,
[GeneratorRunState.Cooldown] = GeneratorStateMachineTypeIds.StateNumbers.Cooldown,
[GeneratorRunState.Stopping] = GeneratorStateMachineTypeIds.StateNumbers.Stopping,
[GeneratorRunState.Fault] = GeneratorStateMachineTypeIds.StateNumbers.Fault,
[GeneratorRunState.EmergencyStopped] =
GeneratorStateMachineTypeIds.StateNumbers.EmergencyStopped,
};
///
/// Gets the model's transition number for every legal move.
///
///
/// Every entry is a transition the specification declares. A pair that is
/// not here is not a legal move, which is why this table and
/// are held against each
/// other by GeneratorStateMachineTests.
///
public static IReadOnlyDictionary<(GeneratorRunState From, GeneratorRunState To), uint>
TransitionNumbers
{ get; } = new Dictionary<(GeneratorRunState, GeneratorRunState), uint>
{
[(GeneratorRunState.Off, GeneratorRunState.Ready)] =
GeneratorStateMachineTypeIds.TransitionNumbers.OffToReady,
[(GeneratorRunState.Ready, GeneratorRunState.Starting)] =
GeneratorStateMachineTypeIds.TransitionNumbers.ReadyToStarting,
[(GeneratorRunState.Ready, GeneratorRunState.Off)] =
GeneratorStateMachineTypeIds.TransitionNumbers.ReadyToOff,
[(GeneratorRunState.Starting, GeneratorRunState.Warmup)] =
GeneratorStateMachineTypeIds.TransitionNumbers.StartingToWarmup,
[(GeneratorRunState.Starting, GeneratorRunState.Fault)] =
GeneratorStateMachineTypeIds.TransitionNumbers.StartingToFault,
[(GeneratorRunState.Warmup, GeneratorRunState.Running)] =
GeneratorStateMachineTypeIds.TransitionNumbers.WarmupToRunning,
[(GeneratorRunState.Running, GeneratorRunState.Loaded)] =
GeneratorStateMachineTypeIds.TransitionNumbers.RunningToLoaded,
[(GeneratorRunState.Running, GeneratorRunState.Synchronizing)] =
GeneratorStateMachineTypeIds.TransitionNumbers.RunningToSynchronizing,
[(GeneratorRunState.Running, GeneratorRunState.Cooldown)] =
GeneratorStateMachineTypeIds.TransitionNumbers.RunningToCooldown,
[(GeneratorRunState.Running, GeneratorRunState.Fault)] =
GeneratorStateMachineTypeIds.TransitionNumbers.RunningToFault,
[(GeneratorRunState.Running, GeneratorRunState.EmergencyStopped)] =
GeneratorStateMachineTypeIds.TransitionNumbers.RunningToEmergencyStopped,
[(GeneratorRunState.Synchronizing, GeneratorRunState.Paralleled)] =
GeneratorStateMachineTypeIds.TransitionNumbers.SynchronizingToParalleled,
[(GeneratorRunState.Synchronizing, GeneratorRunState.Running)] =
GeneratorStateMachineTypeIds.TransitionNumbers.SynchronizingToRunning,
[(GeneratorRunState.Paralleled, GeneratorRunState.Loaded)] =
GeneratorStateMachineTypeIds.TransitionNumbers.ParalleledToLoaded,
[(GeneratorRunState.Paralleled, GeneratorRunState.Fault)] =
GeneratorStateMachineTypeIds.TransitionNumbers.ParalleledToFault,
[(GeneratorRunState.Paralleled, GeneratorRunState.EmergencyStopped)] =
GeneratorStateMachineTypeIds.TransitionNumbers.ParalleledToEmergencyStopped,
[(GeneratorRunState.Loaded, GeneratorRunState.Cooldown)] =
GeneratorStateMachineTypeIds.TransitionNumbers.LoadedToCooldown,
[(GeneratorRunState.Loaded, GeneratorRunState.Fault)] =
GeneratorStateMachineTypeIds.TransitionNumbers.LoadedToFault,
[(GeneratorRunState.Loaded, GeneratorRunState.EmergencyStopped)] =
GeneratorStateMachineTypeIds.TransitionNumbers.LoadedToEmergencyStopped,
[(GeneratorRunState.Cooldown, GeneratorRunState.Stopping)] =
GeneratorStateMachineTypeIds.TransitionNumbers.CooldownToStopping,
[(GeneratorRunState.Stopping, GeneratorRunState.Off)] =
GeneratorStateMachineTypeIds.TransitionNumbers.StoppingToOff,
[(GeneratorRunState.Fault, GeneratorRunState.Off)] =
GeneratorStateMachineTypeIds.TransitionNumbers.FaultToOff,
[(GeneratorRunState.EmergencyStopped, GeneratorRunState.Off)] =
GeneratorStateMachineTypeIds.TransitionNumbers.EmergencyStoppedToOff,
};
}
}