@dodona/papyros 0.4.1 → 0.5.0

package/dist/CodeRunner.d.ts

@@ -1,5 +1,5 @@
 import { CodeEditor } from "./editor/CodeEditor";
-import { InputManager, InputMode } from "./InputManager";
+import { InputManager, InputManagerRenderOptions, InputMode } from "./InputManager";
 import { ProgrammingLanguage } from "./ProgrammingLanguage";
 import { RenderOptions, ButtonOptions, Renderable } from "./util/Rendering";
 import { OutputManager } from "./OutputManager";
@@ -11,7 +11,7 @@ interface CodeRunnerRenderOptions {
     /**
      * Options for rendering the InputManager
      */
-    inputOptions: RenderOptions;
+    inputOptions: InputManagerRenderOptions;
     /**
      * Options for rendering the editor
      */
@@ -40,9 +40,9 @@ export interface LoadingData {
      */
     modules: Array<string>;
     /**
-     * Whether the modules are being loaded or have been loaded
+     * The status of the import
      */
-    loading: boolean;
+    status: "loading" | "loaded" | "failed";
 }
 /**
  * Helper component to manage and visualize the current RunState
@@ -84,6 +84,10 @@ export declare class CodeRunner extends Renderable<CodeRunnerRenderOptions> {
      * Previous state to restore when loading is done
      */
     private previousState;
+    /**
+     * Time at which the setState call occurred
+     */
+    private runStartTime;
     /**
      * Construct a new RunStateManager with the given listeners
      * @param {ProgrammingLanguage} programmingLanguage The language to use
@@ -104,15 +108,10 @@ export declare class CodeRunner extends Renderable<CodeRunnerRenderOptions> {
      * @param {ProgrammingLanguage} programmingLanguage The language to use
      */
     setProgrammingLanguage(programmingLanguage: ProgrammingLanguage): Promise<void>;
-    getProgrammingLanguage(): ProgrammingLanguage;
     /**
-     * Get the button to run the code
+     * @return {ProgrammingLanguage} The current programming language
      */
-    get runButton(): HTMLButtonElement;
-    /**
-     * Get the button to interrupt the code
-     */
-    get stopButton(): HTMLButtonElement;
+    getProgrammingLanguage(): ProgrammingLanguage;
     /**
      * Show or hide the spinning circle, representing a running animation
      * @param {boolean} show Whether to show the spinner
@@ -124,14 +123,30 @@ export declare class CodeRunner extends Renderable<CodeRunnerRenderOptions> {
      * @param {string} message Optional message to indicate the state
      */
     setState(state: RunState, message?: string): void;
+    /**
+     * @return {RunState} The state of the current run
+     */
     getState(): RunState;
-    removeButton(id: string): void;
+    /**
+     * Remove a button from the internal button list. Requires a re-render to update
+     * @param {string} id Identifier of the button to remove
+     */
+    private removeButton;
     /**
      * Add a button to display to the user
      * @param {ButtonOptions} options Options for rendering the button
      * @param {function} onClick Listener for click events on the button
      */
     addButton(options: ButtonOptions, onClick: () => void): void;
+    /**
+     * Generate a button that the user can click to process code
+     * Can either run the code or interrupt it if already running
+     * @return {DynamicButton} A button to interact with the code according to the current state
+     */
+    private getCodeActionButton;
+    /**
+     * Specific helper method to render only the buttons required by the user
+     */
     private renderButtons;
     protected _render(options: CodeRunnerRenderOptions): HTMLElement;
     /**
@@ -145,5 +160,6 @@ export declare class CodeRunner extends Renderable<CodeRunnerRenderOptions> {
      * @param {BackendEvent} e The loading event
      */
     private onLoad;
+    private onStart;
 }
 export {};

package/dist/InputManager.d.ts

@@ -1,11 +1,18 @@
 import { UserInputHandler } from "./input/UserInputHandler";
 import { Renderable, RenderOptions } from "./util/Rendering";
+import { EditorStyling } from "./editor/CodeMirrorEditor";
 export declare enum InputMode {
     Interactive = "interactive",
     Batch = "batch"
 }
 export declare const INPUT_MODES: InputMode[];
-export declare class InputManager extends Renderable {
+export interface InputManagerRenderOptions extends RenderOptions {
+    /**
+     * Option to allow styling the editor area of the input handler
+     */
+    inputStyling?: Partial<EditorStyling>;
+}
+export declare class InputManager extends Renderable<InputManagerRenderOptions> {
     private inputMode;
     private inputHandlers;
     private waiting;
@@ -15,9 +22,10 @@ export declare class InputManager extends Renderable {
     private buildInputHandlerMap;
     getInputMode(): InputMode;
     setInputMode(inputMode: InputMode): void;
+    getInputHandler(inputMode: InputMode): UserInputHandler;
     get inputHandler(): UserInputHandler;
     isWaiting(): boolean;
-    protected _render(options: RenderOptions): void;
+    protected _render(options: InputManagerRenderOptions): void;
     private waitWithPrompt;
     private onUserInput;
     /**