Add files via upload

layout with initial sidebar, and possible future library

Author: chuyiting

library_function/code_runner.js

@@ -0,0 +1,15 @@
+import React from "react"
+
+'use strict';
+
+
+function () {
+  return (
+    <div>
+      
+    </div>
+  )
+}
+
+export default 
+

library_function/module_loader.js

@@ -0,0 +1,59 @@
+'use strict';
+
+const ModuleLoader = (function() {
+  function stringFromFile(path) { // private
+    let request = new XMLHttpRequest();
+    request.open('GET', path, false);
+    request.send(null);
+    return request.responseText;
+  }
+
+  function getModuleDirList() {
+    let data = stringFromFile('modules/modules.json');
+    let obj = JSON.parse(data);
+    if (obj['module_dirs'] === undefined) {
+      throw 'Invalid modules.json: key "module_dirs" is missing';
+    }
+    return obj['module_dirs'];
+  }
+
+  function loadModule(moduleDirList, moduleName, usedSymbols = []) {
+    let dirname = moduleDirList[moduleName];
+    if (dirname === undefined) {
+      throw 'Unknown module: ' + moduleName;
+    }
+    let modulePath = 'modules/' + dirname;
+    let moduleObj = JSON.parse(stringFromFile(modulePath + '/module_config.json'));
+    let sourceFileNames = moduleObj['module_source_files'];
+    let allSymbols = moduleObj['module_symbols'];
+    for (let url of sourceFileNames) {
+      dynamicallyLoadScript(modulePath + '/' + url);
+      blockUnusedSymbols(allSymbols, usedSymbols);
+    }
+  }
+
+  function dynamicallyLoadScript(url) { // private
+    let script = document.createElement('script');
+    script.src = url;
+    script.async = false;
+    script.defer = true;
+    document.body.appendChild(script);
+  }
+
+  function blockUnusedSymbols(allSymbols, usedSymbols) {
+    let unusedSymbols = allSymbols.filter(x => !usedSymbols.includes(x));
+    let scriptText = '';
+    for (let symbol of unusedSymbols) {
+      scriptText += `${symbol} = undefined;\n`
+    }
+    let script = document.createElement('script');
+    script.text = script;
+    script.async = false;
+    document.body.appendChild(script);
+  }
+
+  return {
+    loadModule: loadModule,
+    getModuleDirList: getModuleDirList
+  };
+})();

library_function/modules/base_env/README.md

@@ -0,0 +1,16 @@
+RUNES is a library for realising the picture language of
+<a href="https://sicp.comp.nus.edu.sg/chapters/33">section
+2.2.4 Example: A Picture Language</a>
+of the textbook
+<a href="https://sicp.comp.nus.edu.sg">Structure and Interpretation
+of Computer Programs, JavaScript Adaptation</a> (SICP JS). 
+It provides primitive values, called runes, such
+as `heart` and `circle`, operations such as `beside`
+to construct more complex runes from simpler ones, and ways
+to display runes, in two-dimensional and three-dimensional
+space.
+
+On the right, you see all predeclared names of the RUNES library,
+in alphabetical
+order. Click on a name to see how it is defined and used.
+

library_function/modules/base_env/module_config.json

@@ -0,0 +1,50 @@
+{
+  "module_name": "BASE",
+  "module_prefix": "",
+  "module_source_files": [
+    "src/list.js",
+    "src/tree.js",
+    "src/core.js"
+  ],
+  "module_symbols": [
+    "pair",
+    "is_pair",
+    "head",
+    "tail",
+    "is_null",
+    "is_list",
+    "list",
+    "length",
+    "map",
+    "reverse",
+    "append",
+    "member",
+    "remove",
+    "equal",
+    "filter",
+    "enum_list",
+    "list_ref",
+    "accumulate",
+    "set_head",
+    "set_tail",
+    "make_empty_tree",
+    "is_tree",
+    "make_tree",
+    "is_empty_tree",
+    "entry",
+    "left_branch",
+    "right_branch",
+    "display",
+    "math_abs"
+  ],
+  "module_undocumented_symbols": [
+    "array_test",
+    "list_to_vector",
+    "vector_to_list",
+    "build_list",
+    "build",
+    "for_each",
+    "remove_all",
+    "assoc"
+  ]
+}

library_function/modules/base_env/src/core.js

@@ -0,0 +1,12 @@
+'use strict';
+
+function display(text) {
+  let outputDiv = document.getElementById('output-div');
+  let element = document.createElement('p');
+  element.appendChild(document.createTextNode(text));
+  outputDiv.appendChild(element);
+}
+
+function math_abs(x) {
+  return Math.abs(x);
+}