File content as of revision 0:2f094535a070:

#include "mbed.h"
#include "PinDetect.h"

DigitalOut sprite(p17);
DigitalOut vodka(p15);
DigitalOut rum(p28);
DigitalOut coke(p29);
PinDetect VSbutton(p7);
PinDetect RCbutton(p5);

Serial pc(USBTX,USBRX);

int alcTime = 2.5;

void VSbutton_hit_callback (void)
{ 
    if (VSbutton == 0 && alcTime!= 0)
        {vodka = 0;
         wait(alcTime);
         vodka = 1;}
        while(VSbutton == 0)
        {
            sprite = 0;
        }
        sprite = 1;
}

void RCbutton_hit_callback (void)
{ 
    if (RCbutton == 0 && alcTime!= 0)
        {rum = 0;
         wait(alcTime);
         rum = 1;}
        while(RCbutton == 0)
        {
            coke = 0;
        }
        coke = 1;
}

int main() {
  sprite = 1;
  vodka = 1;
  rum = 1;
  coke = 1;
  VSbutton.mode(PullUp);
  RCbutton.mode(PullUp);
  wait(0.1);
  VSbutton.attach_deasserted(&VSbutton_hit_callback);
  RCbutton.attach_deasserted(&RCbutton_hit_callback);
  VSbutton.setSampleFrequency();
  RCbutton.setSampleFrequency();
  
 while(1)
 {
      int choice = pc.getc();
      if(choice == 49)
      alcTime = 0;
      if(choice == 50)
      alcTime = 1.5;
      if(choice == 51)
      alcTime = 2.5;
      if (choice == 52)
      alcTime = 3.5;
      
      };
}