@dodona/papyros 0.1.2-rc → 0.1.4-rc

package/dist/114.index.js

@@ -0,0 +1 @@
+"use strict";exports.id=114,exports.ids=[114],exports.modules={872:(e,t,n)=>{var r;n.d(t,{z:()=>c}),function(e){e.Python="Python",e.JavaScript="JavaScript"}(r||(r={})),r.Python,r.JavaScript,new Map([["python",r.Python],["javascript",r.JavaScript]]),r.Python;var o,a=function(e,t){var n="function"==typeof Symbol&&e[Symbol.iterator];if(!n)return e;var r,o,a=n.call(e),i=[];try{for(;(void 0===t||t-- >0)&&!(r=a.next()).done;)i.push(r.value)}catch(e){o={error:e}}finally{try{r&&!r.done&&(n=a.return)&&n.call(a)}finally{if(o)throw o.error}}return i},i=function(e,t,n){if(n||2===arguments.length)for(var r,o=0,a=t.length;o<a;o++)!r&&o in t||(r||(r=Array.prototype.slice.call(t,0,o)),r[o]=t[o]);return e.concat(r||Array.prototype.slice.call(t))};function s(e){for(var t=[],n=1;n<arguments.length;n++)t[n-1]=arguments[n];var r=e!==o.Debug;r&&(e===o.Error?console.error.apply(console,i([],a(t),!1)):console.log.apply(console,i([],a(t),!1)))}!function(e){e[e.Debug=0]="Debug",e[e.Error=1]="Error",e[e.Important=2]="Important"}(o||(o={}));var c=function(){function e(){this.onEvent=function(){},this.runId=0}return e.prototype.launch=function(e,t,n){var r=this,o=function(e,t){if(e&&t){var n=new TextDecoder;return function(){for(;"timed-out"===Atomics.wait(t,0,0,100););Atomics.store(t,0,0);var r=Atomics.exchange(t,1,0),o=e.slice(0,r);return n.decode(o)}}return function(){var e=new XMLHttpRequest;do{e.open("GET","/__papyros_input",!1),e.send(null)}while(e.status>=400);return e.responseText}}(t,n);return this.onEvent=function(t){if(t.runId=r.runId,e(t),"input"===t.type)return o()},Promise.resolve()},e.prototype.runCode=function(e,t){return n=this,r=void 0,i=function(){var n,r,a;return function(e,t){var n,r,o,a,i={label:0,sent:function(){if(1&o[0])throw o[1];return o[1]},trys:[],ops:[]};return a={next:s(0),throw:s(1),return:s(2)},"function"==typeof Symbol&&(a[Symbol.iterator]=function(){return this}),a;function s(a){return function(s){return function(a){if(n)throw new TypeError("Generator is already executing.");for(;i;)try{if(n=1,r&&(o=2&a[0]?r.return:a[0]?r.throw||((o=r.return)&&o.call(r),0):r.next)&&!(o=o.call(r,a[1])).done)return o;switch(r=0,o&&(a=[2&a[0],o.value]),a[0]){case 0:case 1:o=a;break;case 4:return i.label++,{value:a[1],done:!1};case 5:i.label++,r=a[1],a=[0];continue;case 7:a=i.ops.pop(),i.trys.pop();continue;default:if(!((o=(o=i.trys).length>0&&o[o.length-1])||6!==a[0]&&2!==a[0])){i=0;continue}if(3===a[0]&&(!o||a[1]>o[0]&&a[1]<o[3])){i.label=a[1];break}if(6===a[0]&&i.label<o[1]){i.label=o[1],o=a;break}if(o&&i.label<o[2]){i.label=o[2],i.ops.push(a);break}o[2]&&i.ops.pop(),i.trys.pop();continue}a=t.call(e,i)}catch(e){a=[6,e],r=0}finally{n=o=0}if(5&a[0])throw a[1];return{value:a[0]?a[1]:void 0,done:!0}}([a,s])}}}(this,(function(i){switch(i.label){case 0:this.runId=t,s(o.Debug,"Running code in worker: ",e),i.label=1;case 1:return i.trys.push([1,3,,4]),[4,this._runCodeInternal(e)];case 2:return n=i.sent(),s(o.Important,"ran code: "+e+" and received: ",n),[2,this.onEvent({type:"success",data:n,runId:t})];case 3:return r=i.sent(),a="toString"in r?r.toString():JSON.stringify(r),s(o.Error,"Error during execution: ",r,a),[2,this.onEvent({type:"error",data:a,runId:t})];case 4:return[2]}}))},new((a=void 0)||(a=Promise))((function(e,t){function o(e){try{c(i.next(e))}catch(e){t(e)}}function s(e){try{c(i.throw(e))}catch(e){t(e)}}function c(t){var n;t.done?e(t.value):(n=t.value,n instanceof a?n:new a((function(e){e(n)}))).then(o,s)}c((i=i.apply(n,r||[])).next())}));var n,r,a,i},e}()},375:(e,t,n)=>{n.d(t,{Jj:()=>u});const r=Symbol("Comlink.proxy"),o=Symbol("Comlink.endpoint"),a=Symbol("Comlink.releaseProxy"),i=Symbol("Comlink.thrown"),s=e=>"object"==typeof e&&null!==e||"function"==typeof e,c=new Map([["proxy",{canHandle:e=>s(e)&&e[r],serialize(e){const{port1:t,port2:n}=new MessageChannel;return u(e,t),[n,[n]]},deserialize:e=>(e.start(),f(e,[],undefined))}],["throw",{canHandle:e=>s(e)&&i in e,serialize({value:e}){let t;return t=e instanceof Error?{isError:!0,value:{message:e.message,name:e.name,stack:e.stack}}:{isError:!1,value:e},[t,[]]},deserialize(e){if(e.isError)throw Object.assign(new Error(e.value.message),e.value);throw e.value}}]]);function u(e,t=self){t.addEventListener("message",(function n(o){if(!o||!o.data)return;const{id:a,type:s,path:c}=Object.assign({path:[]},o.data),p=(o.data.argumentList||[]).map(v);let f;try{const t=c.slice(0,-1).reduce(((e,t)=>e[t]),e),n=c.reduce(((e,t)=>e[t]),e);switch(s){case"GET":f=n;break;case"SET":t[c.slice(-1)[0]]=v(o.data.value),f=!0;break;case"APPLY":f=n.apply(t,p);break;case"CONSTRUCT":f=function(e){return Object.assign(e,{[r]:!0})}(new n(...p));break;case"ENDPOINT":{const{port1:t,port2:n}=new MessageChannel;u(e,n),f=function(e,t){return d.set(e,t),e}(t,[t])}break;case"RELEASE":f=void 0;break;default:return}}catch(e){f={value:e,[i]:0}}Promise.resolve(f).catch((e=>({value:e,[i]:0}))).then((e=>{const[r,o]=y(e);t.postMessage(Object.assign(Object.assign({},r),{id:a}),o),"RELEASE"===s&&(t.removeEventListener("message",n),l(t))}))})),t.start&&t.start()}function l(e){(function(e){return"MessagePort"===e.constructor.name})(e)&&e.close()}function p(e){if(e)throw new Error("Proxy has been released and is not useable")}function f(e,t=[],n=function(){}){let r=!1;const i=new Proxy(n,{get(n,o){if(p(r),o===a)return()=>m(e,{type:"RELEASE",path:t.map((e=>e.toString()))}).then((()=>{l(e),r=!0}));if("then"===o){if(0===t.length)return{then:()=>i};const n=m(e,{type:"GET",path:t.map((e=>e.toString()))}).then(v);return n.then.bind(n)}return f(e,[...t,o])},set(n,o,a){p(r);const[i,s]=y(a);return m(e,{type:"SET",path:[...t,o].map((e=>e.toString())),value:i},s).then(v)},apply(n,a,i){p(r);const s=t[t.length-1];if(s===o)return m(e,{type:"ENDPOINT"}).then(v);if("bind"===s)return f(e,t.slice(0,-1));const[c,u]=h(i);return m(e,{type:"APPLY",path:t.map((e=>e.toString())),argumentList:c},u).then(v)},construct(n,o){p(r);const[a,i]=h(o);return m(e,{type:"CONSTRUCT",path:t.map((e=>e.toString())),argumentList:a},i).then(v)}});return i}function h(e){const t=e.map(y);return[t.map((e=>e[0])),(n=t.map((e=>e[1])),Array.prototype.concat.apply([],n))];var n}const d=new WeakMap;function y(e){for(const[t,n]of c)if(n.canHandle(e)){const[r,o]=n.serialize(e);return[{type:"HANDLER",name:t,value:r},o]}return[{type:"RAW",value:e},d.get(e)||[]]}function v(e){switch(e.type){case"HANDLER":return c.get(e.name).deserialize(e.value);case"RAW":return e.value}}function m(e,t,n){return new Promise((r=>{const o=new Array(4).fill(0).map((()=>Math.floor(Math.random()*Number.MAX_SAFE_INTEGER).toString(16))).join("-");e.addEventListener("message",(function t(n){n.data&&n.data.id&&n.data.id===o&&(e.removeEventListener("message",t),r(n.data))})),e.start&&e.start(),e.postMessage(Object.assign({id:o},t),n)}))}}};

package/dist/572.index.js

@@ -0,0 +1 @@
+!function(t,e){"object"==typeof exports&&"object"==typeof module?module.exports=e():"function"==typeof define&&define.amd?define([],e):"object"==typeof exports?exports.Papyros=e():t.Papyros=e()}(global,(function(){return(()=>{"use strict";var t,e,n,r={572:(t,e,n)=>{var r,o=n(375),i=n(872),s=(r=function(t,e){return r=Object.setPrototypeOf||{__proto__:[]}instanceof Array&&function(t,e){t.__proto__=e}||function(t,e){for(var n in e)Object.prototype.hasOwnProperty.call(e,n)&&(t[n]=e[n])},r(t,e)},function(t,e){if("function"!=typeof e&&null!==e)throw new TypeError("Class extends value "+String(e)+" is not a constructor or null");function n(){this.constructor=t}r(t,e),t.prototype=null===e?Object.create(e):(n.prototype=e.prototype,new n)}),a=function(t,e,n,r){return new(n||(n=Promise))((function(o,i){function s(t){try{u(r.next(t))}catch(t){i(t)}}function a(t){try{u(r.throw(t))}catch(t){i(t)}}function u(t){var e;t.done?o(t.value):(e=t.value,e instanceof n?e:new n((function(t){t(e)}))).then(s,a)}u((r=r.apply(t,e||[])).next())}))},u=function(t,e){var n,r,o,i,s={label:0,sent:function(){if(1&o[0])throw o[1];return o[1]},trys:[],ops:[]};return i={next:a(0),throw:a(1),return:a(2)},"function"==typeof Symbol&&(i[Symbol.iterator]=function(){return this}),i;function a(i){return function(a){return function(i){if(n)throw new TypeError("Generator is already executing.");for(;s;)try{if(n=1,r&&(o=2&i[0]?r.return:i[0]?r.throw||((o=r.return)&&o.call(r),0):r.next)&&!(o=o.call(r,i[1])).done)return o;switch(r=0,o&&(i=[2&i[0],o.value]),i[0]){case 0:case 1:o=i;break;case 4:return s.label++,{value:i[1],done:!1};case 5:s.label++,r=i[1],i=[0];continue;case 7:i=s.ops.pop(),s.trys.pop();continue;default:if(!((o=(o=s.trys).length>0&&o[o.length-1])||6!==i[0]&&2!==i[0])){s=0;continue}if(3===i[0]&&(!o||i[1]>o[0]&&i[1]<o[3])){s.label=i[1];break}if(6===i[0]&&s.label<o[1]){s.label=o[1],o=i;break}if(o&&s.label<o[2]){s.label=o[2],s.ops.push(i);break}o[2]&&s.ops.pop(),s.trys.pop();continue}i=e.call(t,s)}catch(t){i=[6,t],r=0}finally{n=o=0}if(5&i[0])throw i[1];return{value:i[0]?i[1]:void 0,done:!0}}([i,a])}}};importScripts("https://cdn.jsdelivr.net/pyodide/v0.18.1/full/pyodide.js");var l=function(t){function e(){var e=t.call(this)||this;return e.pyodide={},e.initialized=!1,e.globals=new Map,e}return s(e,t),e.prototype.launch=function(e,n,r){return a(this,void 0,void 0,(function(){var o,i,s=this;return u(this,(function(a){switch(a.label){case 0:return[4,t.prototype.launch.call(this,e,n,r)];case 1:return a.sent(),[4,loadPyodide({indexURL:"https://cdn.jsdelivr.net/pyodide/v0.18.1/full/",fullStdLib:!1})];case 2:return o=a.sent(),this.pyodide=o,[4,this.runCode('\nfrom pyodide import to_js\nimport sys\n\ndef __override_builtins(cb):\n    __capture_stdout(cb)\n    __override_stdin(cb)\n    # set name to main instead of builtins\n    globals()["__name__"] = "__main__"\n\ndef __capture_stdout(cb):\n    class _OutputWriter:\n        def __init__(self):\n            self.encoding = "utf-8"\n            \n        def write(self, s):\n            cb(to_js({"type": "output", "data":s}))\n\n        def flush(self):\n            pass # Given data is always immediately written\n\n    sys.stdout = _OutputWriter()\n\n__papyros_input = ""\ndef __override_stdin(cb):\n    def __papyros_readline(n=-1):\n        global __papyros_input\n        if not __papyros_input:\n            __papyros_input = cb(to_js({"type": "input", "data":"next line"})) + "\\n"\n        if n < 0 or n > len(__papyros_input):\n            n = len(__papyros_input)\n        to_return = __papyros_input[0:n]\n        __papyros_input = __papyros_input[n:]\n        return to_return\n\n    sys.stdin.readline = __papyros_readline\n',0)];case 3:return a.sent(),i=function(t){var e="toJs"in t?t.toJs():Object.fromEntries(t);return s.onEvent(e)},this.pyodide.globals.get("__override_builtins")(i),this.globals=new Map(this.pyodide.globals.toJs()),this.initialized=!0,[2]}}))}))},e.prototype._cleanScope=function(){var t,e,n=this.pyodide.globals,r=[];try{for(var o=function(t){var e="function"==typeof Symbol&&Symbol.iterator,n=e&&t[e],r=0;if(n)return n.call(t);if(t&&"number"==typeof t.length)return{next:function(){return t&&r>=t.length&&(t=void 0),{value:t&&t[r++],done:!t}}};throw new TypeError(e?"Object is not iterable.":"Symbol.iterator is not defined.")}(n.keys()),i=o.next();!i.done;i=o.next()){var s=i.value;this.globals.has(s)?n.set(s,this.globals.get(s)):r.push(s)}}catch(e){t={error:e}}finally{try{i&&!i.done&&(e=o.return)&&e.call(o)}finally{if(t)throw t.error}}r.forEach((function(t){return n.delete(t)}))},e.prototype._runCodeInternal=function(t){return a(this,void 0,void 0,(function(){var e;return u(this,(function(n){switch(n.label){case 0:return[4,this.pyodide.loadPackagesFromImports(t)];case 1:return n.sent(),this.initialized?(e=this.pyodide.runPython(t),this._cleanScope(),[2,e]):[2,this.pyodide.runPythonAsync(t)]}}))}))},e}(i.z);(0,o.Jj)(new l)}},o={};function i(t){var e=o[t];if(void 0!==e)return e.exports;var n=o[t]={exports:{}};return r[t](n,n.exports,i),n.exports}return i.m=r,i.x=()=>{var t=i.O(void 0,[114],(()=>i(572)));return i.O(t)},t=[],i.O=(e,n,r,o)=>{if(!n){var s=1/0;for(p=0;p<t.length;p++){for(var[n,r,o]=t[p],a=!0,u=0;u<n.length;u++)(!1&o||s>=o)&&Object.keys(i.O).every((t=>i.O[t](n[u])))?n.splice(u--,1):(a=!1,o<s&&(s=o));if(a){t.splice(p--,1);var l=r();void 0!==l&&(e=l)}}return e}o=o||0;for(var p=t.length;p>0&&t[p-1][2]>o;p--)t[p]=t[p-1];t[p]=[n,r,o]},i.d=(t,e)=>{for(var n in e)i.o(e,n)&&!i.o(t,n)&&Object.defineProperty(t,n,{enumerable:!0,get:e[n]})},i.f={},i.e=t=>Promise.all(Object.keys(i.f).reduce(((e,n)=>(i.f[n](t,e),e)),[])),i.u=t=>t+".index.js",i.o=(t,e)=>Object.prototype.hasOwnProperty.call(t,e),n={572:1},i.O.require=t=>n[t],i.f.require=(t,e)=>{n[t]||(t=>{var e=t.modules,r=t.ids,o=t.runtime;for(var s in e)i.o(e,s)&&(i.m[s]=e[s]);o&&o(i);for(var a=0;a<r.length;a++)n[r[a]]=1;i.O()})(require("./"+i.u(t)))},e=i.x,i.x=()=>(i.e(114),e()),i.x()})()}));

package/dist/806.index.js

@@ -0,0 +1 @@
+!function(r,n){"object"==typeof exports&&"object"==typeof module?module.exports=n():"function"==typeof define&&define.amd?define([],n):"object"==typeof exports?exports.Papyros=n():r.Papyros=n()}(global,(function(){return(()=>{"use strict";var r,n,t,e={806:(r,n,t)=>{var e,o=t(375),i=t(872),a=(e=function(r,n){return e=Object.setPrototypeOf||{__proto__:[]}instanceof Array&&function(r,n){r.__proto__=n}||function(r,n){for(var t in n)Object.prototype.hasOwnProperty.call(n,t)&&(r[t]=n[t])},e(r,n)},function(r,n){if("function"!=typeof n&&null!==n)throw new TypeError("Class extends value "+String(n)+" is not a constructor or null");function t(){this.constructor=r}e(r,n),r.prototype=null===n?Object.create(n):(t.prototype=n.prototype,new t)}),s=function(r,n){var t="function"==typeof Symbol&&r[Symbol.iterator];if(!t)return r;var e,o,i=t.call(r),a=[];try{for(;(void 0===n||n-- >0)&&!(e=i.next()).done;)a.push(e.value)}catch(r){o={error:r}}finally{try{e&&!e.done&&(t=i.return)&&t.call(i)}finally{if(o)throw o.error}}return a},u=function(r){function n(){return null!==r&&r.apply(this,arguments)||this}return a(n,r),n.prototype._runCodeInternal=function(r){var n,t,e=new Map([["prompt","__prompt"],["console.log","__papyros_log"],["console.error","__papyros_error"]]),o={__onEvent:this.onEvent.bind(this)},i=[],a=[];for(var u in o)Object.prototype.hasOwnProperty.call(o,u)&&a.push("const "+u+" = ctx['"+u+"'];");try{for(var l=function(r){var n="function"==typeof Symbol&&Symbol.iterator,t=n&&r[n],e=0;if(t)return t.call(r);if(r&&"number"==typeof r.length)return{next:function(){return r&&e>=r.length&&(r=void 0),{value:r&&r[e++],done:!r}}};throw new TypeError(n?"Object is not iterable.":"Symbol.iterator is not defined.")}(e.entries()),p=l.next();!p.done;p=l.next()){var f=s(p.value,2),c=f[0],y=f[1];a.push(y+" = "+c),i.push(c+" = "+y)}}catch(r){n={error:r}}finally{try{p&&!p.done&&(t=l.return)&&t.call(l)}finally{if(n)throw n.error}}a.push('\nfunction prompt(text="", defaultText=""){\n    __onEvent({"type": "output", "data": text});\n    const promptedValue = __onEvent({"type": "input", "data": text});\n    __onEvent({"type": "output", "data": promptedValue + "\\n"});\n    return promptedValue;\n}\nfunction __stringify(args, addNewline=false){\n    let asString = "";\n    if(Array.isArray(args)){\n        if(args.length === 1){\n            asString = JSON.stringify(args[0]);\n        } else {\n            asString = args.map(s => {\n                if(typeof s === \'string\' || s instanceof String){\n                    return s; // prevent spurious quotes\n                } else {\n                    return JSON.stringify(s);\n                }\n            }).join(" ");\n        }\n    } else {\n        asString = JSON.stringify(args);\n    }\n    if(addNewline){\n        asString += "\\n";\n    }\n    return asString;\n}\nconsole.log = (...args) => {\n    __onEvent({"type": "output", "data": __stringify(args, true)});\n}\nconsole.error = (...args) => {\n    __onEvent({"type": "error", "data": __stringify(args, true)});\n}\n        '),a.push("\ntry {\n"+r+"\n} finally {\n"+i.join("\n")+"\n}\n        ");var v=a.join("\n");return Promise.resolve(new Function("ctx",v)(o))},n}(i.z);(0,o.Jj)(new u)}},o={};function i(r){var n=o[r];if(void 0!==n)return n.exports;var t=o[r]={exports:{}};return e[r](t,t.exports,i),t.exports}return i.m=e,i.x=()=>{var r=i.O(void 0,[114],(()=>i(806)));return i.O(r)},r=[],i.O=(n,t,e,o)=>{if(!t){var a=1/0;for(p=0;p<r.length;p++){for(var[t,e,o]=r[p],s=!0,u=0;u<t.length;u++)(!1&o||a>=o)&&Object.keys(i.O).every((r=>i.O[r](t[u])))?t.splice(u--,1):(s=!1,o<a&&(a=o));if(s){r.splice(p--,1);var l=e();void 0!==l&&(n=l)}}return n}o=o||0;for(var p=r.length;p>0&&r[p-1][2]>o;p--)r[p]=r[p-1];r[p]=[t,e,o]},i.d=(r,n)=>{for(var t in n)i.o(n,t)&&!i.o(r,t)&&Object.defineProperty(r,t,{enumerable:!0,get:n[t]})},i.f={},i.e=r=>Promise.all(Object.keys(i.f).reduce(((n,t)=>(i.f[t](r,n),n)),[])),i.u=r=>r+".index.js",i.o=(r,n)=>Object.prototype.hasOwnProperty.call(r,n),t={806:1},i.O.require=r=>t[r],i.f.require=(r,n)=>{t[r]||(r=>{var n=r.modules,e=r.ids,o=r.runtime;for(var a in n)i.o(n,a)&&(i.m[a]=n[a]);o&&o(i);for(var s=0;s<e.length;s++)t[e[s]]=1;i.O()})(require("./"+i.u(r)))},n=i.x,i.x=()=>(i.e(114),n()),i.x()})()}));

package/dist/index.d.ts

@@ -0,0 +1,189 @@
+declare module Papyros
+{
+	import { PapyrosEvent } from "./PapyrosEvent";
+	export abstract class Backend {
+	    onEvent: (e: PapyrosEvent) => any;
+	    runId: number;
+	    constructor();
+	    /**
+	     * Initialize the backend, setting up any globals required
+	     * @param {function(PapyrosEvent):void} onEvent Callback for when events occur
+	     * @param {Uint8Array} inputTextArray Optional shared buffer for input
+	     * @param {Int32Array} inputMetaData Optional shared buffer for metadata about input
+	     * @return {Promise<void>} Promise of launching
+	     */
+	    launch(onEvent: (e: PapyrosEvent) => void, inputTextArray?: Uint8Array, inputMetaData?: Int32Array): Promise<void>;
+	    abstract _runCodeInternal(code: string): Promise<any>;
+	    /**
+	     * Validate and run arbitrary code
+	     * @param {string} code The code to run
+	     * @param {string} runId The uuid for this execution
+	     * @return {Promise<void>} Promise of execution
+	     */
+	    runCode(code: string, runId: number): Promise<void>;
+	}
+
+	import { Remote } from "comlink";
+	import { Backend } from "./Backend";
+	import { ProgrammingLanguage } from "./ProgrammingLanguage";
+	export function getBackend(language: ProgrammingLanguage): Remote<Backend>;
+	export function stopBackend(backend: Remote<Backend>): void;
+
+	import { Compartment } from "@codemirror/state";
+	import { ProgrammingLanguage } from "./ProgrammingLanguage";
+	import { EditorView } from "@codemirror/view";
+	export class CodeEditor {
+	    editorView: EditorView;
+	    languageCompartment: Compartment;
+	    indentCompartment: Compartment;
+	    constructor(element: HTMLElement, language: ProgrammingLanguage, initialCode?: string, indentLength?: number);
+	    setLanguage(language: ProgrammingLanguage): void;
+	    setIndentLength(indentLength: number): void;
+	    getCode(): string;
+	}
+
+	import { ProgrammingLanguage } from "./ProgrammingLanguage";
+	export const MAIN_APP_ID = "papyros";
+	export const OUTPUT_TA_ID = "code-output-area";
+	export const INPUT_TA_ID = "code-input-area";
+	export const EDITOR_WRAPPER_ID = "code-area";
+	export const STATE_SPINNER_ID = "state-spinner";
+	export const APPLICATION_STATE_TEXT_ID = "application-state-text";
+	export const RUN_BTN_ID = "run-code-btn";
+	export const TERMINATE_BTN_ID = "terminate-btn";
+	export const PROGRAMMING_LANGUAGE_SELECT_ID = "programming-language-select";
+	export const DEFAULT_PROGRAMMING_LANGUAGE = ProgrammingLanguage.Python;
+	export const LOCALE_SELECT_ID = "locale-select";
+	export const DEFAULT_LOCALE = "nl";
+	export const INPUT_RELATIVE_URL = "/__papyros_input";
+	export const SERVICE_WORKER_PATH = "./inputServiceWorker.js";
+
+	export {};
+
+	import "./Papyros.css";
+	import { Remote } from "comlink";
+	import { Backend } from "./Backend";
+	import { CodeEditor } from "./CodeEditor";
+	import { PapyrosEvent } from "./PapyrosEvent";
+	import { ProgrammingLanguage } from "./ProgrammingLanguage";
+	enum PapyrosState {
+	    Loading = "loading",
+	    Running = "running",
+	    AwaitingInput = "awaiting_input",
+	    Terminating = "terminating",
+	    Ready = "ready"
+	}
+	class PapyrosStateManager {
+	    state: PapyrosState;
+	    stateSpinner: HTMLElement;
+	    stateText: HTMLElement;
+	    runButton: HTMLButtonElement;
+	    terminateButton: HTMLButtonElement;
+	    constructor();
+	    setState(state: PapyrosState, message?: string): void;
+	}
+	interface PapyrosCodeState {
+	    programmingLanguage: ProgrammingLanguage;
+	    editor: CodeEditor;
+	    backend: Remote<Backend>;
+	    runId: number;
+	    outputArea: HTMLInputElement;
+	}
+	interface PapyrosInputState {
+	    lineNr: number;
+	    textEncoder: TextEncoder;
+	    inputArea: HTMLInputElement;
+	    inputTextArray?: Uint8Array;
+	    inputMetaData?: Int32Array;
+	}
+	interface PapyrosConfig {
+	    standAlone: boolean;
+	    locale: string;
+	    programmingLanguage: ProgrammingLanguage;
+	}
+	export class Papyros {
+	    stateManager: PapyrosStateManager;
+	    codeState: PapyrosCodeState;
+	    inputState: PapyrosInputState;
+	    constructor(programmingLanguage: ProgrammingLanguage, inputTextArray?: Uint8Array, inputMetaData?: Int32Array);
+	    launch(): Promise<Papyros>;
+	    setProgrammingLanguage(programmingLanguage: ProgrammingLanguage): Promise<void>;
+	    startBackend(): Promise<void>;
+	    static fromElement(parent: HTMLElement, config: PapyrosConfig): Promise<Papyros>;
+	    onError(e: PapyrosEvent): void;
+	    sendInput(): Promise<boolean>;
+	    onInput(e: PapyrosEvent): Promise<void>;
+	    onMessage(e: PapyrosEvent): void;
+	    runCode(): Promise<void>;
+	    terminate(): Promise<void>;
+	}
+	export {};
+
+	export interface PapyrosEvent {
+	    type: "input" | "output" | "script" | "success" | "error";
+	    data: string;
+	    runId: number;
+	}
+
+	export enum ProgrammingLanguage {
+	    Python = "Python",
+	    JavaScript = "JavaScript"
+	}
+	export const PROGRAMMING_LANGUAGES: ProgrammingLanguage[];
+	export function plFromString(language: string): ProgrammingLanguage;
+
+	export const TRANSLATIONS: {
+	    en: {
+	        Papyros: {
+	            Papyros: string;
+	            enter_code: string;
+	            enter_input: string;
+	            code_output: string;
+	            run: string;
+	            terminate: string;
+	            running: string;
+	            terminating: string;
+	            loading: string;
+	            awaiting_input: string;
+	            ready: string;
+	            finished: string;
+	            programming_language: string;
+	            Python: string;
+	            JavaScript: string;
+	        };
+	    };
+	    nl: {
+	        Papyros: {
+	            Papyros: string;
+	            enter_code: string;
+	            enter_input: string;
+	            code_output: string;
+	            run: string;
+	            terminate: string;
+	            running: string;
+	            terminating: string;
+	            loading: string;
+	            awaiting_input: string;
+	            ready: string;
+	            finished: string;
+	            programming_language: string;
+	            Python: string;
+	            JavaScript: string;
+	        };
+	    };
+	};
+
+	export enum LogType {
+	    Debug = 0,
+	    Error = 1,
+	    Important = 2
+	}
+	export function papyrosLog(logType: LogType, ...args: any[]): void;
+
+	export {};
+
+	export {};
+
+	export const INITIALIZATION_CODE = "\nfrom pyodide import to_js\nimport sys\n\ndef __override_builtins(cb):\n    __capture_stdout(cb)\n    __override_stdin(cb)\n    # set name to main instead of builtins\n    globals()[\"__name__\"] = \"__main__\"\n\ndef __capture_stdout(cb):\n    class _OutputWriter:\n        def __init__(self):\n            self.encoding = \"utf-8\"\n            \n        def write(self, s):\n            cb(to_js({\"type\": \"output\", \"data\":s}))\n\n        def flush(self):\n            pass # Given data is always immediately written\n\n    sys.stdout = _OutputWriter()\n\n__papyros_input = \"\"\ndef __override_stdin(cb):\n    def __papyros_readline(n=-1):\n        global __papyros_input\n        if not __papyros_input:\n            __papyros_input = cb(to_js({\"type\": \"input\", \"data\":\"next line\"})) + \"\\n\"\n        if n < 0 or n > len(__papyros_input):\n            n = len(__papyros_input)\n        to_return = __papyros_input[0:n]\n        __papyros_input = __papyros_input[n:]\n        return to_return\n\n    sys.stdin.readline = __papyros_readline\n";
+
+}