File content as of revision 18:e6e9bc6402b7:

/** A replacement for InterruptIn that debounces the interrupt
 *  Anil Kandangath
 *
 * @code
 *
 * #include "DebouncedInterrupt.h"
 *
 * DebouncedInterrupt up_button(p15);
 * 
 * void onUp()
 * {
 *    // Do Something
 * }
 * 
 * int main()
 * {
 *     up_button.attach(&onUp,IRQ_FALL, 100);
 *     while(1) {
 *         ...
 *     }
 * }
 * @endcode
 */
 
#ifndef DEBOUNCED_INTERRUPT_H
#define DEBOUNCED_INTERRUPT_H

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

/**
typedef enum {
    IRQ_NONE,
    IRQ_RISE,
    IRQ_FALL
} gpio_irq_event;
**/

class DebouncedInterrupt {
private:
    unsigned int _debounce_us;
    InterruptIn *_in;
    DigitalIn *_din;
    gpio_irq_event _trigger;
    
    // Diagnostics
    volatile unsigned int _bounce_count;
    volatile unsigned int _last_bounce_count;
    
    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 gpio_irq_event trigger, const uint32_t& debounce_ms=10);
   
    // Stop monitoring the interrupt
    void reset();
    
    
    /*
    * Get number of bounces 
    * @return: bounce count
    */
    unsigned int get_bounce();
};
#endif