File content as of revision 0:0571a4f49d00:

#include "mbed.h"
 
Serial pc(USBTX, USBRX);
AnalogOut signal(PTE30);
 DigitalOut myled(LED2);
 DigitalIn sw1(PTB0);
DigitalIn sw2(PTB1);

int main() 
{
    char ot =0;
    signal = 0;
    char inp;
float seconds;
    pc.printf("Enter the seconds\n");
        pc.putc(inp = pc.getc());
        //pc.printf("\n seconds entered was %c \n",inp);
                seconds = (float) (inp-48);
                 pc.printf("\n seconds entered was %f \n",seconds);
                 myled = 1;
   while(1) {
       
       if (!sw1 && sw2)
       {
            myled = 0;
            wait(seconds);
           signal = 0.122;
             myled = 1;
        }
        if (!sw2)
        {
           //myled = 1;
             signal = 0;
              // myled = 0;
        }
       /*for(int i=3000; i<10000; i++) 
        {
            signal.write_u16(i);
            pc.printf(" %d ",i);
            ot = ~ot;
            myled = ot;
            wait(0.01);
        }*/
    }
    //signal = 1;
}