| Prev | Top | Next |
rule "switch state for unknown element"
when
there is a switch state
but no matching element
then
Element state error "switch state for unknown element"
discard the state
end
rule "switch state update"
when
there is a switch state
and a matching element
then
update the element
- setting faulty from the state message
- setting clear from the state message
- setting the position from the state message
discard the state
end
| Prev | Top | Next |