@dodona/papyros 4.1.1 → 4.1.2

package/dist/frontend/components/app/ProgrammingLanguagePicker.js

@@ -0,0 +1,38 @@
+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 { html } from "lit";
+import { ProgrammingLanguage } from "../../../ProgrammingLanguage";
+import "@material/web/select/outlined-select";
+import "@material/web/select/select-option";
+import { RunState } from "../../state/Runner";
+let ProgrammingLanguagePicker = class ProgrammingLanguagePicker extends PapyrosElement {
+    render() {
+        return html `
+            <md-outlined-select
+                ?disabled=${this.papyros.runner.state !== RunState.Ready || this.papyros.debugger.active}
+                label=${this.t("Papyros.programming_language")}
+                @input=${(e) => {
+            this.papyros.runner.programmingLanguage = e.target
+                .value;
+        }}
+            >
+                ${Object.values(ProgrammingLanguage).map((lang) => html `
+                        <md-select-option value=${lang} ?selected=${this.papyros.runner.programmingLanguage === lang}>
+                            <div slot="headline">${lang}</div>
+                        </md-select-option>
+                    `)}
+            </md-outlined-select>
+        `;
+    }
+};
+ProgrammingLanguagePicker = __decorate([
+    customElement("p-programming-language-picker")
+], ProgrammingLanguagePicker);
+export { ProgrammingLanguagePicker };
+//# sourceMappingURL=ProgrammingLanguagePicker.js.map

package/dist/frontend/components/app/ProgrammingLanguagePicker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ProgrammingLanguagePicker.js","sourceRoot":"","sources":["../../../../src/frontend/components/app/ProgrammingLanguagePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,sCAAsC,CAAC;AAC9C,OAAO,oCAAoC,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAGvC,IAAM,yBAAyB,GAA/B,MAAM,yBAA0B,SAAQ,cAAc;IACtC,MAAM;QACrB,OAAO,IAAI,CAAA;;4BAES,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM;wBAChF,IAAI,CAAC,CAAC,CAAC,8BAA8B,CAAC;yBACrC,CAAC,CAAa,EAAE,EAAE;YACvB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,GAAI,CAAC,CAAC,MAA2B;iBACnE,KAA4B,CAAC;QACtC,CAAC;;kBAEC,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,GAAG,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAA;kDACgB,IAAI,cAAc,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,mBAAmB,KAAK,IAAI;mDACjE,IAAI;;qBAElC,CACJ;;SAER,CAAC;IACN,CAAC;CACJ,CAAA;AArBY,yBAAyB;IADrC,aAAa,CAAC,+BAA+B,CAAC;GAClC,yBAAyB,CAqBrC"}

package/dist/frontend/components/app/examples/JavaScriptExamples.d.ts

@@ -0,0 +1,5 @@
+export declare const JAVASCRIPT_EXAMPLES: {
+    "Hello world!": string;
+    Input: string;
+    Fibonacci: string;
+};

package/dist/frontend/components/app/examples/JavaScriptExamples.js

@@ -0,0 +1,16 @@
+export const JAVASCRIPT_EXAMPLES = {
+    "Hello world!": 'console.log("Hello, World!");',
+    Input: `const name = prompt('What is your name?')
+console.log(\`Hello, \${name}!\`)`,
+    Fibonacci: `function fibonacci(n){
+    if (n <= 1) {
+        return n;
+    }
+    return fibonacci(n - 2) + fibonacci(n - 1);
+}
+for(let i = 0; i < 10; i += 1){
+    console.log(fibonacci(i));
+}
+`,
+};
+//# sourceMappingURL=JavaScriptExamples.js.map

package/dist/frontend/components/app/examples/JavaScriptExamples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JavaScriptExamples.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/examples/JavaScriptExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,mBAAmB,GAAG;IAC/B,cAAc,EAAE,+BAA+B;IAC/C,KAAK,EAAE;kCACuB;IAC9B,SAAS,EAAE;;;;;;;;;CASd;CACA,CAAC"}

package/dist/frontend/components/app/examples/PythonExamples.d.ts

@@ -0,0 +1,14 @@
+export declare const PYTHON_EXAMPLES: {
+    "Hello, World!": string;
+    Input: string;
+    Fibonacci: string;
+    Doctests: string;
+    Async: string;
+    Erroneous: string;
+    Unicode: string;
+    Files: string;
+    Matplotlib: string;
+    Sleep: string;
+    Overflow: string;
+    Interrupt: string;
+};

package/dist/frontend/components/app/examples/PythonExamples.js

@@ -0,0 +1,163 @@
+export const PYTHON_EXAMPLES = {
+    "Hello, World!": "print('Hello, World!')",
+    Input: `name = input('What is your name?')
+print(f'Hello, {name}!')`,
+    Fibonacci: `def fibonacci(n):
+    return n if n <= 1 else fibonacci(n- 2) + fibonacci(n - 1)
+
+print([fibonacci(n) for n in range(10)])`,
+    Doctests: `def factorial(n):
+    """Return the factorial of n, an exact integer >= 0.
+
+    >>> [factorial(n) for n in range(6)]
+    [1, 1, 2, 6, 24, 120]
+    >>> factorial(30)
+    265252859812191058636308480000000
+    >>> factorial(-1)
+    Traceback (most recent call last):
+        ...
+    ValueError: n must be >= 0
+
+    Factorials of floats are OK, but the float must be an exact integer:
+    >>> factorial(30.1)
+    Traceback (most recent call last):
+        ...
+    ValueError: n must be exact integer
+    >>> factorial(30.0)
+    265252859812191058636308480000000
+
+    It must also not be ridiculously large:
+    >>> factorial(1e100)
+    Traceback (most recent call last):
+        ...
+    OverflowError: n too large
+    """
+
+    import math
+    if not n >= 0:
+        raise ValueError("n must be >= 0")
+    if math.floor(n) != n:
+        raise ValueError("n must be exact integer")
+    if n+1 == n:  # catch a value like 1e300
+        raise OverflowError("n too large")
+    result = 1
+    factor = 2
+    while factor <= n:
+        result *= factor
+        factor += 1
+    return result
+
+def wrong_factorial(n):
+    """
+    >>> [wrong_factorial(n) for n in range(6)]
+    [1, 1, 2, 6, 24, 120]
+    >>> wrong_factorial(30)
+    265252859812191058636308480000000
+    """
+    return 0
+`,
+    Async: `import asyncio
+
+async def nested():
+    print(42)
+
+async def main():
+    # Schedule nested() to run soon concurrently
+    # with "main()".
+    task = asyncio.create_task(nested())
+
+    # "task" can now be used to cancel "nested()", or
+    # can simply be awaited to wait until it is complete:
+    await task
+
+await main()
+`,
+    Erroneous: `def bitonic_search(numbers, query):
+    if not numbers:
+        return -1
+    if len(numbers) == 1:
+        return 0 if numbers[0] == query else -1
+    int top_index = find_max_index(numbers, 0, len(numbers))
+    possible_position = find_bitonic_query(numbers,query,0,top_index+1, lambda a, b: a - b)
+    if possible_position != -1:
+        return possible_position
+    else:
+        return find_bitonic_query(numbers,query,top_index, len(numbers), lambda a, b: b - a)
+
+def find_max_index(numbers, start, stop):
+    while start <= stop:
+        if stop - start <= 1:
+            return start
+        middle = (start + stop) / 2;
+        if numbers[middle] < numbers[middle+1]:
+            start = midden + 1
+        else:
+            stop = midden
+        
+def find_bitonic_query(numbers, query, start, stop, comp):
+    while start <= stop:
+        if stop - start <= 1:
+            return start if numbers[start] == query else -1
+        middle = (start + stop) / 2;
+        if comp(numbers[midden], query) <= 0:
+            start = midden
+        else:
+            stop = midden
+`,
+    Unicode: `import random
+emoji = '🎅🤶👪🦌🌟❄️☃️🔥🎄🎁🧦🔔🎶🕯️🦆'
+for _ in range(10):
+    print(''.join(random.choice(emoji) for _ in range(30)))
+`,
+    Files: `with open("names.txt", "w") as out_file:
+    for name in ["Alice", "Bob", "Claire"]:
+        print(name, file=out_file)
+
+with open("names.txt", "r") as in_file:
+    for line in in_file:
+        print(line.rstrip())
+`,
+    Matplotlib: `import matplotlib.pyplot as plt
+import networkx as nx
+
+plt.rcParams["font.size"] = 10
+plt.figure()
+plt.title('Random graph')
+
+plt.tick_params(
+    axis='both', left='off', top='off', right='off', 
+    bottom='off', labelleft='off', labeltop='off', 
+    labelright='off', labelbottom='off'
+)
+G = nx.random_geometric_graph(512, 0.125)
+pos=nx.spring_layout(G)
+nx.draw_networkx_edges(G, pos, alpha=0.2)
+nx.draw_networkx_nodes(G, pos, node_color='r', node_size=12)
+
+plt.show()
+`,
+    Sleep: `import time
+text = """What is the air-speed velocity of an unladen swallow?
+What do you mean? An African or European swallow?
+What? I, I don't know that.
+"""
+for character in text:
+    print(character, end="")
+    time.sleep(0.1)
+`,
+    Overflow: `from functools import lru_cache
+
+@lru_cache
+def fibonacci(n):
+    return n if n <= 1 else fibonacci(n- 2) + fibonacci(n - 1)
+
+for index in range(5000):
+    print(f'{index}: {fibonacci(index)}')
+`,
+    Interrupt: `i = 0
+while i >= 0:
+    print(i)
+    i += 1
+`,
+};
+//# sourceMappingURL=PythonExamples.js.map

package/dist/frontend/components/app/examples/PythonExamples.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"PythonExamples.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/examples/PythonExamples.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,eAAe,GAAG;IAC3B,eAAe,EAAE,wBAAwB;IACzC,KAAK,EAAE;yBACc;IACrB,SAAS,EAAE;;;yCAG0B;IACrC,QAAQ,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiDb;IACG,KAAK,EAAE;;;;;;;;;;;;;;;CAeV;IACG,SAAS,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+Bd;IACG,OAAO,EAAE;;;;CAIZ;IACG,KAAK,EAAE;;;;;;;CAOV;IACG,UAAU,EAAE;;;;;;;;;;;;;;;;;;CAkBf;IACG,KAAK,EAAE;;;;;;;;CAQV;IACG,QAAQ,EAAE;;;;;;;;CAQb;IACG,SAAS,EAAE;;;;CAId;CACA,CAAC"}

package/dist/frontend/components/app/themes/ThemePicker.d.ts

@@ -0,0 +1,11 @@
+import { TemplateResult } from "lit";
+import "./ThemedButton";
+import "@material/web/icon/icon";
+import "@material/web/iconbutton/icon-button";
+import { PapyrosElement } from "../../PapyrosElement";
+import { ThemeOption } from "../../../state/Constants";
+export declare class ThemePicker extends PapyrosElement {
+    picking: boolean;
+    setTheme(theme: ThemeOption): void;
+    protected render(): TemplateResult[] | TemplateResult;
+}

package/dist/frontend/components/app/themes/ThemePicker.js

@@ -0,0 +1,48 @@
+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 { html } from "lit";
+import "./ThemedButton";
+import "@material/web/icon/icon";
+import "@material/web/iconbutton/icon-button";
+import { PapyrosElement } from "../../PapyrosElement";
+let ThemePicker = class ThemePicker extends PapyrosElement {
+    constructor() {
+        super(...arguments);
+        this.picking = false;
+    }
+    setTheme(theme) {
+        this.picking = false;
+        this.papyros.constants.activeTheme = theme;
+    }
+    render() {
+        if (!this.picking) {
+            return html `
+                <md-icon-button @click=${() => (this.picking = true)}>
+                    <md-icon>
+                        <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="#currentCollor">
+                            <path
+                                d="M480-80q-82 0-155-31.5t-127.5-86Q143-252 111.5-325T80-480q0-83 32.5-156t88-127Q256-817 330-848.5T488-880q80 0 151 27.5t124.5 76q53.5 48.5 85 115T880-518q0 115-70 176.5T640-280h-74q-9 0-12.5 5t-3.5 11q0 12 15 34.5t15 51.5q0 50-27.5 74T480-80Zm0-400Zm-220 40q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120-160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm200 0q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17Zm120 160q26 0 43-17t17-43q0-26-17-43t-43-17q-26 0-43 17t-17 43q0 26 17 43t43 17ZM480-160q9 0 14.5-5t5.5-13q0-14-15-33t-15-57q0-42 29-67t71-25h70q66 0 113-38.5T800-518q0-121-92.5-201.5T488-800q-136 0-232 93t-96 227q0 133 93.5 226.5T480-160Z"
+                            />
+                        </svg>
+                    </md-icon>
+                </md-icon-button>
+            `;
+        }
+        return Object.values(this.papyros.constants.themes).map((t) => html `
+                <p-themed-button .theme=${t.theme} .dark=${t.dark} @click=${() => this.setTheme(t)}></p-themed-button>
+            `);
+    }
+};
+__decorate([
+    property({ state: true })
+], ThemePicker.prototype, "picking", void 0);
+ThemePicker = __decorate([
+    customElement("p-theme-picker")
+], ThemePicker);
+export { ThemePicker };
+//# sourceMappingURL=ThemePicker.js.map

package/dist/frontend/components/app/themes/ThemePicker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ThemePicker.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemePicker.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAkB,MAAM,KAAK,CAAC;AAC3C,OAAO,gBAAgB,CAAC;AACxB,OAAO,yBAAyB,CAAC;AACjC,OAAO,sCAAsC,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAI/C,IAAM,WAAW,GAAjB,MAAM,WAAY,SAAQ,cAAc;IAAxC;;QAEH,YAAO,GAAG,KAAK,CAAC;IA4BpB,CAAC;IA1BG,QAAQ,CAAC,KAAkB;QACvB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,GAAG,KAAK,CAAC;IAC/C,CAAC;IAEkB,MAAM;QACrB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,OAAO,IAAI,CAAA;yCACkB,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;;;;;;;;;aASvD,CAAC;QACN,CAAC;QAED,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CACnD,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAA;0CACmB,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,WAAW,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;aACrF,CACJ,CAAC;IACN,CAAC;CACJ,CAAA;AA5BG;IADC,QAAQ,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;4CACV;AAFP,WAAW;IADvB,aAAa,CAAC,gBAAgB,CAAC;GACnB,WAAW,CA8BvB"}

package/dist/frontend/components/app/themes/ThemedButton.d.ts

@@ -0,0 +1,9 @@
+import { CSSResult, LitElement, TemplateResult } from "lit";
+import "@material/web/icon/icon";
+import "@material/web/iconbutton/filled-icon-button";
+export declare class ThemedButton extends LitElement {
+    theme: CSSResult | undefined;
+    dark: boolean;
+    connectedCallback(): void;
+    protected render(): TemplateResult;
+}

package/dist/frontend/components/app/themes/ThemedButton.js

@@ -0,0 +1,53 @@
+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 { adoptStyles, html, LitElement } from "lit";
+import { customElement, property } from "lit/decorators.js";
+import "@material/web/icon/icon";
+import "@material/web/iconbutton/filled-icon-button";
+let ThemedButton = class ThemedButton extends LitElement {
+    constructor() {
+        super(...arguments);
+        this.dark = false;
+    }
+    connectedCallback() {
+        super.connectedCallback();
+        if (this.theme) {
+            adoptStyles(this.renderRoot, [this.theme]);
+        }
+    }
+    render() {
+        return html `
+            <md-filled-icon-button>
+                <md-icon>
+                    ${this.dark
+            ? html `
+                              <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
+                                  <path
+                                      d="M480-120q-150 0-255-105T120-480q0-150 105-255t255-105q14 0 27.5 1t26.5 3q-41 29-65.5 75.5T444-660q0 90 63 153t153 63q55 0 101-24.5t75-65.5q2 13 3 26.5t1 27.5q0 150-105 255T480-120Zm0-80q88 0 158-48.5T740-375q-20 5-40 8t-40 3q-123 0-209.5-86.5T364-660q0-20 3-40t8-40q-78 32-126.5 102T200-480q0 116 82 198t198 82Zm-10-270Z"
+                                  />
+                              </svg>
+                          `
+            : html `
+                              <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 -960 960 960" fill="currentColor">
+                                  <path
+                                      d="M480-360q50 0 85-35t35-85q0-50-35-85t-85-35q-50 0-85 35t-35 85q0 50 35 85t85 35Zm0 80q-83 0-141.5-58.5T280-480q0-83 58.5-141.5T480-680q83 0 141.5 58.5T680-480q0 83-58.5 141.5T480-280ZM200-440H40v-80h160v80Zm720 0H760v-80h160v80ZM440-760v-160h80v160h-80Zm0 720v-160h80v160h-80ZM256-650l-101-97 57-59 96 100-52 56Zm492 496-97-101 53-55 101 97-57 59Zm-98-550 97-101 59 57-100 96-56-52ZM154-212l101-97 55 53-97 101-59-57Zm326-268Z"
+                                  />
+                              </svg>
+                          `}
+                </md-icon>
+            </md-filled-icon-button>
+        `;
+    }
+};
+__decorate([
+    property({ type: Boolean })
+], ThemedButton.prototype, "dark", void 0);
+ThemedButton = __decorate([
+    customElement("p-themed-button")
+], ThemedButton);
+export { ThemedButton };
+//# sourceMappingURL=ThemedButton.js.map

package/dist/frontend/components/app/themes/ThemedButton.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ThemedButton.js","sourceRoot":"","sources":["../../../../../src/frontend/components/app/themes/ThemedButton.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,WAAW,EAAa,IAAI,EAAE,UAAU,EAAkB,MAAM,KAAK,CAAC;AAC/E,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,yBAAyB,CAAC;AACjC,OAAO,6CAA6C,CAAC;AAG9C,IAAM,YAAY,GAAlB,MAAM,YAAa,SAAQ,UAAU;IAArC;;QAGH,SAAI,GAAY,KAAK,CAAC;IAgC1B,CAAC;IA9BmB,iBAAiB;QAC7B,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC1B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACb,WAAW,CAAC,IAAI,CAAC,UAAwB,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7D,CAAC;IACL,CAAC;IAEkB,MAAM;QACrB,OAAO,IAAI,CAAA;;;sBAGG,IAAI,CAAC,IAAI;YACP,CAAC,CAAC,IAAI,CAAA;;;;;;2BAMH;YACH,CAAC,CAAC,IAAI,CAAA;;;;;;2BAMH;;;SAGlB,CAAC;IACN,CAAC;CACJ,CAAA;AAhCG;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;0CACN;AAHb,YAAY;IADxB,aAAa,CAAC,iBAAiB,CAAC;GACpB,YAAY,CAmCxB"}

package/dist/frontend/components/code_mirror/BatchInputEditor.d.ts

@@ -0,0 +1,8 @@
+import { CodeMirrorEditor } from "./CodeMirrorEditor";
+import { CSSResult } from "lit";
+export declare class BatchInputEditor extends CodeMirrorEditor {
+    static get styles(): CSSResult;
+    set usedLines(value: number);
+    set readOnly(value: boolean);
+    constructor();
+}

package/dist/frontend/components/code_mirror/BatchInputEditor.js

@@ -0,0 +1,51 @@
+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 { CodeMirrorEditor } from "./CodeMirrorEditor";
+import { EditorView, keymap } from "@codemirror/view";
+import { css } from "lit";
+import { defaultKeymap } from "@codemirror/commands";
+import { setUsedLines, usedLineExtension } from "./Extensions";
+let BatchInputEditor = class BatchInputEditor extends CodeMirrorEditor {
+    static get styles() {
+        return css `
+            :host {
+                width: 100%;
+                height: 100%;
+            }
+        `;
+    }
+    set usedLines(value) {
+        var _a;
+        const lines = Array.from({ length: value }, (a, i) => i + 1);
+        (_a = this.view) === null || _a === void 0 ? void 0 : _a.dispatch({
+            effects: setUsedLines.of(lines),
+        });
+    }
+    set readOnly(value) {
+        this.configure({
+            debugging: value ? EditorView.editable.of(false) : [],
+        });
+    }
+    constructor() {
+        super();
+        this.configure({
+            default: [usedLineExtension, keymap.of(defaultKeymap)],
+        });
+    }
+};
+__decorate([
+    property({ type: Number })
+], BatchInputEditor.prototype, "usedLines", null);
+__decorate([
+    property({ type: Boolean })
+], BatchInputEditor.prototype, "readOnly", null);
+BatchInputEditor = __decorate([
+    customElement("p-batch-input-editor")
+], BatchInputEditor);
+export { BatchInputEditor };
+//# sourceMappingURL=BatchInputEditor.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"BatchInputEditor.js","sourceRoot":"","sources":["../../../../src/frontend/components/code_mirror/BatchInputEditor.ts"],"names":[],"mappings":";;;;;;AAAA,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AACtD,OAAO,EAAE,GAAG,EAAa,MAAM,KAAK,CAAC;AACrC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAGxD,IAAM,gBAAgB,GAAtB,MAAM,gBAAiB,SAAQ,gBAAgB;IAClD,MAAM,KAAK,MAAM;QACb,OAAO,GAAG,CAAA;;;;;SAKT,CAAC;IACN,CAAC;IAGD,IAAI,SAAS,CAAC,KAAa;;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,MAAA,IAAI,CAAC,IAAI,0CAAE,QAAQ,CAAC;YAChB,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;IACP,CAAC;IAGD,IAAI,QAAQ,CAAC,KAAc;QACvB,IAAI,CAAC,SAAS,CAAC;YACX,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE;SACxD,CAAC,CAAC;IACP,CAAC;IAED;QACI,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,SAAS,CAAC;YACX,OAAO,EAAE,CAAC,iBAAiB,EAAE,MAAM,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;SACzD,CAAC,CAAC;IACP,CAAC;CACJ,CAAA;AApBG;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;iDAM1B;AAGD;IADC,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;gDAK3B;AAvBQ,gBAAgB;IAD5B,aAAa,CAAC,sBAAsB,CAAC;GACzB,gBAAgB,CA+B5B"}

package/dist/frontend/components/code_mirror/CodeEditor.d.ts

@@ -0,0 +1,24 @@
+import { CodeMirrorEditor } from "./CodeMirrorEditor";
+import { CSSResult } from "lit";
+import { WorkerDiagnostic } from "../../../backend/Backend";
+import { ProgrammingLanguage } from "../../../ProgrammingLanguage";
+export declare class CodeEditor extends CodeMirrorEditor {
+    static get styles(): CSSResult;
+    set debug(value: boolean);
+    set debugLine(value: number | undefined);
+    set testLines(value: number[] | undefined);
+    /**
+     * Override the value setter to temporarily disable read-only ranges
+     */
+    dispatchChange(): void;
+    set testLineCount(value: number | undefined);
+    set testTranslations(value: {
+        description: string;
+        edit: string;
+        remove: string;
+    });
+    set programmingLanguage(value: ProgrammingLanguage);
+    set lintingSource(lintSource: () => Promise<readonly WorkerDiagnostic[]>);
+    set indentLength(length: number);
+    constructor();
+}