12345678910111213141516171819202122232425262728293031323334353637 |
- Control_PW control_model_PW {
- Up up {
- isInitial = False
- isError = False
- name = "up"
- }
- Down down {
- isInitial = False
- isError = False
- name = "down"
- }
- Neutral neutral {
- isInitial = True
- isError = True
- name = "neutral"
- }
- UpPressed (down, neutral) {
- objectDetected = "*"
- }
- UpPressed (neutral, up) {
- objectDetected = "N"
- }
- DownPressed (up, neutral) {
- objectDetected = "*"
- }
- DownPressed (neutral, down) {
- objectDetected = "*"
- }
- NonePressed (up, neutral) {
- objectDetected = "*"
- }
- NonePressed (down, neutral) {
- objectDetected = "*"
- }
- }
|