TrafficLight
red : Lamp
yellow : Lamp
green : Lamp
leftGreenArrow : Lamp ?
[ LeftGreenArrow ]
[ leftArrow ]
rightGreenArrow : Lamp ?
[ RightGreenArrow ]
arrowsOff ?
[ arrowsOff <=> no leftGreenArrow.on && no leftGreenArrow.flashing ]
[ arrowsOff <=> no rightGreenArrow.on && no rightGreenArrow.flashing ]
keyword
xor TrafficSignals
proceed
[ red.off ]
[ yellow.off ]
[ green.on ]
[ leftGreenArrow => leftGreenArrow.on ]
[ rightGreenArrow => rightGreenArrow.on ]
prepareToStop
[ red.off ]
[ yellow.on ]
[ green.off ]
[ arrowsOff ]
stop
[ red.on ]
[ yellow.off ]
[ green.off ]
[ arrowsOff ]
warning
[ red.off ]
[ yellow.flashing ]
[ green.off ]
[ arrowsOff ]
prepareToGo
[ redAndYellowToGreen ]
[ red.on ]
[ yellow.on ]
[ green.off ]
[ arrowsOff ]
allStop
[ allWayFlashingRedAsStop ]
[ red.flashing ]
[ yellow.off ]
[ green.off ]
[ arrowsOff ]
allYellow
[ allWayYellow ]
[ red.off ]
[ yellow.flashing ]
[ green.off ]
[ arrowsOff ]
advancedLeft
[ advancedOrExtendedLeft ]
[ red.on ]
[ yellow.off ]
[ greenFlashing => green.flashing ]
[ leftArrow => leftGreenArrow.flashing && green.off ]
extendedLeft
[ advancedOrExtendedLeft ]
[ red.on ]
[ yellow.off ]
[ greenFlashing => green.flashing ]
[ leftArrow => leftGreenArrow.flashing && green.off ]
keyword
abstract xor Lamp
on
off
flashing
c0_flashing
TrafficLightSystem
Lamps
LeftGreenArrow ?
RightGreenArrow ?
redAndYellowToGreen ?
allWayFlashingRedAsStop ?
allWayYellow ?
xor advancedOrExtendedLeft ?
greenFlashing
leftArrow
c0_leftArrow
[ no LeftGreenArrow ]
[ no RightGreenArrow ]
[ no redAndYellowToGreen ]
[ no allWayFlashingRedAsStop ]
[ no allWayYellow ]
[ no advancedOrExtendedLeft ]
[ red.on ]