File content as of revision 8:4b3ff16d5f91:

/**
 * Debounces an InterruptIn
 */

/* 
Example:
InterruptIn up_button(p15);

void onUp()
{
    // Do Something
}

int main()
{
    DebounceInterrupts upD(&onUp, &up_button, INT_FALL, 100);
    while(1) {
        ...
    }
}
*/
 
#ifndef DEBOUNCE_INTERRUPTS_H
#define DEBOUNCE_INTERRUPTS_H

#include <stdint.h>
#include "mbed.h"

enum interruptTrigger{
    INT_FALL = 0,
    INT_RISE = 1
};

class DebounceInterrupts {
private:
    unsigned int _debounce_us;
    unsigned int _debounce_count;
    unsigned int _last_debounce_count;
    
    void (*fCallback)(void);
    void _onInterrupt(void);
    void _callback(void);
public:
    DebounceInterrupts(void (*fptr)(void),                  /* function to be called after debounced InterruptIn */
                       InterruptIn *interrupt,              /* InterruptIn to monitor */
                       const interruptTrigger& trigger,     /* true: rise, false: fall */
                       const uint32_t& debounce_ms=10);     /* stability duration required */
    ~DebounceInterrupts();
    /*
    * Get number of de-bounced interrupts
    * @return: debounced count
    */
    unsigned int get_debounce();
};
#endif