Pushbotton Counter

push_button_t   button(pinBUTTON, LOW, 4);

void loop()
{
    switch ( button )
    {

The variable button is an instance of a class. It can't be used as in a switch statement.