File content as of revision 0:4f0e78d6748e:

#include "mbed.h"
#include "button.h"
#include "led.h"

DigitalOut myled(LED1);

Button button("user");
Led redLed("red");
Led greenLed("green");
Led orangeLed("orange");
Led blueLed("blue");

int main()
{
//   float timer;

    //int LoopNumber = 0;
    const int SequenceLength=3;
    float delays[SequenceLength];//array

    //while (LoopNumber<SequenceLength) {

        //delays[LoopNumber] = button.GetPulse();//returned by the getpulse method (read()) stored at array
        //LoopNumber++; //for memory location within array
    //}

    for( int i = 0; i < SequenceLength; i++) {
        delays[i] = button.GetPulse();
    }

    while(1) {
        for (int loop=0; loop<SequenceLength; loop++) {
            redLed.On();
            greenLed.On();
            orangeLed.On();
            blueLed.On();

            wait(delays[loop]);

            redLed.Off();
            greenLed.Off();
            orangeLed.Off();
            blueLed.Off();
            wait(0.5f);

        }
    }
}