#include "picoc.h"


/* deallocate any storage */
void PlatformCleanup()
{
}

/* get a line of interactive input */
char *PlatformGetLine(char *Buf, int MaxLen)
{
    int ix;
    char ch, *cp;
    
    ix = 0;
    cp = Buf;
    while (ix++ < MaxLen) {
        ch = getch();
        if (ch == 0x1B) { // ESC character - exit
            printf("leaving picoC\n\r");
            return NULL;
        }
        if (ch == '\n') {
            *cp++ = '\n';  // if newline, send newline character followed by null
            *cp = 0;
            return Buf;
        }
        *cp++ = ch;
        ix++;
    }
    return NULL;
}

/* write a character to the console */
void PlatformPutc(unsigned char OutCh)
{
    putchar(OutCh);
}

/* write a character to the console */
int PlatformGetc()
{
    return getch();
}

/* mark where to end the program for platforms which require this */
int PlatformSetExitPoint()
{
    return 0;
}

/* exit the program */
extern int errjmp[];

void PlatformExit()
{
    errjmp[40] = 1;
    longjmp(errjmp, 1);
}