File content as of revision 12:7022ffaa74f5:

/**
* DebouncedInterrupt.h
* Monitors and debounces an InterruptIn
**/

/**
Example:
DebouncedInterrupt up_button(p15);

void onUp()
{
    // Do Something
}

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

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

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

class DebouncedInterrupt {
private:
    unsigned int _debounce_us;
    volatile unsigned int _debounce_count;
    volatile unsigned int _last_debounce_count;
    InterruptIn *_in;
    
    void (*fCallback)(void);
    void _onInterrupt(void);
    void _callback(void);
public:
    DebouncedInterrupt(PinName pin);
    ~DebouncedInterrupt();
    
    // Start monitoring the interupt and attach a callback
    void attach(void (*fptr)(void), const interruptTrigger& trigger, const uint32_t& debounce_ms=10);
   
    // Stop monitoring the interrupt
    void reset();
    
    
    /*
    * Get number of de-bounced interrupts
    * @return: debounced count
    */
    unsigned int get_debounce();
};
#endif