#------------------------------------------------------------------------------ # TiViPE Textual Robotics Language. # Copyright (c) 2016, TiViPE, All rights reserved. # Url: www.tivipe.com # Email: tino@tivipe.com # Author: Tino Lourens # Date: 06 Sep 2016 #------------------------------------------------------------------------------ #------------------------------------------------------------------------------ # Switch on all leds; wait 2 seconds; switch off all leds; wait 2 seconds #------------------------------------------------------------------------------ wait(2000) & say(controlling_all_leds) & ledon(AllLeds) & wait(2000) & ledoff(AllLeds) & wait(2000) & #------------------------------------------------------------------------------ # Left eye; counter clock wise rotation of a blue led #------------------------------------------------------------------------------ say(Controlling_left_eye) & do(10) [ledfade(LeftFaceLedBlue0, 0, 100) | ledfade(LeftFaceLedBlue1, 1, 100)] & [ledfade(LeftFaceLedBlue1, 0, 100) | ledfade(LeftFaceLedBlue2, 1, 100)] & [ledfade(LeftFaceLedBlue2, 0, 100) | ledfade(LeftFaceLedBlue3, 1, 100)] & [ledfade(LeftFaceLedBlue3, 0, 100) | ledfade(LeftFaceLedBlue4, 1, 100)] & [ledfade(LeftFaceLedBlue4, 0, 100) | ledfade(LeftFaceLedBlue5, 1, 100)] & [ledfade(LeftFaceLedBlue5, 0, 100) | ledfade(LeftFaceLedBlue6, 1, 100)] & [ledfade(LeftFaceLedBlue6, 0, 100) | ledfade(LeftFaceLedBlue7, 1, 100)] & [ledfade(LeftFaceLedBlue7, 0, 100) | ledfade(LeftFaceLedBlue0, 1, 100)] enddo & ledfade(LeftFaceLedBlue0, 0, 100) & #------------------------------------------------------------------------------ # Both eyes; counter clock wise rotation of a blue led; notice a shift # in led number #------------------------------------------------------------------------------ say(controlling_both_eyes) & do(10) [ledfade(LeftFaceLedBlue0, 0, 100) | ledfade(LeftFaceLedBlue1, 1, 100) | ledfade(RightFaceLedBlue7, 0, 100) | ledfade(RightFaceLedBlue0, 1, 100)] & [ledfade(LeftFaceLedBlue1, 0, 100) | ledfade(LeftFaceLedBlue2, 1, 100) | ledfade(RightFaceLedBlue0, 0, 100) | ledfade(RightFaceLedBlue1, 1, 100)] & [ledfade(LeftFaceLedBlue2, 0, 100) | ledfade(LeftFaceLedBlue3, 1, 100) | ledfade(RightFaceLedBlue1, 0, 100) | ledfade(RightFaceLedBlue2, 1, 100)] & [ledfade(LeftFaceLedBlue3, 0, 100) | ledfade(LeftFaceLedBlue4, 1, 100) | ledfade(RightFaceLedBlue2, 0, 100) | ledfade(RightFaceLedBlue3, 1, 100)] & [ledfade(LeftFaceLedBlue4, 0, 100) | ledfade(LeftFaceLedBlue5, 1, 100) | ledfade(RightFaceLedBlue3, 0, 100) | ledfade(RightFaceLedBlue4, 1, 100)] & [ledfade(LeftFaceLedBlue5, 0, 100) | ledfade(LeftFaceLedBlue6, 1, 100) | ledfade(RightFaceLedBlue4, 0, 100) | ledfade(RightFaceLedBlue5, 1, 100)] & [ledfade(LeftFaceLedBlue6, 0, 100) | ledfade(LeftFaceLedBlue7, 1, 100) | ledfade(RightFaceLedBlue5, 0, 100) | ledfade(RightFaceLedBlue6, 1, 100)] & [ledfade(LeftFaceLedBlue7, 0, 100) | ledfade(LeftFaceLedBlue0, 1, 100) | ledfade(RightFaceLedBlue6, 0, 100) | ledfade(RightFaceLedBlue7, 1, 100)] enddo & [ledfade(LeftFaceLedBlue0, 0, 100) | ledfade(RightFaceLedBlue7, 0, 100)] & #------------------------------------------------------------------------------ # Left ear led activation #------------------------------------------------------------------------------ say(controlling_left_ear) & do(10) [ledfade(LeftEarLed0, 0, 100) | ledfade(LeftEarLed1, 1, 100)] & [ledfade(LeftEarLed1, 0, 100) | ledfade(LeftEarLed2, 1, 100)] & [ledfade(LeftEarLed2, 0, 100) | ledfade(LeftEarLed3, 1, 100)] & [ledfade(LeftEarLed3, 0, 100) | ledfade(LeftEarLed4, 1, 100)] & [ledfade(LeftEarLed4, 0, 100) | ledfade(LeftEarLed5, 1, 100)] & [ledfade(LeftEarLed5, 0, 100) | ledfade(LeftEarLed6, 1, 100)] & [ledfade(LeftEarLed6, 0, 100) | ledfade(LeftEarLed7, 1, 100)] & [ledfade(LeftEarLed7, 0, 100) | ledfade(LeftEarLed8, 1, 100)] & [ledfade(LeftEarLed8, 0, 100) | ledfade(LeftEarLed9, 1, 100)] & [ledfade(LeftEarLed9, 0, 100) | ledfade(LeftEarLed0, 1, 100)] enddo & ledfade(LeftEarLed0, 0, 100) & #------------------------------------------------------------------------------ # Ear led activation alternation between even and odd numbered leds #------------------------------------------------------------------------------ say(controlling_both_ears) & do(5) [ledset(LeftEarLedsEven, 0) | ledset(LeftEarLedsOdd, 1) | ledset(RightEarLedsEven, 0) | ledset(RightEarLedsOdd, 1)] & wait(1000) & [ledset(LeftEarLedsEven, 1) | ledset(LeftEarLedsOdd, 0) | ledset(RightEarLedsEven, 1) | ledset(RightEarLedsOdd, 0)] & wait(1000) enddo & [ledset(LeftEarLedsEven, 0) | ledset(RightEarLedsEven, 0)] & #------------------------------------------------------------------------------ # Head leds #------------------------------------------------------------------------------ say(controlling_head_leds) & do(10) [ledfade(Brain0, 0, 100) | ledfade(Brain1, 1, 100)] & [ledfade(Brain1, 0, 100) | ledfade(Brain2, 1, 100)] & [ledfade(Brain2, 0, 100) | ledfade(Brain3, 1, 100)] & [ledfade(Brain3, 0, 100) | ledfade(Brain4, 1, 100)] & [ledfade(Brain4, 0, 100) | ledfade(Brain5, 1, 100)] & [ledfade(Brain5, 0, 100) | ledfade(Brain6, 1, 100)] & [ledfade(Brain6, 0, 100) | ledfade(Brain7, 1, 100)] & [ledfade(Brain7, 0, 100) | ledfade(Brain8, 1, 100)] & [ledfade(Brain8, 0, 100) | ledfade(Brain9, 1, 100)] & [ledfade(Brain9, 0, 100) | ledfade(Brain10, 1, 100)] & [ledfade(Brain10, 0, 100) | ledfade(Brain11, 1, 100)] & [ledfade(Brain11, 0, 100) | ledfade(Brain0, 1, 100)] enddo & ledset(Brain0, 0) & #------------------------------------------------------------------------------ # Chest button led #------------------------------------------------------------------------------ say(controlling_chest_button_leds) & ledon(ChestLedBlue) & wait(1000) & [ledoff(ChestLedBlue) | ledon(ChestLedGreen)] & wait(1000) & [ledoff(ChestLedGreen) | ledon(ChestLedRed)] & wait(1000) & ledoff(ChestLedRed) & #------------------------------------------------------------------------------ # Left foot led #------------------------------------------------------------------------------ say(controlling_left_foot_leds) & ledon(LeftFootLedsBlue) & wait(1000) & [ledoff(LeftFootLedsBlue) | ledon(LeftFootLedsGreen)] & wait(1000) & [ledoff(LeftFootLedsGreen) | ledon(LeftFootLedsRed)] & wait(1000) & ledoff(LeftFootLedsRed) & say(Ready) #------------------------------------------------------------------------------ # End of program #------------------------------------------------------------------------------