#ifndef LEDSERVICE_H

#define LEDSERVICE_H
/****************************************************************************
Header file for LEDService
based on the Gen 2 Events and Services Framework
****************************************************************************/
#include <stdint.h>
#include <stdbool.h>
#include <stdio.h>
// Event
#include
#include
#include
#include
#include

Definitions
"ES_Configure.h" /* gets us event definitions */
"ES_Types.h"
/* gets bool type for returns */
"ES_Framework.h"
"ES_Events.h"
"ES_Port.h"

#include
#include
#include
#include
#include
#include

"termio.h"
"inc/hw_memmap.h"
"inc/hw_types.h"
"inc/hw_gpio.h"
"inc/hw_sysctl.h"
"driverlib/gpio.h"

#include "PWM10TIVA.h"
#include "DEFINITIONS.h"
#include "SRPWM.h"
typedef enum { LED_InitPState } LEDState_t ;
bool Init_LEDService(uint8_t Priority);
bool Post_LEDService(ES_Event ThisEvent);
ES_Event Run_LEDService(ES_Event ThisEvent);
uint32_t GetColor(uint8_t LEDidx);
void LED_SetColor(uint8_t STRIPidx, uint32_t RGB);
void LED_SetPWM(uint8_t PulseWidth, uint8_t LED_CHANNEL);
void LED_HWInit(void);
#endif