LCOM1920-T5G03

#include <lcom/lcf.h>

#include <lcom/lab2.h>

#include <stdbool.h>

#include <stdint.h>

#include "timer.h"

int main(int argc, char *argv[]) {

  // sets the language of LCF messages (can be either EN-US or PT-PT)

  lcf_set_language("EN-US");

  // enables to log function invocations that are being "wrapped" by LCF

  // [comment this out if you don't want/need it]

  lcf_trace_calls("/home/lcom/labs/lab2/trace.txt");

  // enables to save the output of printf function calls on a file

  // [comment this out if you don't want/need it]

  lcf_log_output("/home/lcom/labs/lab2/output.txt");

  // handles control over to LCF

  // [LCF handles command line arguments and invokes the right function]

  if (lcf_start(argc, argv))

    return 1;

  // LCF clean up tasks

  // [must be the last statement before return]

  lcf_cleanup();

  return 0;

}

int(timer_test_read_config)(uint8_t timer, enum timer_status_field field){

    uint8_t state = 0;

    if(timer_get_conf(timer, &state)) return 1;

    if(timer_display_conf(timer, state, field)) return 1;

    return 0;

}

int(timer_test_time_base)(uint8_t timer, uint32_t freq) {

    if (timer_set_frequency(timer, freq)) return 1;

    return 0;

}

int(timer_test_int)(uint8_t time) {

    const int frequency = 60; // Frequency asummed at 60Hz

    int ipc_status, r;

    message msg;

    uint8_t timer_id = 0;

    no_interrupts = 0;

    if (timer_subscribe_int(&timer_id)) return 1;

    int irq_set = BIT(timer_id);

    while (time) {

        /* Get a request message. */

        if ((r = driver_receive(ANY, &msg, &ipc_status)) != 0) {

            printf("driver_receive failed with %d", r);

            continue;

        }

        if (is_ipc_notify(ipc_status)) { /* received notification */

            switch (_ENDPOINT_P(msg.m_source)) {

                case HARDWARE: /* hardware interrupt notification */

                    if (msg.m_notify.interrupts & irq_set) { /* subscribed interrupt */

                        timer_int_handler();

                        if (!(no_interrupts % frequency)) { /* second elapsed */

                            timer_print_elapsed_time();

                            time--;

                        }

                    }

                    break;

                default:

                    break; /* no other notifications expected: do nothing */

            }

        } else { /* received standart message, not a notification */

            /* no standart message expected: do nothing */

        }

    }

    if (timer_unsubscribe_int()) return 1;

    return 0;

}