Yakindu figyelmeztetés

Question

A nagy házit kezdtem el csinálni. Egyszerűbb lenne úgy csinálnom, hogy használok egy choice elemet. Viszont a Yakindu erre egy figyelmeztetést ad: "a choice should have one outgoing default transistion". Két kimenete van a döntésnek, pl. a == 1, és a != 1. Nyilván az egyik mindig érvényesülni fog, ezért ebből a szempontból érdektelen a figyelmeztetés. De a feltöltésnél is így lesz, vagy warning esetében sem fogadják el a HF-et?

Answer 1

Szia!
A házi feladatot elfogadjuk, azonban érdemes hallgatni a warningokra.
Például ha az 'a!=1' átírod default-ra, eltűnik a hiba, és a Yakindu úgy gondolja hogy karbantarthatóvá válik az állapotgéped.

Különben annak eldöntése, hogy a guard feltételek közül mindig pontosan egy teljesül, egy elég nehéz logikai feladat. Nem is vizsgálja Yakindu.

Üdv!
Oszkár

Comments

Köszönöm. Én azt hittem, a default alatt azt értik, hogy egy feltétel nélküli nyíl, de annak mindig le kellene futnia, viszont így már világos.

---

default = else