@dodona/papyros 0.1.23-rc → 0.1.32-action

package/{lib → dist}/CodeEditor.d.ts

@@ -5,8 +5,10 @@ export declare class CodeEditor {
     editorView: EditorView;
     languageCompartment: Compartment;
     indentCompartment: Compartment;
-    constructor(element: HTMLElement, language: ProgrammingLanguage, initialCode?: string, indentLength?: number);
-    setLanguage(language: ProgrammingLanguage): void;
+    placeholderCompartment: Compartment;
+    constructor(element: HTMLElement, language: ProgrammingLanguage, panel: HTMLElement, editorPlaceHolder: string, initialCode?: string, indentLength?: number);
+    setLanguage(language: ProgrammingLanguage, editorPlaceHolder: string): void;
     setIndentLength(indentLength: number): void;
     getCode(): string;
+    focus(): void;
 }

package/{lib → dist}/Constants.d.ts

@@ -1,12 +1,15 @@
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
 export declare const MAIN_APP_ID = "papyros";
 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 STATE_SPINNER_ID = "state-spinner";
 export declare const APPLICATION_STATE_TEXT_ID = "application-state-text";
 export declare const RUN_BTN_ID = "run-code-btn";
-export declare const TERMINATE_BTN_ID = "terminate-btn";
+export declare const STOP_BTN_ID = "stop-btn";
+export declare const SEND_INPUT_BTN_ID = "send-input-btn";
+export declare const SWITCH_INPUT_MODE_A_ID = "switch-input-mode";
 export declare const PROGRAMMING_LANGUAGE_SELECT_ID = "programming-language-select";
 export declare const DEFAULT_PROGRAMMING_LANGUAGE = ProgrammingLanguage.Python;
 export declare const LOCALE_SELECT_ID = "locale-select";

package/dist/InputManager.d.ts

@@ -0,0 +1,31 @@
+import { PapyrosEvent } from "./PapyrosEvent";
+export declare enum InputMode {
+    Interactive = "interactive",
+    Batch = "batch"
+}
+export declare const INPUT_MODES: InputMode[];
+interface InputSession {
+    lineNr: number;
+}
+export declare class InputManager {
+    inputWrapper: HTMLElement;
+    inputMode: InputMode;
+    waiting: boolean;
+    batchInput: string;
+    onSend: () => void;
+    session: InputSession;
+    inputTextArray?: Uint8Array;
+    inputMetaData?: Int32Array;
+    textEncoder: TextEncoder;
+    constructor(onSend: () => void, inputMode: InputMode);
+    get enterButton(): HTMLButtonElement;
+    get inputArea(): HTMLInputElement;
+    buildInputArea(): void;
+    setInputMode(inputMode: InputMode): void;
+    setWaiting(waiting: boolean, prompt?: string): void;
+    sendLine(): Promise<boolean>;
+    onInput(e?: PapyrosEvent): Promise<void>;
+    onRunStart(): void;
+    onRunEnd(): void;
+}
+export {};

package/{lib → dist}/Papyros.d.ts

@@ -2,22 +2,23 @@ import "./Papyros.css";
 import { Remote } from "comlink";
 import { Backend } from "./Backend";
 import { CodeEditor } from "./CodeEditor";
+import { InputManager, InputMode } from "./InputManager";
 import { PapyrosEvent } from "./PapyrosEvent";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
+import { StatusPanel } from "./StatusPanel";
 declare enum PapyrosState {
     Loading = "loading",
     Running = "running",
     AwaitingInput = "awaiting_input",
-    Terminating = "terminating",
+    Stopping = "stopping",
     Ready = "ready"
 }
 declare class PapyrosStateManager {
     state: PapyrosState;
-    stateSpinner: HTMLElement;
-    stateText: HTMLElement;
+    statusPanel: StatusPanel;
     runButton: HTMLButtonElement;
-    terminateButton: HTMLButtonElement;
-    constructor();
+    stopButton: HTMLButtonElement;
+    constructor(statusPanel: StatusPanel);
     setState(state: PapyrosState, message?: string): void;
 }
 interface PapyrosCodeState {
@@ -27,35 +28,26 @@ interface PapyrosCodeState {
     runId: number;
     outputArea: HTMLInputElement;
 }
-interface PapyrosInputState {
-    lineNr: number;
-    textEncoder: TextEncoder;
-    inputArea: HTMLInputElement;
-    inputTextArray?: Uint8Array;
-    inputMetaData?: Int32Array;
-}
 interface PapyrosConfig {
     standAlone: boolean;
-    locale?: string;
-    programmingLanguage?: ProgrammingLanguage;
-    inputTextArray?: Uint8Array;
-    inputMetaData?: Int32Array;
+    programmingLanguage: ProgrammingLanguage;
+    locale: string;
+    inputMode: InputMode;
 }
 export declare class Papyros {
     stateManager: PapyrosStateManager;
     codeState: PapyrosCodeState;
-    inputState: PapyrosInputState;
-    constructor(programmingLanguage: ProgrammingLanguage, inputTextArray?: Uint8Array, inputMetaData?: Int32Array);
+    inputManager: InputManager;
+    constructor(programmingLanguage: ProgrammingLanguage, inputMode: InputMode);
     get state(): PapyrosState;
     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>;
+    stop(): Promise<void>;
 }
 export {};

package/dist/StatusPanel.d.ts

@@ -0,0 +1,10 @@
+export declare class StatusPanel {
+    onRun: () => void;
+    constructor(onRun: () => void);
+    initialize(): void;
+    get statusSpinner(): HTMLElement;
+    get statusText(): HTMLElement;
+    showSpinner(show: boolean): void;
+    setStatus(status: string): void;
+    render(parent: HTMLElement): HTMLElement;
+}