es.weso.shaclex.repl
Type members
Classlikes
An ambiguous prefix that matches multiple commands
An ambiguous prefix that matches multiple commands
A command is on the format:
A command is on the format:
:commandName <optional arguments...>
The Command
trait denotes these commands
One of the results of a completion query.
One of the results of a completion query.
- Value parameters:
- description
The description of this completion result: the fully qualified name for types, or the type for terms.
- label
The label of this completion result, or the text that this completion result should insert in the scope where the completion request happened.
- symbols
The symbols that are matched by this completion result.
- Companion:
- object
:help
shows the different commands implemented by the Dotty repl
:help
shows the different commands implemented by the Dotty repl
:load <path>
interprets a scala file as if entered line-by-line into
the REPL
:load <path>
interprets a scala file as if entered line-by-line into
the REPL
- Companion:
- object
Parsed result is simply a newline
Parsed result is simply a newline
ctrl-c
obtained from input string
ctrl-c
obtained from input string
An unknown command that will not be handled by the REPL
An unknown command that will not be handled by the REPL