Headers to include for Timer SDK

[cccc]

I'm trying to compile a program on mbed for a BLE Nano, which uses the nRF51822. I've included the nRF51822 library by Team Nordic that's listed on mbed's library wizard and have gotten GPIO working by including "nrf_gpio.h". I want to use the application timer library documented here. A section of my code:

uint32_t err_code = NRF_SUCCESS;
APP_TIMER_INIT(0, 1, NULL);
APP_TIMER_DEF(timer_handle);
err_code = app_timer_create(&timer_handle, APP_TIMER_MODE_REPEATED, timer_callback);
APP_ERROR_CHECK(err_code);
err_code = app_timer_start(&timer_handle, STATUS_CHECK_TIME, NULL);
APP_ERROR_CHECK(err_code);

gets flagged for undefined identifiers on everything timer related (APP_TIMER_INIT, app_timer_create, etc.) since I haven't included the header for the application timer library. Which header is this?

I can't find any condensed reference of which headers are needed for each library in the documentation, so if one exists, a link to that would be appreciated as well.

[Anders Strand]

You can use mBed standard libraries for things like this.

The "Ticker" Library till give you what you need. Here is a quick example i tried out.

#include "mbed.h"

DigitalOut myled(LED1);
Ticker timer;

void toggle(){
    myled = !myled;
}
int main(){
    timer.attach(&toggle, 1.0);
    while(1){
        }
}

This toggles led 1 every second.

-Anders