class AbstractUnlockedState(State):
'''A state with invariant "The space is unlocked", switching to StateZu when the space becomes locked'''
def handle_pins_event(self):
if self.pins().door_locked:
class AbstractUnlockedState(State):
'''A state with invariant "The space is unlocked", switching to StateZu when the space becomes locked'''
def handle_pins_event(self):
if self.pins().door_locked: