else:
raise Exception("Unknown command number: %d" % ev)
- class AbstractLockedState(State):
+ class AbstractNonStartState(State):
+ def handle_pins_event(self):
+ if self.pins().door_locked != (not self.pins().space_active):
+ self.actor().act(Actor.CMD_RED_ON)
+ else:
+ self.actor().act(Actor.CMD_RED_OFF)
+ return super().handle_pins_event()
+
+ class AbstractLockedState(AbstractNonStartState):
'''A state with invariant "The space is locked", switching to StateAboutToOpen when the space becomes unlocked'''
+ def __init__(self, sm, nervlist = None):
+ super().__init__(sm, nervlist)
+ self.actor().act(Actor.CMD_GREEN_OFF)
def handle_pins_event(self):
if not self.pins().door_locked:
logger.info("Door unlocked, space is about to open")
return StateMachine.StateAboutToOpen(self.state_machine)
return super().handle_pins_event()
- class AbstractUnlockedState(State):
+ class AbstractUnlockedState(AbstractNonStartState):
'''A state with invariant "The space is unlocked", switching to StateZu when the space becomes locked'''
+ def __init__(self, sm, nervlist = None):
+ super().__init__(sm, nervlist)
+ self.actor().act(Actor.CMD_GREEN_ON)
def handle_pins_event(self):
if self.pins().door_locked:
logger.info("Door locked, closing space")