File content as of revision 0:14f6a98bb918:

#include "mbed.h"
# include "DebouncedIn.h"

// Programa para encender un led, si se hace presión sobre un pulsador
// El led va a encender con mayor duración a medida que se pulse

DigitalOut LED(LED1);
DebouncedIn PULSADOR(PTC12);


float c = 0;

int main ()
{

    while (1)
        {
        
                if (c<10)
                {
                
                        LED=!LED;
                        if (PULSADOR.falling())
                            {
                                LED == 1;
                                c = c+0.1;
                               
                            }      
                             
                        
                        
                      wait (c);
                 }  
                else 
                {
                      c=0;
                      
                }
              
          }     
}