File content as of revision 3:6c6446382bb2:

#ifndef IOFUNCLIB_H
#define IOFUNCLIB_H
#include <string>

#include "mbed.h"

class Flasher
{
public:
    Flasher(PinName pin);
    void flash(int n);
    void onOff(bool n);
    void notPin();

private:
    DigitalOut _pin;
};


class Screen
{
public:
    Screen(Serial* ps);
    void banner();
    void pressed();
    //vettore schermo
    void commitScreen();
    void emptyFrame();
    void clearScreen(char upperx, char uppery, char loverx, char lowery);
    void writeScreen(char sstr[], char xx, char yy);

private:
    /**
     * Receive bytes from the serial port and store it into the receive queue.
     */
    Serial* _ps;
    // vettore schermo
    char svec[80][24] ;
};

class genFunctions
{
public:
    //genFunctions();
    char* xsubstr(char* arr, int begin, int len);
    string addEOS(string sttde) ;
    string subEOS(string sttde) ;
    char* string2char(string sttde);
private:
};

#endif