Walidacja

Przycisk Validate w zakładce General sprawdza maszynę pod kątem typowych problemów konfiguracyjnych i zgłasza wynik jako powiadomienie. Niczego nie zmienia — jedynie wskazuje, na co zwrócić uwagę.

Co sprawdza

Brakujący stan początkowy

Każda maszyna powinna mieć dokładnie jeden stan początkowy — status, w którym encja się zaczyna. Jeśli żaden nie jest ustawiony, encje nie mają zdefiniowanego punktu startu.

Naprawa: ustaw stan początkowy w zakładce States lub w polu Initial state w zakładce General. Zobacz Zarządzanie stanami.

Osierocone stany

Stan bez żadnych przejść — nic do niego nie prowadzi i nic z niego nie wychodzi. Nie da się do niego wejść ani go opuścić, więc nie pełni żadnej roli w przepływie.

Naprawa: dodaj przejścia, które go łączą, albo usuń stan, jeśli nie jest potrzebny.

Nieosiągalne stany

Stan bez żadnego przejścia przychodzącego. Przepływ nigdy do niego nie dotrze (chyba że jest stanem początkowym), więc encje nigdy nie osiągną tego statusu.

Naprawa: dodaj przejście prowadzące do niego albo uczyń go stanem początkowym, jeśli taki był zamiar.

Zduplikowane przejścia

Dwa przejścia o tej samej akcji, źródle i celu. Duplikat nie ma żadnego efektu i tylko zaśmieca maszynę.

Naprawa: usuń zbędne przejście w zakładce Transitions. Formularz dodawania już blokuje tworzenie dokładnych duplikatów, więc to sprawdzenie wychwytuje głównie te zaimportowane lub utworzone wcześniej.

Kiedy uruchamiać

Po zbudowaniu nowej maszyny, zanim zaczniesz na niej polegać.
Po dodaniu lub usunięciu stanów albo przejść w dowolnej maszynie.
Po edycji podstawowej state machine, jako kontrola bezpieczeństwa.

Czysty wynik potwierdza, że maszyna ma punkt startu, nie ma ślepych zaułków ani zbędnych przejść.