es.weso.shaclex.repl

Type members

Classlikes

case class AmbiguousCommand(cmd: String, matchingCommands: List[String]) extends Command

An ambiguous prefix that matches multiple commands

An ambiguous prefix that matches multiple commands

sealed trait Command extends ParseResult

A command is on the format:

A command is on the format:

:commandName <optional arguments...>

The Command trait denotes these commands

case class Completion(label: String, description: String, symbols: List[Symbol])

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
object Completion
Companion:
class
case object Help extends Command

:help shows the different commands implemented by the Dotty repl

:help shows the different commands implemented by the Dotty repl

case class Load(path: String) extends Command

: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
object Load
Companion:
class
case object Newline extends ParseResult

Parsed result is simply a newline

Parsed result is simply a newline

sealed trait ParseResult

A parsing result from string input

A parsing result from string input

Companion:
object
Companion:
class
case object Quit extends Command

:quit exits the repl

:quit exits the repl

class Repl(opts: MainOpts, out: PrintStream) extends LazyLogging
case object SigKill extends ParseResult

ctrl-c obtained from input string

ctrl-c obtained from input string

class SourceFile(computeContent: => String)
Companion:
object
object SourceFile
Companion:
class
case class State(index: Int)
case class UnknownCommand(cmd: String) extends Command

An unknown command that will not be handled by the REPL

An unknown command that will not be handled by the REPL