#include "pico/stdlib.h" // Biblioteca padrão do Raspberry Pi Pico para controle de GPIO, temporização e comunicação serial.
#include "pico/time.h"   // Biblioteca para gerenciamento de temporizadores e alarmes.

#define RED_PIN 13
#define BLUE_PIN 12
#define GREEN_PIN 11
#define BUTTON_PIN 5

//bool led_on = false;        // Variável global para armazenar o estado do LED (não utilizada neste código).
//bool led_active = false;    // Indica se o LED está atualmente aceso (para evitar múltiplas ativações).
//absolute_time_t turn_off_time;  // Variável para armazenar o tempo em que o LED deve ser desligado (não utilizada neste código).
static volatile bool busy = false;            ///< Flag de bloqueio durante operação
static volatile uint32_t last_press_time = 0; ///< Timestamp do último pressionamento válido


// Função de callback para desligar o LED após o tempo programado.
int64_t turn_off_callback(alarm_id_t id, void *user_data) {
    uint32_t led_state = (uint32_t)user_data;

    switch (led_state) {
        case 1:
            gpio_put(BLUE_PIN, 0);
            add_alarm_in_ms(3000, turn_off_callback, (void*)2, false);
            break;
        case 2:
            gpio_put(RED_PIN, 0);
            add_alarm_in_ms(3000, turn_off_callback, (void*)3, false);
        case 3:
            gpio_put(GREEN_PIN, 0);
            busy = false;
            break;
    }

    return 0;
}

void button_isr(uint gpio, uint32_t events) {
    if (gpio != BUTTON_PIN) return;

    uint32_t now = to_ms_since_boot(get_absolute_time());
    
    // Verificação de debounce e estado ocupado
    if ((now - last_press_time) > 250 && !busy) {
        busy = true;  // Bloqueia sistema durante operação
        
        // Ativa todos os LEDs
        gpio_put(BLUE_PIN, 1);
        gpio_put(RED_PIN, 1);
        gpio_put(GREEN_PIN, 1);
        
        // Agenda um alarme para desligar os LEDs após 3 segundos.
        add_alarm_in_ms(3000, turn_off_callback, (void*)1, false);
        
        last_press_time = now;  // Atualiza timestamp
    }
}

int main() {
    stdio_init_all();

    // Configuração dos LEDs como saída digital.
    gpio_init(GREEN_PIN);
    gpio_set_dir(GREEN_PIN, GPIO_OUT);
    gpio_put(GREEN_PIN, 0);

    gpio_init(RED_PIN);
    gpio_set_dir(RED_PIN, GPIO_OUT);
    gpio_put(RED_PIN, 0);

    gpio_init(BLUE_PIN);
    gpio_set_dir(BLUE_PIN, GPIO_OUT);
    gpio_put(BLUE_PIN, 0);

    // Configuração do botão como entrada digital.
    gpio_init(BUTTON_PIN);
    gpio_set_dir(BUTTON_PIN, GPIO_IN);
    gpio_pull_up(BUTTON_PIN); // botão não pressionado = nível alto

    // Configuração de interrupção
    gpio_set_irq_enabled_with_callback(BUTTON_PIN, GPIO_IRQ_EDGE_FALL, true, &button_isr);

    while (true) {
        sleep_ms(150);
    }

    return 0;
}