Revise paste asd rev_08

/********* Pleasedontcode.com **********

Pleasedontcode thanks you for automatic code generation! Enjoy your code!

- Terms and Conditions:
	You have a non-exclusive, revocable, worldwide, royalty-free license
	for personal and commercial use. Attribution is optional; modifications
	are allowed, but you're responsible for code maintenance. We're not
	liable for any loss or damage. For full terms,
	please visit pleasedontcode.com/termsandconditions.

- Project: asd
	- Source Code compiled for: Arduino Pro Mini 5V
	- Source Code created on: 2023-09-13 16:16:34
	- Source Code generated by: AlexWind

********* Pleasedontcode.com **********/
/****** DEFINITION OF LIBRARIES *****/
#include <Arduino.h>
#include <GRGB.h>
#include <SerialManager.h>

/****** SYSTEM REQUIREMENT 1 *****/
/* activate three leds to manage a traffic light */
/****** SYSTEM REQUIREMENT 2 *****/
/* Spegni led */

/****** FUNCTION PROTOTYPES *****/
void setup(void);
void loop(void);

/***** DEFINITION OF DIGITAL INPUT PINS *****/
const uint8_t eccolo_PushButton_PIN_D5 = 5;

/***** DEFINITION OF DIGITAL OUTPUT PINS *****/
const uint8_t rbg_LEDRGB_Red_PIN_D2 = 2;
const uint8_t rbg_LEDRGB_Green_PIN_D3 = 3;
const uint8_t rbg_LEDRGB_Blue_PIN_D4 = 4;

/****** FUNCTION PROTOTYPES *****/
static void activateTrafficLight();
static void turnOffLEDs();

void setup(void)
{
    // put your setup code here, to run once:
    pinMode(eccolo_PushButton_PIN_D5, INPUT_PULLUP);

pinMode(rbg_LEDRGB_Red_PIN_D2, OUTPUT);
    pinMode(rbg_LEDRGB_Green_PIN_D3, OUTPUT);
    pinMode(rbg_LEDRGB_Blue_PIN_D4, OUTPUT);
}

void loop(void)
{
    // put your main code here, to run repeatedly:
}

/**
 * @brief Activates three LEDs to manage a traffic light.
 */
static void activateTrafficLight()
{
    digitalWrite(rbg_LEDRGB_Red_PIN_D2, HIGH);
    digitalWrite(rbg_LEDRGB_Green_PIN_D3, HIGH);
    digitalWrite(rbg_LEDRGB_Blue_PIN_D4, HIGH);
}

/**
 * @brief Turns off all LEDs.
 */
static void turnOffLEDs()
{
    digitalWrite(rbg_LEDRGB_Red_PIN_D2, LOW);
    digitalWrite(rbg_LEDRGB_Green_PIN_D3, LOW);
    digitalWrite(rbg_LEDRGB_Blue_PIN_D4, LOW);
}