File content as of revision 0:7cd6baddb768:

/*****************************************************************/
/*               How to use State Machines in C                  */
/*                        Switch|Case                            */
/*****************************************************************/

// Librarys:
#include "mbed.h"

// Configuration:
DigitalOut led(LED1);
Serial pc(USBTX,USBRX);

//Functions


int main(){
/************STATES**************/
    enum states{
        LED_OF_1S,
        LED_ON_2S,
        LED_OF_3S,
        LED_ON_4S      
        };
    enum states state = LED_OF_1S;
while(1){
    switch(state){
        case LED_OF_1S:
            
            //Led off for 1 second:
            led=0;
            pc.printf("LED_OF");
            wait(1);
            state = LED_ON_2S;
            
            break;    
        case LED_ON_2S:
            
            //Led on for 2 seconds:
            led=1;
            pc.printf("LED_ON");
            wait(2);
            state = LED_OF_3S;
            
            break;
        case LED_OF_3S:
            
            //Led off for 3 seconds:
            led=0;
            pc.printf("LED_OF");
            wait(3);
            state = LED_ON_4S;
            break;
        case LED_ON_4S:
            
            //Led on for 4 seconds:
            led=1;
            pc.printf("LED_ON");
            wait(4);
            state = LED_OF_1S;
            break;
        }           
    }
}