scala3-compiler-bootstrapped/dotty.tools.repl/ReplCommand

ReplCommand

object ReplCommand extends CompilerCommand
class Object
trait Matchable
class Any

Type members

Inherited types

Value members

Concrete methods

override def cmdName: String
Definition Classes
override def ifErrorsMsg: String
Definition Classes
override def versionMsg: String
Definition Classes

Inherited methods

protected def availableOptionsMsg(cond: Setting[_] => Boolean)(using settings: ConcreteSettings)(using SettingsState): String

Creates a help message for a subset of options based on cond

Creates a help message for a subset of options based on cond

Inherited from
CliCommand
def checkUsage(summary: ArgsSummary, sourcesRequired: Boolean)(using settings: ConcreteSettings)(using SettingsState, Context): Option[List[String]]

Provide usage feedback on argument summary, assuming that all settings are already applied in context.

Provide usage feedback on argument summary, assuming that all settings are already applied in context.

Returns

Either Some list of files passed as arguments or None if further processing should be interrupted.

Inherited from
CliCommand
protected def createUsageMsg(label: String, shouldExplain: Boolean, cond: Setting[_] => Boolean)(using settings: ConcreteSettings)(using SettingsState): String
Inherited from
CliCommand
def distill(args: Array[String], sg: SettingGroup)(ss: SettingsState)(using Context): ArgsSummary

Distill arguments into summary detailing settings, errors and files to main

Distill arguments into summary detailing settings, errors and files to main

Inherited from
CliCommand
final def helpMsg(using settings: ScalaSettings)(using SettingsState, Context): String
Inherited from
CompilerCommand
protected def isAdvanced(s: Setting[_])(using settings: ConcreteSettings)(using SettingsState): Boolean
Inherited from
CliCommand
final def isHelpFlag(using settings: ScalaSettings)(using SettingsState): Boolean
Inherited from
CompilerCommand
protected def isPrivate(s: Setting[_])(using settings: ConcreteSettings)(using SettingsState): Boolean
Inherited from
CliCommand
protected def isStandard(s: Setting[_])(using settings: ConcreteSettings)(using SettingsState): Boolean
Inherited from
CliCommand
protected def phasesMessage: String
Inherited from
CliCommand
protected def shortUsage: String
Inherited from
CliCommand
protected def usageMessage(using settings: ConcreteSettings)(using SettingsState): String

Messages explaining usage and options

Messages explaining usage and options

Inherited from
CliCommand
protected def xusageMessage(using settings: ConcreteSettings)(using SettingsState): String
Inherited from
CliCommand
protected def yusageMessage(using settings: ConcreteSettings)(using SettingsState): String
Inherited from
CliCommand

Extensions

Inherited extensions

extension (setting: Setting[T])
protected def value[T](using ss: SettingsState): T
Inherited from
CliCommand