IPS(Interpreter for Process Structures) for mbed

Dependencies:   ConfigFile FATFileSystem mbed

IPS port from linux/unix version.

mbed_blinky.ips

0 VAR led1
" LED1 " DigitalOut led1 !
: main
    ANFANG
    1 JA?
      1 led1 @ write
      200 wait_ms
      0 led1 @ write
      200 wait_ms
    DANN/NOCHMAL
;
main
Committer:
va009039
Date:
Sat May 23 09:14:47 2015 +0000
Revision:
3:9f526f0d9720
Parent:
2:908338b1151a
Child:
4:b62b40563944
add TARGET_MBED_LPC1768

Who changed what in which revision?

UserRevisionLine numberNew contents of line
va009039 2:908338b1151a 1 // main.cpp 2015/5/23
va009039 2:908338b1151a 2 #include <new>
va009039 1:e74530ad6b9e 3 #include "mbed.h"
va009039 1:e74530ad6b9e 4 #include "BaseIPS.h"
va009039 1:e74530ad6b9e 5 #include "VideoRAM.h"
va009039 1:e74530ad6b9e 6 #include "VirtualRAM.h"
va009039 2:908338b1151a 7 #include "IPS-Mmbed_bin.h"
va009039 2:908338b1151a 8 #include "mbedAPI.h"
va009039 1:e74530ad6b9e 9 #include "ConfigFile.h"
va009039 1:e74530ad6b9e 10
va009039 2:908338b1151a 11 const char* CFG_FILE = "/local/ips.cfg";
va009039 1:e74530ad6b9e 12
va009039 3:9f526f0d9720 13 #if defined(TARGET_MBED_LPC1768)
va009039 3:9f526f0d9720 14 LocalFileSystem local("local");
va009039 3:9f526f0d9720 15 #else
va009039 3:9f526f0d9720 16 #include "SDFileSystem.h"
va009039 3:9f526f0d9720 17 SDFileSystem local(D11, D12, D13, D4, "local"); // mosi, miso, sclk, cs, name
va009039 1:e74530ad6b9e 18 #endif
va009039 1:e74530ad6b9e 19
va009039 1:e74530ad6b9e 20 RawSerial pc(USBTX,USBRX);
va009039 1:e74530ad6b9e 21
va009039 2:908338b1151a 22 template<class SERIAL_T>
va009039 1:e74530ad6b9e 23 class myips : public BaseIPS {
va009039 2:908338b1151a 24 VideoRAM<SERIAL_T> vram;
va009039 1:e74530ad6b9e 25 VirtualRAM mem;
va009039 2:908338b1151a 26 SERIAL_T& _pc;
va009039 2:908338b1151a 27 mbedAPI mbedapi;
va009039 1:e74530ad6b9e 28 Timer t20ms;
va009039 1:e74530ad6b9e 29 public:
va009039 2:908338b1151a 30 myips(SERIAL_T& pc): vram(pc),_pc(pc),mbedapi(*this) {
va009039 1:e74530ad6b9e 31 t20ms.reset();
va009039 1:e74530ad6b9e 32 t20ms.start();
va009039 1:e74530ad6b9e 33 }
va009039 2:908338b1151a 34 virtual uint8_t mem_peek(uint16_t a) {
va009039 1:e74530ad6b9e 35 return mem.peek(a);
va009039 1:e74530ad6b9e 36 }
va009039 2:908338b1151a 37 virtual void mem_poke(uint16_t a, uint8_t b) {
va009039 1:e74530ad6b9e 38 mem.poke(a, b);
va009039 1:e74530ad6b9e 39 vram.vpoke(a, b);
va009039 1:e74530ad6b9e 40 }
va009039 1:e74530ad6b9e 41 virtual void* file_open(const char* filename, const char* mode) {
va009039 2:908338b1151a 42 if (filename[0] == '/') {
va009039 2:908338b1151a 43 return fopen(filename, mode);
va009039 2:908338b1151a 44 }
va009039 2:908338b1151a 45 char path[128];
va009039 2:908338b1151a 46 snprintf(path, sizeof(path), "/local/%s", filename);
va009039 2:908338b1151a 47 return fopen(path, mode);
va009039 1:e74530ad6b9e 48 }
va009039 1:e74530ad6b9e 49 virtual int file_getc(void* handle) {
va009039 1:e74530ad6b9e 50 int c = fgetc((FILE*)handle);
va009039 1:e74530ad6b9e 51 return c == EOF ? (-1) : c;
va009039 1:e74530ad6b9e 52 }
va009039 1:e74530ad6b9e 53 virtual void file_putc(int c, void* handle) {
va009039 1:e74530ad6b9e 54 fputc(c, (FILE*)handle);
va009039 1:e74530ad6b9e 55 }
va009039 1:e74530ad6b9e 56 virtual bool file_close(void* handle) {
va009039 2:908338b1151a 57 return fclose((FILE*)handle) == 0 ? true : false;
va009039 1:e74530ad6b9e 58 }
va009039 1:e74530ad6b9e 59 virtual bool test_20ms() {
va009039 1:e74530ad6b9e 60 if (t20ms.read_ms() >= 20) {
va009039 1:e74530ad6b9e 61 t20ms.reset();
va009039 1:e74530ad6b9e 62 return true;
va009039 1:e74530ad6b9e 63 }
va009039 1:e74530ad6b9e 64 return false;
va009039 1:e74530ad6b9e 65 }
va009039 1:e74530ad6b9e 66
va009039 1:e74530ad6b9e 67 virtual void do_io() {
va009039 1:e74530ad6b9e 68 if (_pc.readable()) {
va009039 1:e74530ad6b9e 69 int c = _pc.getc();
va009039 1:e74530ad6b9e 70 if (c == '\n' || c == '\r') {
va009039 1:e74530ad6b9e 71 if (input_ptr != peek(a_PI)) {
va009039 1:e74530ad6b9e 72 pokeB(READYFLAG, 1);
va009039 1:e74530ad6b9e 73 poke(a_PE, input_ptr - 1);
va009039 1:e74530ad6b9e 74 }
va009039 1:e74530ad6b9e 75 else if (c == 0x08) // BS
va009039 1:e74530ad6b9e 76 if (input_ptr > 0) {
va009039 1:e74530ad6b9e 77 input_ptr--;
va009039 1:e74530ad6b9e 78 }
va009039 1:e74530ad6b9e 79 } else {
va009039 1:e74530ad6b9e 80 if (input_ptr <= TVE) {
va009039 1:e74530ad6b9e 81 pokeB(input_ptr++, c);
va009039 1:e74530ad6b9e 82 }
va009039 1:e74530ad6b9e 83 }
va009039 1:e74530ad6b9e 84 }
va009039 1:e74530ad6b9e 85 }
va009039 2:908338b1151a 86 virtual void usercode(uint16_t cpc) {
va009039 2:908338b1151a 87 switch(cpc) {
va009039 2:908338b1151a 88 case 80: break; // c_sleepifidle(void)
va009039 2:908338b1151a 89 case 96: mbedapi.code(); break;
va009039 2:908338b1151a 90 default: error("code(#%x) not implemented!", cpc);
va009039 2:908338b1151a 91 }
va009039 2:908338b1151a 92 }
va009039 1:e74530ad6b9e 93 };
va009039 1:e74530ad6b9e 94
va009039 2:908338b1151a 95 void no_memory () {
va009039 2:908338b1151a 96 perror("Failed to allocate memory!");
va009039 2:908338b1151a 97 }
va009039 2:908338b1151a 98
va009039 1:e74530ad6b9e 99 int main() {
va009039 2:908338b1151a 100 std::set_new_handler(no_memory);
va009039 2:908338b1151a 101
va009039 2:908338b1151a 102 char* image = NULL;
va009039 2:908338b1151a 103 char* cmd = NULL;
va009039 2:908338b1151a 104 if (CFG_FILE) {
va009039 2:908338b1151a 105 ConfigFile cfg;
va009039 2:908338b1151a 106 if(cfg.read(const_cast<char*>(CFG_FILE))) {
va009039 2:908338b1151a 107 char buf[128];
va009039 2:908338b1151a 108 if (cfg.getValue(const_cast<char*>("image"), buf, sizeof(buf))) {
va009039 2:908338b1151a 109 static char buf2[128];
va009039 2:908338b1151a 110 snprintf(buf2, sizeof(buf2), "%s", buf);
va009039 2:908338b1151a 111 image = buf2;
va009039 2:908338b1151a 112 }
va009039 2:908338b1151a 113 if (cfg.getValue(const_cast<char*>("file"), buf, sizeof(buf))) {
va009039 2:908338b1151a 114 static char buf2[128];
va009039 2:908338b1151a 115 snprintf(buf2, sizeof(buf2), "\" %s \" READ", buf);
va009039 2:908338b1151a 116 cmd = buf2;
va009039 2:908338b1151a 117 }
va009039 2:908338b1151a 118 if (cfg.getValue(const_cast<char*>("cmd"), buf, sizeof(buf))) {
va009039 2:908338b1151a 119 cmd = buf;
va009039 2:908338b1151a 120 }
va009039 1:e74530ad6b9e 121 }
va009039 1:e74530ad6b9e 122 }
va009039 1:e74530ad6b9e 123
va009039 2:908338b1151a 124 myips<RawSerial> ips(pc);
va009039 2:908338b1151a 125 if (image != NULL) {
va009039 2:908338b1151a 126 void* fh = ips.file_open(image, "rb");
va009039 2:908338b1151a 127 if (fh == NULL) {
va009039 2:908338b1151a 128 pc.printf("file open error [%s]\n", image);
va009039 2:908338b1151a 129 image = NULL;
va009039 2:908338b1151a 130 } else {
va009039 2:908338b1151a 131 for(int i = 0; i <= 65535; i++) {
va009039 2:908338b1151a 132 int c = ips.file_getc(fh);
va009039 2:908338b1151a 133 if (c == (-1)) {
va009039 2:908338b1151a 134 break;
va009039 2:908338b1151a 135 }
va009039 2:908338b1151a 136 ips.pokeB(i, c);
va009039 1:e74530ad6b9e 137 }
va009039 2:908338b1151a 138 ips.file_close(fh);
va009039 1:e74530ad6b9e 139 }
va009039 1:e74530ad6b9e 140 }
va009039 2:908338b1151a 141 if (image == NULL) {
va009039 2:908338b1151a 142 for(size_t i = 0; i < sizeof(IPS_Mmbed_bin); i++) {
va009039 2:908338b1151a 143 ips.pokeB(i, IPS_Mmbed_bin[i]);
va009039 2:908338b1151a 144 }
va009039 1:e74530ad6b9e 145 }
va009039 2:908338b1151a 146 if (cmd) {
va009039 2:908338b1151a 147 ips.command(cmd);
va009039 2:908338b1151a 148 }
va009039 2:908338b1151a 149 ips.emulator();
va009039 2:908338b1151a 150 std::exit(1);
va009039 1:e74530ad6b9e 151 }
va009039 1:e74530ad6b9e 152