File content as of revision 0:3c54226368a9:

#include "mbed.h"

Serial pc(USBTX,  USBRX);
InterruptIn button1 (p12);
InterruptIn button2 (p13);
InterruptIn button3 (p14);
InterruptIn button4 (p15);
InterruptIn button5 (p16);

int down=0;
int left=0;
int center=0;
int up=0;
int right=0;

    void down_check()
                {
                    printf("Joystick is pressed towards DOWN direction\n\r");
                    wait (3);
                }
    void left_check()
                {
                    printf("Joystick is pressed towards LEFT direction\n\r");
                    wait (3);
                }
    void center_check()
                {
                    printf("Joystick is pressed towards CENTER direction\n\r");
                    wait (3);
                }
    void up_check()
                {
                    printf("Joystick is pressed towards UP direction\n\r");
                    wait (3);
                }
    void right_check()
                {
                    printf("Joystick is pressed towards RIGHT direction\n\r");
                    wait (3);
                }
                
                int main()
                        {
                            //timer_temp start();
                            button1.rise (&down_check);
                            button2.rise (&left_check);
                            button3.rise (&center_check);
                            button4.rise (&up_check);
                            button5.rise (&right_check);
                        }