repl/it.unibo.tuprolog.ui.repl/NullInputException

NullInputException

class NullInputException : TuPrologException

Signals that the REPL's standard input stream ended (returned null) while a query or a continuation line was expected, e.g. because the terminal was closed or stdin reached end-of-file.

AbstractTuPrologCommand throws this exception (from its readQuery helper) whenever terminal.prompt(...) returns null; TuPrologCmd catches it to print a farewell message and terminate the REPL loop gracefully, rather than crashing.

Constructors

NullInputException

constructor(message: String?, cause: Throwable?)

constructor(cause: Throwable?)

constructor(message: String?)

Properties

cause

expect open val cause: Throwable?

message

expect open val message: String?