mirror of
https://github.com/pyscript/pyscript.git
synced 2025-12-22 19:53:00 -05:00
* Add `validateConfigParameter` and `validateConfigParameterFromArray` functions to validate user-provided parameters from py-config * Add units tests for `validateConfigParameter` and `validateConfigParameterFromArray` --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
135 lines
4.5 KiB
TypeScript
135 lines
4.5 KiB
TypeScript
import type { PyScriptApp } from '../main';
|
|
import type { AppConfig } from '../pyconfig';
|
|
import { Plugin, validateConfigParameterFromArray } from '../plugin';
|
|
import { getLogger } from '../logger';
|
|
import { type Stdio } from '../stdio';
|
|
import { InterpreterClient } from '../interpreter_client';
|
|
|
|
const logger = getLogger('py-terminal');
|
|
|
|
type AppConfigStyle = AppConfig & {
|
|
terminal?: string | boolean;
|
|
docked?: string | boolean;
|
|
};
|
|
|
|
export class PyTerminalPlugin extends Plugin {
|
|
app: PyScriptApp;
|
|
|
|
constructor(app: PyScriptApp) {
|
|
super();
|
|
this.app = app;
|
|
}
|
|
|
|
configure(config: AppConfigStyle) {
|
|
// validate the terminal config and handle default values
|
|
validateConfigParameterFromArray({
|
|
config: config,
|
|
name: 'terminal',
|
|
possibleValues: [true, false, 'auto'],
|
|
defaultValue: 'auto',
|
|
});
|
|
validateConfigParameterFromArray({
|
|
config: config,
|
|
name: 'docked',
|
|
possibleValues: [true, false, 'docked'],
|
|
defaultValue: 'docked',
|
|
});
|
|
}
|
|
|
|
beforeLaunch(config: AppConfigStyle) {
|
|
// if config.terminal is "yes" or "auto", let's add a <py-terminal> to
|
|
// the document, unless it's already present.
|
|
const { terminal: t, docked: d } = config;
|
|
const auto = t === true || t === 'auto';
|
|
const docked = d === true || d === 'docked';
|
|
if (auto && document.querySelector('py-terminal') === null) {
|
|
logger.info('No <py-terminal> found, adding one');
|
|
const termElem = document.createElement('py-terminal');
|
|
if (auto) termElem.setAttribute('auto', '');
|
|
if (docked) termElem.setAttribute('docked', '');
|
|
document.body.appendChild(termElem);
|
|
}
|
|
}
|
|
|
|
afterSetup(_interpreter: InterpreterClient) {
|
|
// the Python interpreter has been initialized and we are ready to
|
|
// execute user code:
|
|
//
|
|
// 1. define the "py-terminal" custom element
|
|
//
|
|
// 2. if there is a <py-terminal> tag on the page, it will register
|
|
// a Stdio listener just before the user code executes, ensuring
|
|
// that we capture all the output
|
|
//
|
|
// 3. everything which was written to stdout BEFORE this moment will
|
|
// NOT be shown on the py-terminal; in particular, pyodide
|
|
// startup messages will not be shown (but they will go to the
|
|
// console as usual).
|
|
//
|
|
// 4. (in the future we might want to add an option to start the
|
|
// capture earlier, but I don't think it's important now).
|
|
const PyTerminal = make_PyTerminal(this.app);
|
|
customElements.define('py-terminal', PyTerminal);
|
|
}
|
|
}
|
|
|
|
function make_PyTerminal(app: PyScriptApp) {
|
|
/** The <py-terminal> custom element, which automatically register a stdio
|
|
* listener to capture and display stdout/stderr
|
|
*/
|
|
class PyTerminal extends HTMLElement implements Stdio {
|
|
outElem: HTMLElement;
|
|
autoShowOnNextLine: boolean;
|
|
|
|
connectedCallback() {
|
|
// should we use a shadowRoot instead? It looks unnecessarily
|
|
// complicated to me, but I'm not really sure about the
|
|
// implications
|
|
this.outElem = document.createElement('pre');
|
|
this.outElem.className = 'py-terminal';
|
|
this.appendChild(this.outElem);
|
|
|
|
if (this.isAuto()) {
|
|
this.classList.add('py-terminal-hidden');
|
|
this.autoShowOnNextLine = true;
|
|
} else {
|
|
this.autoShowOnNextLine = false;
|
|
}
|
|
|
|
if (this.isDocked()) {
|
|
this.classList.add('py-terminal-docked');
|
|
}
|
|
|
|
logger.info('Registering stdio listener');
|
|
app.registerStdioListener(this);
|
|
}
|
|
|
|
isAuto() {
|
|
return this.hasAttribute('auto');
|
|
}
|
|
|
|
isDocked() {
|
|
return this.hasAttribute('docked');
|
|
}
|
|
|
|
// implementation of the Stdio interface
|
|
stdout_writeline(msg: string) {
|
|
this.outElem.innerText += msg + '\n';
|
|
if (this.isDocked()) {
|
|
this.scrollTop = this.scrollHeight;
|
|
}
|
|
if (this.autoShowOnNextLine) {
|
|
this.classList.remove('py-terminal-hidden');
|
|
this.autoShowOnNextLine = false;
|
|
}
|
|
}
|
|
|
|
stderr_writeline(msg: string) {
|
|
this.stdout_writeline(msg);
|
|
}
|
|
// end of the Stdio interface
|
|
}
|
|
|
|
return PyTerminal;
|
|
}
|