class ScriptedInterpreter extends IMain with ScriptedRepl
- Alphabetic
- By Inheritance
- ScriptedInterpreter
- ScriptedRepl
- IMain
- Closeable
- AutoCloseable
- PresentationCompilation
- Imports
- Repl
- ReplCore
- AnyRef
- Any
- by any2stringadd
- by StringFormat
- by Ensuring
- by ArrowAssoc
- Hide All
- Show All
- Public
- Protected
Instance Constructors
- new ScriptedInterpreter(initialSettings: Settings, reporter: ReplReporter, importContextPreamble: (Set[String]) => ImportContextPreamble)
Type Members
- abstract class PhaseDependentOps extends AnyRef
- Definition Classes
- IMain
- class ReadEvalPrint extends AnyRef
Here is where we:
Here is where we:
1) Read some source code, and put it in the "read" object. 2) Evaluate the read object, and put the result in the "eval" object. 3) Create a String for human consumption, and put it in the "print" object.
Read! Eval! Print! Some of that not yet centralized here.
- Definition Classes
- IMain
- implicit class ReplTypeOps extends AnyRef
- Definition Classes
- IMain
- class Request extends ReplRequest
One line of code submitted by the user for interpretation
One line of code submitted by the user for interpretation
- Definition Classes
- IMain
- case class ComputedImports(header: String, prepend: String, append: String, access: String) extends Product with Serializable
Compute imports that allow definitions from previous requests to be visible in a new request.
Compute imports that allow definitions from previous requests to be visible in a new request. Returns three or four pieces of related code:
0. Header code fragment that should go at the beginning of the compilation unit, specifically, import Predef.
- An initial code fragment that should go before the code of the new request.
2. A code fragment that should go after the code of the new request.
3. An access path which can be traversed to access any bindings inside code wrapped by #1 and #2 .
The argument is a set of Names that need to be imported.
Limitations: This method is not as precise as it could be. (1) It does not process wildcard imports to see what exactly they import. (2) If it imports any names from a request, it imports all of them, which is not really necessary. (3) It imports multiple same-named implicits, but only the last one imported is actually usable.
- Definition Classes
- Imports
- abstract class PresentationCompileResult extends PresentationCompilationResult
- Definition Classes
- PresentationCompilation
- type Setting = Settings.Setting
- Definition Classes
- Repl
Value Members
- object deconstruct extends StructuredTypeStrings
- Definition Classes
- IMain
- object exprTyper extends ExprTyper
- Definition Classes
- IMain
- object flatOp extends PhaseDependentOps
- Definition Classes
- IMain
- object naming extends Naming
- Definition Classes
- IMain
- object replOutput extends ReplOutput
- Definition Classes
- IMain
- object typerOp extends PhaseDependentOps
- Definition Classes
- IMain
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##: Int
- Definition Classes
- AnyRef → Any
- def +(other: String): String
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toany2stringadd[ScriptedInterpreter] performed by method any2stringadd in scala.Predef.
- Definition Classes
- any2stringadd
- def ->[B](y: B): (ScriptedInterpreter, B)
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toArrowAssoc[ScriptedInterpreter] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @inline()
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- def addBackReferences(req: Request): Either[String, Request]
- Definition Classes
- ScriptedInterpreter → ScriptedRepl
- def addUrlsToClassPath(urls: URL*): Unit
Adds all specified jars to the compile and runtime classpaths.
- def allDefinedNames: List[Global.Name]
- Definition Classes
- IMain
- def allHandlers: collection.immutable.List[(memberHandlers)#MemberHandler]
- Definition Classes
- IMain
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- def backticked(s: String): String
- Definition Classes
- IMain
- final def beQuietDuring(body: => Unit): Unit
The reporter will not print results during execution of
body. - def bind[T](name: String, value: T)(implicit arg0: reflect.api.JavaUniverse.TypeTag[T], arg1: ClassTag[T]): Result
- Definition Classes
- IMain
- def bind(p: NamedParam): Result
- def bind(name: String, boundType: String, value: Any, modifiers: List[String] = Nil): Result
Bind a specified name to a specified value.
Bind a specified name to a specified value. The name may later be used by expressions passed to interpret.
A fresh
ReadEvalPrint, which defines alinepackage, is used to compile a customevalobject that wraps the bound value.If the bound value is successfully installed, then bind the name by interpreting
val name = $line42.$eval.value.- name
the variable name to bind
- boundType
the type of the variable, as a string
- value
the object value to bind to it
- returns
an indication of whether the binding succeeded
- def bindValue(name: String, value: Any): Result
Bind a specified
nameto a specifiedvalue.Bind a specified
nameto a specifiedvalue. The type is derived from the run-time class of the value.- Definition Classes
- ReplCore
- def call(name: String, args: Any*): Either[Throwable, AnyRef]
- Definition Classes
- ScriptedInterpreter → ScriptedRepl
- def classLoader: AbstractFileClassLoader
- def classOfTerm(id: String): Option[Class[_]]
- Definition Classes
- IMain
- def classPathString: String
- def cleanMemberDecl(owner: Global.Symbol, member: Global.Name): Global.Type
- Definition Classes
- IMain
- def cleanTypeAfterTyper(sym: => Global.Symbol): Global.Type
- Definition Classes
- IMain
- def clearExecutionWrapper(): Unit
- def clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def close(): Unit
This instance is no longer needed, so release any resources it is using.
- def compile(code: String): Boolean
- Definition Classes
- ScriptedInterpreter → ScriptedRepl
- def compile(line: String, synthetic: Boolean, fatally: Boolean): Either[Result, Request]
- Definition Classes
- IMain
- def compile(line: String, synthetic: Boolean): Either[Result, Request]
- Definition Classes
- IMain
- def compileSources(sources: SourceFile*): Boolean
Compile an nsc SourceFile.
- def compileSourcesKeepingRun(sources: SourceFile*): (Boolean, Run)
- Definition Classes
- IMain
- def compileString(code: String): Boolean
Compile a string.
- def compilerClasspath: Seq[URL]
- def dealiasNonPublic(tp: Global.Type): Global.Type
- Definition Classes
- IMain
- def debugging[T](msg: String)(res: T): T
- Definition Classes
- IMain
- def definedSymbolList: collection.immutable.List[Global.Symbol]
- Definition Classes
- IMain
- def definedTerms: collection.immutable.List[Global.TermName]
- Definition Classes
- IMain
- def definedTypes: List[String]
- def directBind[T](name: String, value: T)(implicit arg0: reflect.api.JavaUniverse.TypeTag[T], arg1: ClassTag[T]): Result
- Definition Classes
- IMain
- def directBind(p: NamedParam): Result
- Definition Classes
- IMain
- def directBind(name: String, boundType: String, value: Any): Result
- Definition Classes
- IMain
- final def ensureClassLoader(): Unit
- Definition Classes
- IMain
- def ensuring(cond: (ScriptedInterpreter) => Boolean, msg: => Any): ScriptedInterpreter
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toEnsuring[ScriptedInterpreter] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: (ScriptedInterpreter) => Boolean): ScriptedInterpreter
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toEnsuring[ScriptedInterpreter] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean, msg: => Any): ScriptedInterpreter
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toEnsuring[ScriptedInterpreter] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- def ensuring(cond: Boolean): ScriptedInterpreter
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toEnsuring[ScriptedInterpreter] performed by method Ensuring in scala.Predef.
- Definition Classes
- Ensuring
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def evalName: String
- Definition Classes
- ScriptedInterpreter → ScriptedRepl
- def evalPath: String
- Definition Classes
- ScriptedInterpreter → ScriptedRepl
- def executionWrapper: String
- Definition Classes
- IMain
- def finalize(): Unit
- Definition Classes
- IMain → AnyRef
- def flatPath(sym: Global.Symbol): String
- Definition Classes
- IMain
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getClassIfDefined(path: String): Global.Symbol
- Definition Classes
- IMain
- def getModuleIfDefined(path: String): Global.Symbol
- Definition Classes
- IMain
- lazy val global: Global
- Definition Classes
- IMain
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def implicitSymbolsBySource: List[(Global.Symbol, List[Global.Symbol])]
- Definition Classes
- Imports
- def implicitsCommandInternal(line: String): (List[String], String)
- def importHandlers: collection.immutable.List[(memberHandlers)#ImportHandler]
- Definition Classes
- IMain
- def importsCode(wanted: Set[Global.Name], request: Request, generousImports: Boolean): ComputedImports
- Attributes
- protected
- Definition Classes
- ScriptedInterpreter → Imports
- def importsCommandInternal(tokens: List[String]): List[String]
- def initializeCompiler(): Boolean
- def initializeComplete: Boolean
- def interpret(line: String, synthetic: Boolean): Result
- def interpret(line: String): Result
Interpret one line of input.
Interpret one line of input. All feedback, including parse errors and evaluation results, are printed via the supplied compiler's reporter. Values defined are available for future interpreted strings.
The return value is whether the line was interpreted successfully, e.g. that there were no parse errors.
- def interpretFinally(line: String): Result
Interpret one line of input.
Interpret one line of input. All feedback, including parse errors and evaluation results, are printed via the supplied compiler's reporter. Values defined are available for future interpreted strings.
The return value is whether the line was interpreted successfully, e.g. that there were no parse errors.
- def interpretSynthetic(line: String): Result
- Definition Classes
- IMain
- lazy val isClassBased: Boolean
- Definition Classes
- IMain
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def isPackaged(line: String): Boolean
Does code start with a package definition?
- def kindCommandInternal(typeString: String, verbose: Boolean): String
- def languageWildcardHandlers: collection.immutable.List[(memberHandlers)#ImportHandler]
- Definition Classes
- Imports
- def lastRequest: Request
- Definition Classes
- IMain
- def lastWarnings: List[(Global.Position, String)]
- lazy val memberHandlers: MemberHandlers { val intp: ScriptedInterpreter.this.type }
- Definition Classes
- IMain
- def mostRecentVar: String
Returns the name of the most recent interpreter result.
- def nameToCode(s: String): String
- Definition Classes
- IMain
- def namedDefinedTerms: List[String]
- def namedParam[T](name: String, value: T)(implicit arg0: reflect.api.JavaUniverse.TypeTag[T], arg1: ClassTag[T]): NamedParam
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def newPresentationCompiler(): interactive.Global
Create an instance of the presentation compiler with a classpath comprising the REPL's configured classpath and the classes output by previously compiled REPL lines.
Create an instance of the presentation compiler with a classpath comprising the REPL's configured classpath and the classes output by previously compiled REPL lines.
You may directly interact with this compiler from any thread, although you must not access it concurrently from multiple threads.
You may downcast the
reportertoStoreReporterto access type errors.- Definition Classes
- PresentationCompilation
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def onlyTerms(xs: List[Global.Name]): List[Global.TermName]
- Attributes
- protected
- Definition Classes
- IMain
- def onlyTypes(xs: List[Global.Name]): List[Global.TypeName]
- Attributes
- protected
- Definition Classes
- IMain
- def originalPath(sym: Global.Symbol): String
- Definition Classes
- IMain
- def originalPath(name: Global.Name): String
- Definition Classes
- IMain
- def originalPath(name: String): String
- def outputDir: ReplDir
- def parentClassLoader: ClassLoader
Parent classloader.
Parent classloader. Overridable.
- Attributes
- protected
- Definition Classes
- IMain
- def parse(line: String, fatally: Boolean): Either[Result, (List[Global.Tree], Global.Position, BatchSourceFile)]
- Definition Classes
- IMain
- def parse(line: String): Either[Result, (List[Global.Tree], Global.Position, BatchSourceFile)]
Parse a line into and return parsing result (error, incomplete or success with list of trees)
Parse a line into and return parsing result (error, incomplete or success with list of trees)
- Definition Classes
- IMain
- def parseString(line: String): Result
TODO resolve scan, parse, compile, interpret, which just indicate how much work to do.
- lazy val power: Power[StdReplVals]
- def presentationCompile(cursor: Int, buf: String): Either[Result, PresentationCompilationResult]
Typecheck a line of REPL input, suitably wrapped with "interpreter wrapper" objects/classes, with the presentation compiler.
Typecheck a line of REPL input, suitably wrapped with "interpreter wrapper" objects/classes, with the presentation compiler. The result of this method gives access to the typechecked tree and to autocompletion suggestions.
The caller is responsible for calling PresentationCompileResult#cleanup to dispose of the compiler instance.
- Definition Classes
- PresentationCompilation
- def prevRequestList: collection.immutable.List[Request]
- Definition Classes
- IMain
- def quietBind(p: NamedParam): Result
- def quietRun(code: String): Result
- val readInstanceName: String
- Definition Classes
- IMain
- def readRootPath(readPath: String): Global.Symbol
- Definition Classes
- IMain
- def rebind(p: NamedParam): Result
- Definition Classes
- IMain
- def recordRequest(req: Request): Unit
- Definition Classes
- IMain
- def replClass: Class[_]
- Attributes
- protected
- Definition Classes
- IMain
- def replScope: Global.Scope
- Definition Classes
- IMain
- def replStrings: ReplStrings
- Definition Classes
- IMain
- val reporter: ReplReporter
- def requestDefining(name: String): Option[Request]
- def reset(): Unit
Reset this interpreter, forgetting all user-specified requests.
- def resetClassLoader(): Unit
- Definition Classes
- IMain
- def runtimeClassAndTypeOfTerm(id: String): Option[(Class[_], Global.Type)]
- Definition Classes
- IMain
- def runtimeMirror: Mirror
- Definition Classes
- IMain
- def runtimeTypeOfTerm(id: String): Global.Type
- Definition Classes
- IMain
- def setExecutionWrapper(code: String): Unit
- val settings: Settings
- def showDirectory: String
- def symbolDefString(sym: Global.Symbol): String
- Definition Classes
- IMain
- def symbolOfIdent(id: String): Global.Symbol
- Definition Classes
- IMain
- def symbolOfLine(code: String): Global.Symbol
- Definition Classes
- IMain
- def symbolOfName(id: Global.Name): Global.Symbol
- Definition Classes
- IMain
- def symbolOfTerm(id: String): Global.Symbol
- Definition Classes
- IMain
- def symbolOfType(id: String): Global.Symbol
- Definition Classes
- IMain
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- def tokenize(line: String): List[TokenData]
- def translateEnclosingClass(n: String): Option[String]
- def translateOriginalPath(p: String): String
- Definition Classes
- IMain
- def translatePath(path: String): Option[String]
- def translateSimpleResource(path: String): Option[String]
If path represents a class resource in the default package, see if the corresponding symbol has a class file that is a REPL artifact residing at a different resource path.
If path represents a class resource in the default package, see if the corresponding symbol has a class file that is a REPL artifact residing at a different resource path. Translate X.class to $line3/$read$$iw$$iw$X.class.
- Definition Classes
- IMain
- def tryTwice(op: => Global.Symbol): Global.Symbol
It's a bit of a shotgun approach, but for now we will gain in robustness.
It's a bit of a shotgun approach, but for now we will gain in robustness. Try a symbol-producing operation at phase typer, and if that is NoSymbol, try again at phase flatten. I'll be able to lose this and run only from exitingTyper as soon as I figure out exactly where a flat name is sneaking in when calculating imports.
- Definition Classes
- IMain
- def typeCommandInternal(expr: String, verbose: Boolean): (String, String)
TODO - -n normalize -l label with case class parameter names -c complete - leave nothing out
- def typeOfExpression(expr: String, silent: Boolean = true): Global.Type
- Definition Classes
- IMain
- def typeOfTerm(id: String): Global.Type
- Definition Classes
- IMain
- def typeToCode(s: String): String
- Definition Classes
- IMain
- def unqualifiedIds: List[String]
- Definition Classes
- IMain
- def updateSettings(arguments: List[String]): Boolean
- def userSetSettings: List[Setting]
- def valueOfTerm(id: String): Option[Any]
- def visibleSettings: List[Setting]
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()
- def withLabel[A](temp: String)(body: => A): A
- def withSuppressedSettings(body: => Unit): Unit
- def withoutWarnings[T](body: => T): T
- Definition Classes
- IMain
Deprecated Value Members
- def formatted(fmtstr: String): String
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toStringFormat[ScriptedInterpreter] performed by method StringFormat in scala.Predef.
- Definition Classes
- StringFormat
- Annotations
- @deprecated @inline()
- Deprecated
(Since version 2.12.16) Use
formatString.format(value)instead ofvalue.formatted(formatString), or use thef""string interpolator. In Java 15 and later,formattedresolves to the new method in String which has reversed parameters.
- final def setContextClassLoader(): Unit
- Definition Classes
- ReplCore
- Annotations
- @deprecated
- Deprecated
(Since version 2.12.0) The thread context classloader is now set and restored around execution of REPL line, this method is now a no-op.
- def →[B](y: B): (ScriptedInterpreter, B)
- Implicit
- This member is added by an implicit conversion from ScriptedInterpreter toArrowAssoc[ScriptedInterpreter] performed by method ArrowAssoc in scala.Predef.
- Definition Classes
- ArrowAssoc
- Annotations
- @deprecated
- Deprecated
(Since version 2.13.0) Use
->instead. If you still wish to display it as one character, consider using a font with programming ligatures such as Fira Code.
The Scala compiler and reflection APIs.