pyk.krepl.repl module

class BaseRepl

Bases: Cmd, Generic[T], ABC

CAT_BUILTIN: Final = 'Built-in Commands'

CAT_DEBUG: Final = 'Debugger Commands'

abstract do_load(args: Any) → bool | None

Abstract method to set up the interpreter. Subclasses are expected to * decorate the method with with_argparser to ensure the right set of arguments is parsed; * instantiate an Interpreter[T] based on args, then set self.interpreter; * set self.state to self.interpreter.init_state().

do_show(args: Namespace) → None

Show the current configuration

do_step(args: Namespace) → None

Execute steps in the program

interpreter: Interpreter[T] | None

prompt = '> '

state: T | None

class Interpreter

Bases: Generic[T], ABC

abstract init_state() → T

abstract next_state(state: T, steps: int | None = None) → T

class KInterpreter(definition_dir: Path, program_file: Path)

Bases: Interpreter[KState]

definition_dir: Path

init_state() → KState

next_state(state: KState, steps: int | None = None) → KState

program_file: Path

class KRepl(definition_dir: Path)

Bases: BaseRepl[KState]

do_load(args: Namespace) → None

Load a program

intro = 'K-REPL Shell\nType "help" or "?" for more information.'

final class KState(definition_dir: 'Path', pattern: 'Pattern')

Bases: object

definition_dir: Path

pattern: Pattern

property pretty: str

exception ReplError

Bases: Exception