Microwave definitions - lgwagner/SpeAR GitHub Wiki

This is the definitions file as written for the microwave example. The two enumerated types for the microwave are important to be uniform across the whole system and therefore a ideal to be defined in a definitions file.

Hint - The use of the enumeration type is great when it is desired that only one selection from a set should be active at any one time. Using enumerations over boolean values often makes requires easier to understand and better protected against confusion between engineers.

From this example, in defining the mode_type as an enumeration establishes that while system is COOKING it cannot be in SETUP or SUSPENDED. This can be leveraged to build properties to ensure that only one from the set is selected at any time.