#include <stdio.h>
#include "pico/stdlib.h"

// Definição dos LEDs
#define LED_VERMELHO 6
#define LED_AMARELO  3
#define LED_VERDE    2

// Protótipo da função (obrigatório no Wokwi)
void piscar_led(uint pin, int vezes, int tempo_ms);

// Implementação da função
void piscar_led(uint pin, int vezes, int tempo_ms) {
    for (int i = 0; i < vezes; i++) {
        gpio_put(pin, true);
        sleep_ms(tempo_ms);
        gpio_put(pin, false);
        sleep_ms(tempo_ms);
    }
}

int main() {
    stdio_init_all();

    // Inicialização dos LEDs como saída
    gpio_init(LED_VERMELHO);
    gpio_set_dir(LED_VERMELHO, GPIO_OUT);

    gpio_init(LED_AMARELO);
    gpio_set_dir(LED_AMARELO, GPIO_OUT);

    gpio_init(LED_VERDE);
    gpio_set_dir(LED_VERDE, GPIO_OUT);

    while (true) {

        // 1️⃣ Piscar o LED vermelho 3 vezes
      piscar_led(LED_VERMELHO, 10, 300);

      piscar_led(LED_AMARELO, 5, 300);

      piscar_led(LED_VERDE, 7, 300);

        sleep_ms(500); // Pausa entre ciclos
    }
}