project.json

{
  "id": "whitespace/burghard-wsinterws",
  "name": "wsinterws",
  "authors": ["Oliver Burghard"],
  "license": "GPL",
  "languages": ["Whitespace"],
  "tags": ["interpreter", "programs"],
  "date": "2003-04-24 18:52:12 +0000",
  "spec_version": "0.2",
  "source": [
    "https://web.archive.org/web/20030608024503/http://www.burghard.info:80/code/whitespace/wsinterws/index.html",
    "https://web.archive.org/web/20150803032955/http://www.burghard.info/Code/Whitespace/wsinterws.zip",
    "https://web.archive.org/web/20110911114338/http://www.burghard.info/Code/Whitespace/",
    "https://web.archive.org/web/20150717140342/http://compsoc.dur.ac.uk:80/whitespace/download.php",
    "https://github.com/wspace/burghard-wsinterws",
    "https://github.com/thaliaarchi/repo-archival/blob/main/scripts/wspace/burghard.sh"
  ],
  "submodules": [{ "path": "wsinterws", "url": "https://github.com/wspace/burghard-wsinterws" }],
  "relations": [{ "id": "haskell/burghard-wsa", "type": "assembly" }],
  "whitespace": { "extension": "ws" },
  "assembly": {
    "mnemonics": {
      "push": "push <number>",
      "dup": "doub",
      "swap": "swap",
      "drop": "pop",
      "add": ["add", "add <number>"],
      "sub": ["sub", "sub <number>"],
      "mul": "mul",
      "div": "div",
      "mod": "mod",
      "store": ["store", "store <addr>"],
      "retrieve": ["retrive", "retrive <addr>"],
      "label": "label",
      "call": "call",
      "jmp": "jump",
      "jz": "jumpz",
      "jn": "jumpn",
      "ret": "ret",
      "end": "exit",
      "printc": "outc",
      "printi": "outN",
      "readc": "inC",
      "readi": "inn",
      "dumpstack": "debug_printstack",
      "dumpheap": "debug_printheap"
    },
    "macros": [
      { "name": "test", "args": ["int"] },
      { "name": "pushs", "args": ["string"] },
      { "name": "include", "args": ["ident"] },
      { "name": "ifoption", "args": ["label"] },
      { "name": "endoption" },
      { "name": "jumpnz", "args": ["label"] },
      { "name": "jumpp", "args": ["label"] },
      { "name": "jumppz", "args": ["label"] }
    ],
    "patterns": { "label": "[a-zA-Z0-9_]+" },
    "case_sensitive_mnemonics": false,
    "line_comments": [";", "--"],
    "block_comments": [{ "start": "{-", "end": "-}", "nestable": true }],
    "indentation": "  ",
    "block_indentation": true,
    "usage": ["programs"],
    "extension": "wsa"
  },
  "programs": [{ "path": "wsinterws.wsa", "generated": "wsinterws.ws", "aux": ["run.txt"] }]
}