LED pocet rozsvietenych UTOROK

#include "mbed.h"

void demo_leds();
void demo_lcd();
void demo_i2c();

// DO NOT REMOVE OR RENAME FOLLOWING GLOBAL VARIABLES!!

// Serial line for printf output
Serial g_pc(USBTX, USBRX);

// LEDs on K64F-KIT - instances of class DigitalOut
DigitalOut g_led1(PTA1);
DigitalOut g_led2(PTA2);

DigitalOut ledArray [8] = {
        DigitalOut (PTC0),
        DigitalOut (PTC1),
        DigitalOut (PTC2),
        DigitalOut (PTC3),
        DigitalOut (PTC4),
        DigitalOut (PTC5),
        DigitalOut (PTC7),
        DigitalOut (PTC8),
    };

// Buttons on K64F-KIT - instances of class DigitalIn
DigitalIn g_but9(PTC9);
DigitalIn g_but10(PTC10);
DigitalIn g_but11(PTC11);
DigitalIn g_but12(PTC12);


int main()
{
	// Serial line initialization
	g_pc.baud(115200);

	g_pc.printf( "Demo program started...\r\n" );

	int count = 0;
	int buttCount = 0;

	while (1)
	{
		wait_ms(250);			// delay

		if(!g_but9){
			count++;
			//g_pc.printf("%d\n", count);
			wait_ms(500);
		}

		for (int i = 7; i>=0; i--){
			if (i>7-count){
				ledArray[i]=true;
			}
			else{
				ledArray[i]=false;}
		}



	}
}