Rotary encoder switch

#include "mbed.h"
#include "QEI.h"

/*******************************************************************************
 * PIN configuration
 *    what component goes where... and what kind of signal is used
 *******************************************************************************/

// These are the pins used by the encoder rotary switch
InterruptIn ENCODER_Click(D6);
QEI         ENCODER_Wheel(D2,D3,NC,624);




/*******************************************************************************
 * CODE SPECIFIC TO THE ENCODER ROTARY SWITCH (SW11 ON SCHEMA)
 *******************************************************************************/
 
 // How many times the click button has been activated since last reset
 int ENCODER_ClickCounter=0;
 
 ///////////////////////////////////////////////////////////////////////////////
 // Reset the rotary switch
 // Parameters:
 //    Options: the sum of those options (or -1 for full option)
 //             1  reset the pulse counter to 0
 //             2  reset the clicked button status to 0
 //             
 // Return:
 //    none
void ENCODER_Reset(int Options)
   {
   if ((Options&1)!=0) { ENCODER_Wheel.reset(); }
   if ((Options&2)!=0) { ENCODER_ClickCounter=0; }
   }

 ///////////////////////////////////////////////////////////////////////////////
 // Has the rotary encoder been clicked since last reset ?
 // Parameters:
 //    Options: the sum of those options (or -1 for full option)
 //             1  reset click counter after reading
 // Return:
 //    0 for never clicked
 //    1 for clicked once
 //    2 for clicked twice
 //    ...
int ENCODER_Clicks(int Options)
   {
   int Answer=ENCODER_ClickCounter;
   if ((Options&1)!=0) { ENCODER_Reset(2); }
   return(Answer);
   }
   
 ///////////////////////////////////////////////////////////////////////////////
 // Rotary click interrupt handler
 // Parameters:
 //    none          
 // Return:
 //    none
void ENCODER_ClickHandle(void)
   {
   ENCODER_ClickCounter+=1;
   }

 ///////////////////////////////////////////////////////////////////////////////
 // Initialise the rotary switch
 // Parameters:
 //    none          
 // Return:
 //    none
void ENCODER_Initialise(void)
   {
   ENCODER_Click.rise(&ENCODER_ClickHandle);
   }




/*******************************************************************************
 * MAIN LOOP
 *******************************************************************************/
 
int main()
   {
   ENCODER_Initialise();
 
   while(1==1)
      {
      printf("------------------------------------\n\r");
      printf("ENC pulses %i\n\r", ENCODER_Wheel.getPulses());
      printf("ENC clicks %i\n\r", ENCODER_Clicks(0));
      wait(1);
      }
   }