implicit final class REPLServerExtensions[X <: REPLServer] extends AnyVal
REPL Server events
- Alphabetic
- By Inheritance
- REPLServerExtensions
- AnyVal
- Any
- Hide All
- Show All
- Public
- All
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