1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
|
# ==================================================================================================================== #
# _____ _ _ ____ _ _ __ __ _ _ #
# _ __ _ |_ _|__ ___ | (_)_ __ __ _ / ___|| |_ __ _| |_ ___| \/ | __ _ ___| |__ (_)_ __ ___ #
# | '_ \| | | || |/ _ \ / _ \| | | '_ \ / _` | \___ \| __/ _` | __/ _ \ |\/| |/ _` |/ __| '_ \| | '_ \ / _ \ #
# | |_) | |_| || | (_) | (_) | | | | | | (_| |_ ___) | || (_| | || __/ | | | (_| | (__| | | | | | | | __/ #
# | .__/ \__, ||_|\___/ \___/|_|_|_| |_|\__, (_)____/ \__\__,_|\__\___|_| |_|\__,_|\___|_| |_|_|_| |_|\___| #
# |_| |___/ |___/ #
# ==================================================================================================================== #
# Authors: #
# Patrick Lehmann #
# #
# License: #
# ==================================================================================================================== #
# Copyright 2017-2024 Patrick Lehmann - Bötzingen, Germany #
# #
# Licensed under the Apache License, Version 2.0 (the "License"); #
# you may not use this file except in compliance with the License. #
# You may obtain a copy of the License at #
# #
# http://www.apache.org/licenses/LICENSE-2.0 #
# #
# Unless required by applicable law or agreed to in writing, software #
# distributed under the License is distributed on an "AS IS" BASIS, #
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. #
# See the License for the specific language governing permissions and #
# limitations under the License. #
# #
# SPDX-License-Identifier: Apache-2.0 #
# ==================================================================================================================== #
#
"""
This packages provides a data structure to describe statemachines.
.. hint:: See :ref:`high-level help <STRUCT/StateMachine>` for explanations and usage examples.
"""
from typing import List
try:
from pyTooling.Decorators import export, readonly
from pyTooling.MetaClasses import ExtendedType
except (ImportError, ModuleNotFoundError): # pragma: no cover
print("[pyTooling.StateMachine] Could not import from 'pyTooling.*'!")
try:
from Decorators import export, readonly
from MetaClasses import ExtendedType, mixin
except (ImportError, ModuleNotFoundError) as ex: # pragma: no cover
print("[pyTooling.StateMachine] Could not import directly!")
raise ex
@export
class Base(metaclass=ExtendedType, slots=True):
pass
@export
class Transition(Base):
"""
Represents a transition (edge) in a statemachine diagram (directed graph).
"""
_source: "State"
_destination: "State"
def __init__(self, source: "State", destination: "State") -> None:
self._source = source
self._destination = destination
@export
class State(Base):
"""
Represents a state (node/vertex) in a statemachine diagram (directed graph).
"""
_inboundTransitions: List[Transition]
_outboundTransitions: List[Transition]
def __init__(self) -> None:
self._inboundTransitions = []
self._outboundTransitions = []
@export
class StateMachine(Base):
"""
Represents a statemachine (graph) in a statemachine diagram (directed graph).
"""
_states: List[State]
_initialState: State
def __init__(self, initialState: State) -> None:
self._states = []
self._initialState = initialState
def AddState(self, state: State):
if state not in self._states: # TODO: use a set to check for double added states?
self._states.append(state)
else:
raise ValueError(f"State '{state}' was already added to this statemachine.")
@readonly
def States(self) -> List[State]:
return self._states
|