Access the compiler to do crazy things if you really want to!
Access the compiler to do crazy things if you really want to!
The front-end REPL used to take user input.
The front-end REPL used to take user input. Modifiable!
History of commands that have been entered into the shell, including previous sessions
History of commands that have been entered into the shell, including previous sessions
Current height of the terminal
Current height of the terminal
History of commands that have been entered into the shell during the current session
History of commands that have been entered into the shell during the current session
Show all the imports that are used to execute commands going forward
Show all the imports that are used to execute commands going forward
The last exception that was thrown in the REPL; null if nothing has
yet been thrown.
The last exception that was thrown in the REPL; null if nothing has
yet been thrown. Useful if you want additional information from the
thrown exception than the printed stack trace (e.g. many exceptions have
additional metadata attached) or if you want to show the stack trace
on an exception that doesn't normally print it (e.g. seeing the stack
when a Ctrl-C interrupt happened) via lastException.printStackTrace.
Throw away the current scala.
Throw away the current scala.tools.nsc.Global and get a new one
Read/writable prompt for the shell.
Read/writable prompt for the shell. Use this to change the REPL prompt at any time!
Functions that can be used to manipulate the current REPL session: check-pointing progress, reverting to earlier checkpoints, or deleting checkpoints by name.
Functions that can be used to manipulate the current REPL session: check-pointing progress, reverting to earlier checkpoints, or deleting checkpoints by name.
Frames get pushed on a stack; by default, a saved frame is
accessible simply by calling load. If you provide a name
when saveing a checkpoint, it can later be loaded directly
by providing the same name to load
Un-named checkpoints are garbage collected, together with their
classloader and associated data, when they are no longer accessible
due to restore. Named checkpoints are kept forever; call delete
on them if you really want them to go away.
Current width of the terminal
Current width of the terminal
This stuff is used for the REPL-generated code that prints things; shouldn't really be used by users, but needs to be public and accessible
Display help text if you don't know how to use the REPL
Display help text if you don't know how to use the REPL
Lets you configure the pretty-printing of a value.
Lets you configure the pretty-printing of a value. By default, it simply disables truncation and prints the entire thing, but you can set other parameters as well if you want.
Controls how things are pretty-printed in the REPL.
Controls how things are pretty-printed in the REPL. Feel free to shadow this with your own definition to change how things look
Get the Type object representing the type of t.
Get the Type object representing the type of t. Useful
for finding what its methods are and what you can do with it
Get the Type object of T.
Get the Type object of T. Useful for finding
what its methods are and what you can do with it