implicit final class REPLServerExtensions[X <: REPLServer] extends AnyVal
REPL Server events
- Alphabetic
- By Inheritance
- REPLServerExtensions
- AnyVal
- Any
- Hide All
- Show All
- Public
- Protected
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- Any
- final def ##: Int
- Definition Classes
- Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def contextAs[T]: T
- Annotations
- @inline()
- def getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def onExit(listener: () => Any): X
The 'exit' event is emitted when the REPL is exited either by receiving the .exit command as input, the user pressing CTRL-C twice to signal SIGINT, or by pressing CTRL-D to signal 'end' on the input stream.
The 'exit' event is emitted when the REPL is exited either by receiving the .exit command as input, the user pressing CTRL-C twice to signal SIGINT, or by pressing CTRL-D to signal 'end' on the input stream. The listener callback is invoked without any arguments.
- listener
The listener callback
- Annotations
- @inline()
- def onReset(listener: (REPLContext) => Any): X
The 'reset' event is emitted when the REPL's context is reset.
The 'reset' event is emitted when the REPL's context is reset. This occurs whenever the .clear command is received as input unless the REPL is using the default evaluator and the repl.REPLServer instance was created with the useGlobal option set to true. The listener callback will be called with a reference to the context object as the only argument.
- listener
The listener callback
- Annotations
- @inline()
- def toString(): String
- Definition Classes
- Any