@dodona/papyros 0.1.38 → 0.1.42

package/dist/CodeEditor.d.ts

@@ -1,15 +1,23 @@
-import { Compartment } from "@codemirror/state";
+import { LanguageSupport } from "@codemirror/language";
+import { Compartment, Extension } from "@codemirror/state";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
 import { EditorView } from "@codemirror/view";
+import { RenderOptions } from "./util/Util";
 export declare class CodeEditor {
     editorView: EditorView;
     languageCompartment: Compartment;
     indentCompartment: Compartment;
     placeholderCompartment: Compartment;
-    constructor(element: HTMLElement, language: ProgrammingLanguage, panel: HTMLElement, editorPlaceHolder: string, initialCode?: string, indentLength?: number);
+    panelCompartment: Compartment;
+    constructor(language: ProgrammingLanguage, editorPlaceHolder: string, initialCode?: string, indentLength?: number);
+    render(options: RenderOptions, panel?: HTMLElement): HTMLElement;
     setLanguage(language: ProgrammingLanguage, editorPlaceHolder: string): void;
     setIndentLength(indentLength: number): void;
+    setPanel(panel: HTMLElement): void;
     getCode(): string;
     setCode(code: string): void;
     focus(): void;
+    static getIndentUnit(indentLength: number): string;
+    static getLanguageSupport(language: ProgrammingLanguage): LanguageSupport;
+    static getExtensions(): Array<Extension>;
 }

package/dist/Constants.d.ts

@@ -4,6 +4,7 @@ export declare const OUTPUT_TA_ID = "code-output-area";
 export declare const INPUT_AREA_WRAPPER_ID = "code-input-area-wrapper";
 export declare const INPUT_TA_ID = "code-input-area";
 export declare const EDITOR_WRAPPER_ID = "code-area";
+export declare const PANEL_WRAPPER_ID = "code-status-panel";
 export declare const STATE_SPINNER_ID = "state-spinner";
 export declare const APPLICATION_STATE_TEXT_ID = "application-state-text";
 export declare const RUN_BTN_ID = "run-code-btn";

package/dist/InputManager.d.ts

@@ -1,4 +1,5 @@
 import { PapyrosEvent } from "./PapyrosEvent";
+import { RenderOptions } from "./util/Util";
 export declare enum InputMode {
     Interactive = "interactive",
     Batch = "batch"
@@ -8,7 +9,7 @@ interface InputSession {
     lineNr: number;
 }
 export declare class InputManager {
-    inputWrapper: HTMLElement;
+    renderOptions: RenderOptions;
     inputMode: InputMode;
     waiting: boolean;
     batchInput: string;
@@ -20,7 +21,7 @@ export declare class InputManager {
     constructor(onSend: () => void, inputMode: InputMode);
     get enterButton(): HTMLButtonElement;
     get inputArea(): HTMLInputElement;
-    buildInputArea(): void;
+    render(options?: RenderOptions): void;
     setInputMode(inputMode: InputMode): void;
     setWaiting(waiting: boolean, prompt?: string): void;
     sendLine(): Promise<boolean>;

package/dist/OutputManager.d.ts

@@ -1,4 +1,5 @@
 import { PapyrosEvent } from "./PapyrosEvent";
+import { RenderOptions } from "./util/Util";
 export interface FriendlyError {
     name: string;
     traceback?: string;
@@ -8,12 +9,14 @@ export interface FriendlyError {
     where?: string;
 }
 export declare class OutputManager {
-    outputArea: HTMLElement;
-    constructor(outputWrapperId: string);
+    outputAreaId: string;
+    get outputArea(): HTMLElement;
     renderNextElement(html: string): void;
     spanify(text: string, ignoreEmpty?: boolean): string;
     showOutput(output: PapyrosEvent): void;
     showError(error: FriendlyError | string): void;
+    render(options: RenderOptions): HTMLElement;
+    reset(): void;
     onRunStart(): void;
     onRunEnd(): void;
 }

package/dist/Papyros.d.ts

@@ -5,6 +5,7 @@ import { CodeEditor } from "./CodeEditor";
 import { InputManager, InputMode } from "./InputManager";
 import { PapyrosEvent } from "./PapyrosEvent";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
+import { RenderOptions } from "./util/Util";
 import { StatusPanel } from "./StatusPanel";
 import { OutputManager } from "./OutputManager";
 declare enum PapyrosState {
@@ -17,24 +18,30 @@ declare enum PapyrosState {
 declare class PapyrosStateManager {
     state: PapyrosState;
     statusPanel: StatusPanel;
-    runButton: HTMLButtonElement;
-    stopButton: HTMLButtonElement;
+    get runButton(): HTMLButtonElement;
+    get stopButton(): HTMLButtonElement;
     constructor(statusPanel: StatusPanel);
     setState(state: PapyrosState, message?: string): void;
+    render(options: RenderOptions): HTMLElement;
 }
 interface PapyrosCodeState {
     programmingLanguage: ProgrammingLanguage;
     editor: CodeEditor;
     backend: Remote<Backend>;
     runId: number;
-    outputArea: HTMLInputElement;
 }
 interface PapyrosConfig {
     standAlone: boolean;
     programmingLanguage: ProgrammingLanguage;
     locale: string;
     inputMode: InputMode;
-    gridStyle: "rows" | "columns";
+}
+interface PapyrosRenderOptions {
+    papyros: RenderOptions;
+    code?: RenderOptions;
+    panel?: RenderOptions;
+    input?: RenderOptions;
+    output?: RenderOptions;
 }
 export declare class Papyros {
     stateManager: PapyrosStateManager;
@@ -48,12 +55,13 @@ export declare class Papyros {
     setCode(code: string): void;
     getCode(): string;
     startBackend(): Promise<void>;
-    static fromElement(parent: HTMLElement, config: PapyrosConfig): Papyros;
+    static fromElement(config: PapyrosConfig, renderOptions: PapyrosRenderOptions): Papyros;
     static configureInput(allowReload: boolean): Promise<boolean>;
     onError(e: PapyrosEvent): void;
     onInput(e: PapyrosEvent): Promise<void>;
     onMessage(e: PapyrosEvent): void;
     runCode(): Promise<void>;
     stop(): Promise<void>;
+    render(standAlone: boolean, programmingLanguage: ProgrammingLanguage, locale: string, renderOptions: PapyrosRenderOptions): void;
 }
 export {};

package/dist/StatusPanel.d.ts

@@ -1,7 +1,8 @@
+import { RenderOptions } from "./util/Util";
 export declare class StatusPanel {
     get statusSpinner(): HTMLElement;
     get statusText(): HTMLElement;
     showSpinner(show: boolean): void;
     setStatus(status: string): void;
-    render(parent: HTMLElement): HTMLElement;
+    render(options: RenderOptions): HTMLElement;
 }