synchconsole.h

Go to the documentation of this file.

#ifndef SYNCHCONSOLE_H
#define SYNCHCONSOLE_H

#include "copyright.h"
#include "utility.h"
#include "console.h"

class SynchConsole {
    public:
        SynchConsole(char *readFile, char *writeFile);
        // initialize the hardware console device
        ~SynchConsole(); // clean up console emulation
        void SynchPutChar(const char ch); // Unix putchar(3S)
        int SynchGetChar(); // Unix getchar(3S)
        void SynchPutString(const char *s); // Unix puts(3S)
        void SynchGetString(char *s, int n); // Unix fgets(3S)
        bool Feof(); // Unix Feof
        int fopen(const char* filename, unsigned int tid);
        int fgets(char* into, int FileDescriptor, int numBytes, unsigned int tid);
        int fputs(char* from, int fileDescriptor, int numBytes, unsigned int tid);
        void fseek(int fileDescriptor, int position, unsigned int tid);
        int fclose(int fileDescriptor, int* threadTableFileDescriptor, unsigned int tid);
        private:

    Console *console;
};
#endif // SYNCHCONSOLE_H