File content as of revision 1:d77bf371f544:

#include "mbed.h"
#include "tsi_sensor.h"
#include "lib.h"
DigitalOut led1(LED1);
DigitalOut led2(LED2);
DigitalOut led3(LED3);
int main(void)
{
    int etat=0;
    float val;
    while (1) {
        val=lire_slider();
        printf("etat=%d -- slider=%f \n\r",etat,val);
        switch(etat) {
            case 0 :
                if(val>0 && val <0.2) etat=1;
                break;
            case 1 :
                if(val>0.4 && val<0.6) etat=2;
                break;
            case 2 :
                if(val>0.8 && val<1) etat=3;
                break;
            case 3 :
                if(val==0) etat=0;
                break;
        }
        switch(etat) {
            case 0 :
                led1.write(1);
                led2.write(1);
                led3.write(1);
                break;
            case 1 :
                led1.write(0);
                led2.write(1);
                led3.write(1);
                break;
            case 2 :
                led1.write(1);
                led2.write(0);
                led3.write(1);
                break;
            case 3 :
                led1.write(1);
                led2.write(1);
                led3.write(0);
                break;
        }
    }
}