File content as of revision 2:8cc63f7a24cf:

#pragma once
#include "mbed.h"

#define BUFFER_WAIT_TIMEOUT 1000000

class Console {
    private:
        int _currentLine;
        int _usedLines;
        
        int _bufferWaitTimeout;
        char **_lines;

        int _linePos;
        int _prevLinePos;

        bool waitForInput();
        void loadPreviousBuffer();
        void loadNextBuffer();
        virtual void processCommand();
        void printLineBuffer();
        void printHistory();
        void printBuffer(int index);
        void reprintBuffer();
        void storeBuffer();  
        
    protected:
        char *_lineBuffer;
        int _lineLength;
        int _numLines;
        Serial *_terminal;
        void clearBuffer();
           
    public:
        Console(Serial *terminal, int lineLength, int numLines);
        ~Console();
        virtual void update();

};