@dodona/papyros 3.0.2 → 4.0.0-beta.2

package/dist/frontend/components/code_mirror/MaterialTheme.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MaterialTheme.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/MaterialTheme.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGxC,MAAM,CAAC,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC;IAC1C,cAAc,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE;IACpC,GAAG,EAAE;QACD,MAAM,EAAE,MAAM,EAAE,0BAA0B;QAC1C,KAAK,EAAE,MAAM,EAAE,yBAAyB;QACxC,WAAW,EAAE,MAAM,EAAE,+CAA+C;QACpE,eAAe,EAAE,+CAA+C;QAChE,KAAK,EAAE,mCAAmC;KAC7C;IAED,aAAa,EAAE;QACX,eAAe,EAAE,uCAAuC;QACxD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;QACd,QAAQ,EAAE,MAAM;KACnB;IAED,aAAa,EAAE;QACX,KAAK,EAAE,mCAAmC;KAC7C;IAED,sCAAsC,EAAE;QACpC,eAAe,EAAE,6EAA6E;KACjG;IAED,cAAc,EAAE;QACZ,OAAO,EAAE,MAAM;KAClB;IAED,yBAAyB,EAAE;QACvB,eAAe,EAAE,6EAA6E;KACjG;IAED,4BAA4B,EAAE;QAC1B,UAAU,EAAE,sDAAsD;KACrE;IAED,aAAa,EAAE;QACX,eAAe,EAAE,6BAA6B;QAC9C,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,6BAA6B;QAExC,qBAAqB,EAAE;YACnB,eAAe,EAAE,+BAA+B;YAChD,KAAK,EAAE,kCAAkC;SAC5C;KACJ;IAED,YAAY,EAAE;QACV,eAAe,EAAE,uCAAuC;QACxD,KAAK,EAAE,gCAAgC;QACvC,MAAM,EAAE,MAAM;KACjB;IAED,iBAAiB,EAAE;QACf,eAAe,EAAE,oEAAoE;KACxF;IACD,yCAAyC,EAAE;QACvC,eAAe,EAAE,0EAA0E;QAC3F,OAAO,EAAE,uCAAuC;KACnD;IACD,oBAAoB,EAAE;QAClB,eAAe,EAAE,oEAAoE;KACxF;IACD,YAAY,EAAE;QACV,UAAU,EAAE,qCAAqC;QACjD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;KACjB;IACD,kBAAkB,EAAE;QAChB,UAAU,EAAE,+BAA+B;QAC3C,KAAK,EAAE,kCAAkC;KAC5C;IACD,eAAe,EAAE;QACb,UAAU,EAAE,qCAAqC;QACjD,KAAK,EAAE,wCAAwC;QAC/C,MAAM,EAAE,MAAM;KACjB;IACD,qBAAqB,EAAE;QACnB,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,uCAAuC;KACrD;CAEJ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAEpB,MAAM,CAAC,MAAM,iBAAiB,GAAG,cAAc,CAAC,MAAM,CAAC;IACnD,WAAW;IACX,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,KAAK,EAAE,wCAAwC,EAAE;IAE9H,uBAAuB;IACvB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,6BAA6B,EAAE;IAClI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,6BAA6B,EAAE,SAAS,EAAE,QAAQ,EAAE;IAEhH,QAAQ;IACR,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE;IACxG,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,8BAA8B,EAAE,SAAS,EAAE,QAAQ,EAAE;IACrG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC,aAAa,CAAE,EAAE,KAAK,EAAE,8BAA8B,EAAE;IACvG,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,6BAA6B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,EAAE,6BAA6B,EAAE,SAAS,EAAE,QAAQ,EAAE;IAElF,WAAW;IACX,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC5D,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAC1D,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,+BAA+B,EAAE;IAE1D,sBAAsB;IACtB,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,cAAc,EAAE,WAAW,EAAE;IACnD,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE;IACxC,EAAE,GAAG,EAAE,IAAI,CAAC,aAAa,EAAE,cAAc,EAAE,cAAc,EAAE;IAC3D,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,mCAAmC,EAAE;IAErF,iBAAiB;IACjB,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE;IACzD,EAAE,GAAG,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,2BAA2B,EAAE;IACzD,EAAE,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,EAAE,mCAAmC,EAAE,UAAU,EAAE,MAAM,EAAE;IAEtF,cAAc;IACd,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,mCAAmC,EAAE;CACxG,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,QAAQ,GAAc,CAAC,aAAa,EAAE,kBAAkB,CAAC,iBAAiB,CAAC,CAAC,CAAC"}

package/dist/frontend/components/code_runner/ButtonLint.d.ts

@@ -0,0 +1,9 @@
+import { CSSResult, TemplateResult } from "lit";
+import { PapyrosElement } from "../PapyrosElement";
+import "@material/web/button/filled-button";
+import "@material/web/button/outlined-button";
+export declare class ButtonLint extends PapyrosElement {
+    static get styles(): CSSResult;
+    get buttons(): TemplateResult | TemplateResult[];
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/code_runner/ButtonLint.js

@@ -0,0 +1,76 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { customElement } from "lit/decorators.js";
+import { css, html } from "lit";
+import { RunState } from "../../state/Runner";
+import { PapyrosElement } from "../PapyrosElement";
+import { RunMode } from "../../../backend/Backend";
+import "@material/web/button/filled-button";
+import "@material/web/button/outlined-button";
+let ButtonLint = class ButtonLint extends PapyrosElement {
+    static get styles() {
+        return css `
+            :host {
+                display: flex;
+                justify-content: space-between;
+                height: fit-content;
+                padding: 0.5rem;
+                gap: 1rem;
+                flex-wrap: wrap;
+            }
+            
+            .buttons {
+                display: flex;
+                gap: 0.5rem;
+                flex-wrap: wrap;
+            }
+        `;
+    }
+    get buttons() {
+        if (this.papyros.runner.state === RunState.Ready) {
+            if (this.papyros.debugger.active) {
+                return html `
+                    <md-outlined-button @click=${() => this.papyros.debugger.active = false}>
+                        <span slot="icon">${this.papyros.constants.icons.stopDebug}</span>
+                        ${this.t("Papyros.debug.stop")}
+                    </md-outlined-button>`;
+            }
+            else {
+                return [
+                    html `
+                    <md-filled-button @click=${() => this.papyros.runner.start(RunMode.Run)}>
+                        <span slot="icon">${this.papyros.constants.icons[RunMode.Run]}</span>
+                        ${this.t(`Papyros.run_modes.${RunMode.Run}`)}
+                    </md-filled-button>`,
+                    ...this.papyros.runner.runModes.map(mode => html `
+                        <md-outlined-button @click=${() => this.papyros.runner.start(mode)}>
+                            <span slot="icon">${this.papyros.constants.icons[mode]}</span>
+                            ${this.t(`Papyros.run_modes.${mode}`)}
+                        </md-outlined-button>`)
+                ];
+            }
+        }
+        else {
+            return html `
+                <md-filled-button @click=${() => this.papyros.runner.stop()}>
+                    <span slot="icon">${this.papyros.constants.icons.stop}</span>
+                    ${this.t("Papyros.stop")}
+                </md-filled-button>`;
+        }
+    }
+    render() {
+        return html `
+            <div class="buttons">${this.buttons}</div>
+            <div class="buttons"><slot></slot></div>
+        `;
+    }
+};
+ButtonLint = __decorate([
+    customElement("p-button-lint")
+], ButtonLint);
+export { ButtonLint };
+//# sourceMappingURL=ButtonLint.js.map

package/dist/frontend/components/code_runner/ButtonLint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ButtonLint.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/ButtonLint.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,oCAAoC,CAAC;AAC5C,OAAO,sCAAsC,CAAC;AAGvC,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,cAAc;IAC1C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;;;;;;SAeT,CAAA;IACL,CAAC;IAED,IAAI,OAAO;QACP,IAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;YAC9C,IAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAC9B,OAAO,IAAI,CAAA;iDACsB,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,KAAK;4CAC/C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS;0BACxD,IAAI,CAAC,CAAC,CAAC,oBAAoB,CAAC;0CACZ,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACJ,OAAO;oBACH,IAAI,CAAA;+CACuB,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;4CAC/C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;0BAC3D,IAAI,CAAC,CAAC,CAAC,qBAAqB,OAAO,CAAC,GAAG,EAAE,CAAC;wCAC5B;oBACpB,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAA;qDACf,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC;gDAC1C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC;8BACpD,IAAI,CAAC,CAAC,CAAC,qBAAqB,IAAI,EAAE,CAAC;8CACnB,CAAC;iBAC9B,CAAA;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,OAAO,IAAI,CAAA;2CACoB,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE;wCACnC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI;sBACnD,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;oCACR,CAAC;QAC7B,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;mCACgB,IAAI,CAAC,OAAO;;SAEtC,CAAC;IACN,CAAC;CACJ,CAAA;AAzDY,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CAyDtB"}

package/dist/frontend/components/code_runner/Code.d.ts

@@ -0,0 +1,7 @@
+import { CSSResult, TemplateResult } from "lit";
+import "../code_mirror/CodeEditor";
+import { PapyrosElement } from "../PapyrosElement";
+export declare class Code extends PapyrosElement {
+    static get styles(): CSSResult;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/code_runner/Code.js

@@ -0,0 +1,46 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { css, html } from "lit";
+import "../code_mirror/CodeEditor";
+import { customElement } from "lit/decorators.js";
+import { PapyrosElement } from "../PapyrosElement";
+let Code = class Code extends PapyrosElement {
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                height: 100%;
+            }
+        `;
+    }
+    render() {
+        return html `
+            <p-code-editor
+                .testLineCount=${this.papyros.test.testLineCount}
+                .programmingLanguage=${this.papyros.runner.programmingLanguage}
+                .debug=${this.papyros.debugger.active}
+                .debugLine=${this.papyros.debugger.debugLine}
+                .value=${this.papyros.runner.code}
+                .lintingSource=${this.papyros.runner.lintSource.bind(this.papyros.runner)}
+                .indentLength=${this.papyros.constants.indentationSize}
+                .translations=${this.papyros.i18n.getTranslations("CodeMirror")}
+                .theme=${this.papyros.constants.CodeMirrorTheme}
+                .placeholder=${this.t("Papyros.code_placeholder", { programmingLanguage: this.papyros.runner.programmingLanguage })}
+                .testLines=${this.papyros.test.testLines}
+                .testTranslations=${this.papyros.i18n.getTranslations("Papyros.editor.test_code")}
+                @edit-test-code=${() => this.papyros.test.testLineCount = undefined}
+                @remove-test-code=${() => this.papyros.test.testCode = undefined}
+                @change=${(e) => this.papyros.runner.code = e.detail}
+            ></p-code-editor>
+        `;
+    }
+};
+Code = __decorate([
+    customElement("p-code")
+], Code);
+export { Code };
+//# sourceMappingURL=Code.js.map

package/dist/frontend/components/code_runner/Code.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Code.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/Code.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,2BAA2B,CAAA;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAG5C,IAAM,IAAI,GAAV,MAAM,IAAK,SAAQ,cAAc;IACpC,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;SAKT,CAAA;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;iCAEc,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa;uCACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB;yBACrD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;6BACxB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS;yBACnC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI;iCAChB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gCACzD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;gCACtC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC;yBACtD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;+BAChC,IAAI,CAAC,CAAC,CAAC,0BAA0B,EAAE,EAAE,mBAAmB,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;6BACtG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS;oCACpB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,0BAA0B,CAAC;kCAC/D,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,GAAG,SAAS;oCAC/C,GAAG,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,GAAG,SAAS;0BACtD,CAAC,CAAc,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM;;SAExE,CAAA;IACL,CAAC;CACJ,CAAA;AA/BY,IAAI;IADhB,aAAa,CAAC,QAAQ,CAAC;GACX,IAAI,CA+BhB"}

package/dist/frontend/components/code_runner/RunState.d.ts

@@ -0,0 +1,7 @@
+import { PapyrosElement } from "../PapyrosElement";
+import { CSSResult, TemplateResult } from "lit";
+import "@material/web/progress/circular-progress";
+export declare class RunStateEl extends PapyrosElement {
+    static get styles(): CSSResult;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/code_runner/RunState.js

@@ -0,0 +1,41 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { customElement } from "lit/decorators.js";
+import { PapyrosElement } from "../PapyrosElement";
+import { RunState } from "../../state/Runner";
+import { css, html } from "lit";
+import "@material/web/progress/circular-progress";
+let RunStateEl = class RunStateEl extends PapyrosElement {
+    static get styles() {
+        return css `
+            :host {
+                display: flex;
+                align-items: center;
+                gap: 0.5rem;
+            }
+            
+            md-circular-progress {
+                --md-circular-progress-size: 2rem;
+            }
+        `;
+    }
+    render() {
+        if (!this.papyros.runner.stateMessage)
+            return html ``;
+        return html `
+            ${this.papyros.runner.state === RunState.Ready ? "" : html `
+                <md-circular-progress indeterminate></md-circular-progress>
+            `}
+            ${this.papyros.runner.stateMessage}
+        `;
+    }
+};
+RunStateEl = __decorate([
+    customElement("p-run-state")
+], RunStateEl);
+export { RunStateEl };
+//# sourceMappingURL=RunState.js.map

package/dist/frontend/components/code_runner/RunState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RunState.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_runner/RunState.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,0CAA0C,CAAC;AAG3C,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,cAAc;IAC1C,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;SAUT,CAAC;IACN,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY;YAAE,OAAO,IAAI,CAAA,EAAE,CAAC;QAErD,OAAO,IAAI,CAAA;cACL,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAM,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;;aAE1D;cACC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY;SACrC,CAAA;IACL,CAAC;CACJ,CAAA;AAzBY,UAAU;IADtB,aAAa,CAAC,aAAa,CAAC;GAChB,UAAU,CAyBtB"}

package/dist/frontend/components/input/BatchInput.d.ts

@@ -0,0 +1,19 @@
+import { CSSResult, TemplateResult } from "lit";
+import "../code_mirror/BatchInputEditor";
+import { PapyrosElement } from "../PapyrosElement";
+export declare class BatchInput extends PapyrosElement {
+    buffer: string;
+    unsubscribe: () => void;
+    static get styles(): CSSResult;
+    get usedLines(): number | undefined;
+    /**
+     * All lines except the last one that has not (yet) been terminated by a newline
+     */
+    get lines(): string[];
+    get nextLine(): string | undefined;
+    get placeholder(): string;
+    connectedCallback(): void;
+    disconnectedCallback(): void;
+    provideInput(): void;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/input/BatchInput.js

@@ -0,0 +1,92 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { customElement, property } from "lit/decorators.js";
+import { css, html } from "lit";
+import "../code_mirror/BatchInputEditor";
+import { RunState } from "../../state/Runner";
+import { PapyrosElement } from "../PapyrosElement";
+let BatchInput = class BatchInput extends PapyrosElement {
+    constructor() {
+        super(...arguments);
+        this.buffer = "";
+        this.unsubscribe = () => { };
+    }
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                height: 100%;
+                overflow: auto;
+                display: block;
+            }
+        `;
+    }
+    get usedLines() {
+        if (this.papyros.debugger.active && this.papyros.debugger.debugUsedInputs !== undefined) {
+            return this.papyros.debugger.debugUsedInputs;
+        }
+        return this.papyros.io.inputs.length;
+    }
+    /**
+     * All lines except the last one that has not (yet) been terminated by a newline
+     */
+    get lines() {
+        return this.buffer.split("\n").slice(0, -1);
+    }
+    get nextLine() {
+        if (this.usedLines !== undefined && this.lines.length > this.usedLines) {
+            return this.lines[this.usedLines];
+        }
+        return undefined;
+    }
+    get placeholder() {
+        if (this.papyros.io.prompt) {
+            return this.papyros.io.prompt;
+        }
+        return this.t("Papyros.input_placeholder.batch");
+    }
+    connectedCallback() {
+        super.connectedCallback();
+        this.unsubscribe = this.papyros.io.subscribe(() => this.provideInput(), "awaitingInput");
+    }
+    disconnectedCallback() {
+        super.disconnectedCallback();
+        this.unsubscribe();
+    }
+    provideInput() {
+        if (this.papyros.io.awaitingInput && this.nextLine !== undefined) {
+            this.papyros.io.provideInput(this.nextLine);
+        }
+    }
+    render() {
+        return html `
+            <p-batch-input-editor
+                .value=${this.buffer}
+                .usedLines=${this.usedLines}
+                .readOnly=${this.papyros.debugger.active && this.papyros.runner.state === RunState.Ready}
+                .placeholder=${this.placeholder}
+                .translations=${this.papyros.i18n.getTranslations("CodeMirror")}
+                .theme=${this.papyros.constants.CodeMirrorTheme}
+                @change=${(e) => {
+            this.buffer = e.detail;
+            this.provideInput();
+            if (!this.papyros.debugger.active && this.papyros.runner.state === RunState.Ready) {
+                this.papyros.io.clearInputs();
+            }
+        }}
+            ></p-batch-input-editor>
+        `;
+    }
+};
+__decorate([
+    property({ state: true })
+], BatchInput.prototype, "buffer", void 0);
+BatchInput = __decorate([
+    customElement("p-batch-input")
+], BatchInput);
+export { BatchInput };
+//# sourceMappingURL=BatchInput.js.map

package/dist/frontend/components/input/BatchInput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"BatchInput.js","sourceRoot":"","sources":["../../../../src/frontend/components/input/BatchInput.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3D,OAAO,iCAAiC,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAG5C,IAAM,UAAU,GAAhB,MAAM,UAAW,SAAQ,cAAc;IAAvC;;QAEC,WAAM,GAAW,EAAE,CAAC;QACxB,gBAAW,GAAe,GAAG,EAAE,GAAE,CAAC,CAAC;IA4EvC,CAAC;IA1EG,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;SAOT,CAAC;IACN,CAAC;IAED,IAAI,SAAS;QACT,IAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;YACrF,OAAO,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC;QACjD,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;IACzC,CAAC;IAED;;OAEG;IACH,IAAI,KAAK;QACL,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,IAAI,QAAQ;QACR,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;YACrE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC;QACD,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,IAAI,WAAW;QACX,IAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC;YACxB,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC;QAClC,CAAC;QACD,OAAO,IAAI,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAA;IACpD,CAAC;IAED,iBAAiB;QACb,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,eAAe,CAAC,CAAC;IAC7F,CAAC;IAED,oBAAoB;QAChB,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC7B,IAAI,CAAC,WAAW,EAAE,CAAC;IACvB,CAAC;IAED,YAAY;QACR,IAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC9D,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChD,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;yBAEM,IAAI,CAAC,MAAM;6BACP,IAAI,CAAC,SAAS;4BACf,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;+BACzE,IAAI,CAAC,WAAW;gCACf,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC;yBACtD,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,eAAe;0BACrC,CAAC,CAAc,EAAE,EAAE;YACrC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;YACvB,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAG,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;gBAC/E,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC;YAClC,CAAC;QACL,CAAC;;SAEI,CAAA;IACL,CAAC;CACJ,CAAA;AA7EO;IADH,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;0CACF;AAFf,UAAU;IADtB,aAAa,CAAC,eAAe,CAAC;GAClB,UAAU,CA+EtB"}

package/dist/frontend/components/input/InteractiveInput.d.ts

@@ -0,0 +1,13 @@
+import { Ref } from "lit/directives/ref.js";
+import { CSSResult, PropertyValues, TemplateResult } from "lit";
+import { PapyrosElement } from "../PapyrosElement";
+import "@material/web/textfield/outlined-text-field";
+import "@material/web/button/outlined-button";
+export declare class InteractiveInput extends PapyrosElement {
+    value: string;
+    inputRef: Ref<HTMLInputElement>;
+    static get styles(): CSSResult;
+    provideInput(): void;
+    protected updated(_changedProperties: PropertyValues): void;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/input/InteractiveInput.js

@@ -0,0 +1,73 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { customElement, property } from "lit/decorators.js";
+import { createRef, ref } from "lit/directives/ref.js";
+import { css, html } from "lit";
+import { PapyrosElement } from "../PapyrosElement";
+import "@material/web/textfield/outlined-text-field";
+import "@material/web/button/outlined-button";
+let InteractiveInput = class InteractiveInput extends PapyrosElement {
+    constructor() {
+        super(...arguments);
+        this.value = "";
+        this.inputRef = createRef();
+    }
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                display: flex;
+                gap: 0.5rem;
+            }
+            
+            md-outlined-text-field {
+                flex-grow: 1;
+            }
+        `;
+    }
+    provideInput() {
+        this.papyros.io.provideInput(this.value);
+        this.value = "";
+    }
+    updated(_changedProperties) {
+        super.updated(_changedProperties);
+        if (this.papyros.io.awaitingInput) {
+            this.inputRef.value.focus();
+        }
+    }
+    render() {
+        return html `
+            <md-outlined-text-field
+                    type="text"
+                   .value=${this.value}
+                   @input=${(e) => this.value = e.target.value}
+                   @keydown=${(e) => {
+            if (e.key === "Enter") {
+                e.preventDefault();
+                this.provideInput();
+            }
+        }}
+                   placeholder=${this.papyros.io.prompt || this.t("Papyros.input_placeholder.interactive")}
+                   ?disabled=${!this.papyros.io.awaitingInput}
+                   ${ref(this.inputRef)}
+            ></md-outlined-text-field>
+            <md-outlined-button
+                    @click=${() => this.provideInput()} 
+                    ?disabled=${!this.papyros.io.awaitingInput}>
+                ${this.t("Papyros.enter")}
+            </md-outlined-button>
+        `;
+    }
+};
+__decorate([
+    property({ state: true })
+], InteractiveInput.prototype, "value", void 0);
+InteractiveInput = __decorate([
+    customElement("p-interactive-input")
+], InteractiveInput);
+export { InteractiveInput };
+//# sourceMappingURL=InteractiveInput.js.map

package/dist/frontend/components/input/InteractiveInput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"InteractiveInput.js","sourceRoot":"","sources":["../../../../src/frontend/components/input/InteractiveInput.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAO,GAAG,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAa,IAAI,EAAkC,MAAM,KAAK,CAAC;AAC3E,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,6CAA6C,CAAC;AACrD,OAAO,sCAAsC,CAAC;AAGvC,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,cAAc;IAA7C;;QACwB,UAAK,GAAW,EAAE,CAAC;QAC9C,aAAQ,GAA0B,SAAS,EAAE,CAAC;IAmDlD,CAAC;IAjDG,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;;;;;;SAUT,CAAC;IACN,CAAC;IAED,YAAY;QACR,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;IACpB,CAAC;IAEkB,OAAO,CAAC,kBAAkC;QACzD,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa,EAAE,CAAC;YAChC,IAAI,CAAC,QAAQ,CAAC,KAAM,CAAC,KAAK,EAAE,CAAC;QACjC,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;;4BAGS,IAAI,CAAC,KAAK;4BACV,CAAC,CAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,GAAI,CAAC,CAAC,MAA2B,CAAC,KAAK;8BAC7D,CAAC,CAAgB,EAAE,EAAE;YAC3C,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;gBACpB,CAAC,CAAC,cAAc,EAAE,CAAC;gBACnB,IAAI,CAAC,YAAY,EAAE,CAAC;YACxB,CAAC;QACL,CAAC;iCAC4B,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,IAAI,IAAI,CAAC,CAAC,CAAC,uCAAuC,CAAC;+BAC3E,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa;qBACxC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;;;6BAGV,GAAG,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE;gCACtB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,aAAa;kBAC5C,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC;;SAEhC,CAAC;IACN,CAAC;CACJ,CAAA;AApD8B;IAA1B,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;+CAAoB;AADrC,gBAAgB;IAD5B,aAAa,CAAC,qBAAqB,CAAC;GACxB,gBAAgB,CAqD5B"}

package/dist/frontend/state/Constants.d.ts

@@ -0,0 +1,38 @@
+import { State } from "@dodona/lit-state";
+import { CSSResult } from "lit";
+import { Extension } from "@codemirror/state";
+export type ThemeOption = {
+    theme: CSSResult;
+    dark: boolean;
+    name: string;
+};
+export declare class Constants extends State {
+    /**
+     * The maximum length of the output (in lines).
+     * Default is 1000 lines.
+     * If the output exceeds this length, it will be truncated.
+     * Overflowing output will be downloadable.
+     */
+    maxOutputLength: number;
+    /**
+     * The maximum number of debug frames
+     * Default is 10000 frames.
+     * If the number of frames exceeds this limit, execution will be stopped.
+     */
+    maxDebugFrames: number;
+    icons: {
+        debug: import("lit").TemplateResult<1>;
+        run: import("lit").TemplateResult<1>;
+        doctest: import("lit").TemplateResult<1>;
+        stop: import("lit").TemplateResult<1>;
+        stopDebug: import("lit").TemplateResult<1>;
+        info: import("lit").TemplateResult<1>;
+        help: import("lit").TemplateResult<1>;
+    };
+    indentationSize: number;
+    CodeMirrorTheme: Extension;
+    themes: Record<string, ThemeOption>;
+    private _activeThemeName;
+    get activeTheme(): ThemeOption;
+    set activeTheme(value: ThemeOption);
+}

package/dist/frontend/state/Constants.js

@@ -0,0 +1,108 @@
+var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
+    var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
+    if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
+    else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
+    return c > 3 && r && Object.defineProperty(target, key, r), r;
+};
+import { State, stateProperty } from "@dodona/lit-state";
+import { RunMode } from "../../backend/Backend";
+import { html } from "lit";
+import { material } from "../components/code_mirror/MaterialTheme";
+import blueLight from "./themes/blue-light";
+import blueDark from "./themes/blue-dark";
+import greenLight from "./themes/green-light";
+import greenDark from "./themes/green-dark";
+import redLight from "./themes/red-light";
+import redDark from "./themes/red-dark";
+export class Constants extends State {
+    constructor() {
+        super(...arguments);
+        /**
+         * The maximum length of the output (in lines).
+         * Default is 1000 lines.
+         * If the output exceeds this length, it will be truncated.
+         * Overflowing output will be downloadable.
+         */
+        this.maxOutputLength = 1000;
+        /**
+         * The maximum number of debug frames
+         * Default is 10000 frames.
+         * If the number of frames exceeds this limit, execution will be stopped.
+         */
+        this.maxDebugFrames = 10000;
+        this.icons = {
+            [RunMode.Debug]: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+                <path d="M19 7H16.19C15.74 6.2 15.12 5.5 14.37 5L16 3.41L14.59 2L12.42 4.17C11.96 4.06 11.5 4 11 4S10.05 4.06 9.59 4.17L7.41 2L6 3.41L7.62 5C6.87 5.5 6.26 6.21 5.81 7H3V9H5.09C5.03 9.33 5 9.66 5 10V11H3V13H5V14C5 14.34 5.03 14.67 5.09 15H3V17H5.81C7.26 19.5 10.28 20.61 13 19.65V19C13 18.43 13.09 17.86 13.25 17.31C12.59 17.76 11.8 18 11 18C8.79 18 7 16.21 7 14V10C7 7.79 8.79 6 11 6S15 7.79 15 10V14C15 14.19 15 14.39 14.95 14.58C15.54 14.04 16.24 13.62 17 13.35V13H19V11H17V10C17 9.66 16.97 9.33 16.91 9H19V7M13 9V11H9V9H13M13 13V15H9V13H13M17 16V22L22 19L17 16Z"/>
+            </svg>`,
+            [RunMode.Run]: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor"><
+                <path d="M8,5.14V19.14L19,12.14L8,5.14Z"/>
+            </svg>`,
+            [RunMode.Doctest]: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor"><
+                <path d="M8,5.14V19.14L19,12.14L8,5.14Z"/>
+            </svg>`,
+            stop: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+                <path d="M18,18H6V6H18V18Z"/>
+            </svg>`,
+            stopDebug: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="currentColor">
+                <path d="M19 7H16.19C15.74 6.2 15.12 5.5 14.37 5L16 3.41L14.59 2L12.42 4.17C11.96 4.06 11.5 4 11 4S10.05 4.06 9.59 4.17L7.41 2L6 3.41L7.62 5C6.87 5.5 6.26 6.21 5.81 7H3V9H5.09C5.03 9.33 5 9.66 5 10V11H3V13H5V14C5 14.34 5.03 14.67 5.09 15H3V17H5.81C7.26 19.5 10.28 20.61 13 19.65V19C13 18.43 13.09 17.86 13.25 17.31C12.59 17.76 11.8 18 11 18C8.79 18 7 16.21 7 14V10C7 7.79 8.79 6 11 6S15 7.79 15 10V14C15 14.19 15 14.39 14.95 14.58C15.54 14.04 16.24 13.62 17 13.35V13H19V11H17V10C17 9.66 16.97 9.33 16.91 9H19V7M13 9V11H9V9H13M13 13V15H9V13H13M16 16H22V22H16V16Z"/>
+            </svg>`,
+            info: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
+                <path d="M440-280h80v-240h-80v240Zm40-320q17 0 28.5-11.5T520-640q0-17-11.5-28.5T480-680q-17 0-28.5 11.5T440-640q0 17 11.5 28.5T480-600Zm0 520q-83 0-156-31.5T197-197q-54-54-85.5-127T80-480q0-83 31.5-156T197-763q54-54 127-85.5T480-880q83 0 156 31.5T763-763q54 54 85.5 127T880-480q0 83-31.5 156T763-197q-54 54-127 85.5T480-80Zm0-80q134 0 227-93t93-227q0-134-93-227t-227-93q-134 0-227 93t-93 227q0 134 93 227t227 93Zm0-320Z"/>
+            </svg>
+        `,
+            help: html `
+            <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
+                <path d="M478-240q21 0 35.5-14.5T528-290q0-21-14.5-35.5T478-340q-21 0-35.5 14.5T428-290q0 21 14.5 35.5T478-240Zm-36-154h74q0-33 7.5-52t42.5-52q26-26 41-49.5t15-56.5q0-56-41-86t-97-30q-57 0-92.5 30T342-618l66 26q5-18 22.5-39t53.5-21q32 0 48 17.5t16 38.5q0 20-12 37.5T506-526q-44 39-54 59t-10 73Zm38 314q-83 0-156-31.5T197-197q-54-54-85.5-127T80-480q0-83 31.5-156T197-763q54-54 127-85.5T480-880q83 0 156 31.5T763-763q54 54 85.5 127T880-480q0 83-31.5 156T763-197q-54 54-127 85.5T480-80Zm0-80q134 0 227-93t93-227q0-134-93-227t-227-93q-134 0-227 93t-93 227q0 134 93 227t227 93Zm0-320Z"/>
+            </svg>
+        `
+        };
+        this.indentationSize = 4;
+        this.CodeMirrorTheme = material;
+        this.themes = {
+            "Blue Light": { theme: blueLight, dark: false, name: "Blue Light" },
+            "Blue Dark": { theme: blueDark, dark: true, name: "Blue Dark" },
+            "Green Light": { theme: greenLight, dark: false, name: "Green Light" },
+            "Green Dark": { theme: greenDark, dark: true, name: "Green Dark" },
+            "Red Light": { theme: redLight, dark: false, name: "Red Light" },
+            "Red Dark": { theme: redDark, dark: true, name: "Red Dark" },
+        };
+        this._activeThemeName = "Blue Light";
+    }
+    get activeTheme() {
+        return this.themes[this._activeThemeName];
+    }
+    set activeTheme(value) {
+        this._activeThemeName = value.name;
+    }
+}
+__decorate([
+    stateProperty
+], Constants.prototype, "maxOutputLength", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "maxDebugFrames", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "icons", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "indentationSize", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "CodeMirrorTheme", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "themes", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "_activeThemeName", void 0);
+__decorate([
+    stateProperty
+], Constants.prototype, "activeTheme", null);
+//# sourceMappingURL=Constants.js.map

package/dist/frontend/state/Constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Constants.js","sourceRoot":"","sources":["../../../src/frontend/state/Constants.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAChD,OAAO,EAAE,IAAI,EAAa,MAAM,KAAK,CAAC;AACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,yCAAyC,CAAC;AAEnE,OAAO,SAAS,MAAM,qBAAqB,CAAC;AAC5C,OAAO,QAAQ,MAAM,oBAAoB,CAAC;AAC1C,OAAO,UAAU,MAAM,sBAAsB,CAAC;AAC9C,OAAO,SAAS,MAAM,qBAAqB,CAAC;AAC5C,OAAO,QAAQ,MAAM,oBAAoB,CAAC;AAC1C,OAAO,OAAO,MAAM,mBAAmB,CAAC;AAQxC,MAAM,OAAO,SAAU,SAAQ,KAAK;IAApC;;QACI;;;;;WAKG;QAEC,oBAAe,GAAW,IAAI,CAAC;QACnC;;;;WAIG;QAEC,mBAAc,GAAW,KAAK,CAAC;QAG/B,UAAK,GAAG;YACJ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAA;;;mBAGd;YACP,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,IAAI,CAAA;;;mBAGZ;YACP,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAA;;;mBAGhB;YACP,IAAI,EAAE,IAAI,CAAA;;;mBAGH;YACP,SAAS,EAAE,IAAI,CAAA;;;mBAGR;YACP,IAAI,EAAE,IAAI,CAAA;;;;SAIb;YACG,IAAI,EAAE,IAAI,CAAA;;;;SAIb;SACA,CAAC;QAGF,oBAAe,GAAW,CAAC,CAAC;QAG5B,oBAAe,GAAc,QAAQ,CAAC;QAGtC,WAAM,GAAgC;YAClC,YAAY,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;YACnE,WAAW,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE;YAC/D,aAAa,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE;YACtE,YAAY,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE;YAClE,WAAW,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE;YAChE,UAAU,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE;SAC/D,CAAC;QAGE,qBAAgB,GAAW,YAAY,CAAC;IAUpD,CAAC;IAPG,IAAI,WAAW;QACX,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,WAAW,CAAC,KAAkB;QAC9B,IAAI,CAAC,gBAAgB,GAAG,KAAK,CAAC,IAAI,CAAC;IACvC,CAAC;CACJ;AAtEO;IADH,aAAa;kDACqB;AAO/B;IADH,aAAa;iDACqB;AAG/B;IADH,aAAa;wCAgCR;AAGF;IADH,aAAa;kDACkB;AAG5B;IADH,aAAa;kDAC4B;AAGtC;IADH,aAAa;yCAQR;AAGE;IADP,aAAa;mDACkC;AAGhD;IADC,aAAa;4CAGb"}

package/dist/frontend/state/Debugger.d.ts

@@ -0,0 +1,23 @@
+import { Frame } from "@dodona/trace-component/dist/trace_types";
+import { State } from "@dodona/lit-state";
+import { Papyros } from "../../Papyros";
+export type FrameState = {
+    line: number;
+    outputs: number;
+    inputs: number;
+};
+export declare class Debugger extends State {
+    private papyros;
+    private frameStates;
+    activeFrame: number | undefined;
+    trace: Frame[];
+    private _active;
+    set active(active: boolean);
+    get active(): boolean;
+    constructor(papyros: Papyros);
+    reset(): void;
+    get activeFrameState(): FrameState | undefined;
+    get debugLine(): number | undefined;
+    get debugOutputs(): number | undefined;
+    get debugUsedInputs(): number | undefined;
+}