Packages

  • package root

    The Scala compiler and reflection APIs.

    The Scala compiler and reflection APIs.

    Definition Classes
    root
  • package scala
    Definition Classes
    root
  • package tools
    Definition Classes
    scala
  • package nsc
    Definition Classes
    tools
  • package interpreter

    The main REPL related classes and values are as follows.

    The main REPL related classes and values are as follows. In addition to standard compiler classes Global and Settings, there are:

    History: an interface for session history. Completion: an interface for tab completion. ILoop (formerly InterpreterLoop): The umbrella class for a session. IMain (formerly Interpreter): Handles the evolving state of the session and handles submitting code to the compiler and handling the output. InteractiveReader: how ILoop obtains input. History: an interface for session history. Completion: an interface for tab completion. Power: a repository for more advanced/experimental features.

    ILoop contains { in: InteractiveReader, intp: IMain, settings: Settings, power: Power } InteractiveReader contains { history: History, completion: Completion } IMain contains { global: Global }

    Definition Classes
    nsc
  • class IMain extends Imports with PresentationCompilation with Closeable

    An interpreter for Scala code.

    An interpreter for Scala code.

    The main public entry points are compile(), interpret(), and bind(). The compile() method loads a complete Scala file. The interpret() method executes one line of Scala code at the request of the user. The bind() method binds an object to a variable that can then be used by later interpreted code.

    The overall approach is based on compiling the requested code and then using a Java classloader and Java reflection to run the code and access its results.

    In more detail, a single compiler instance is used to accumulate all successfully compiled or interpreted Scala code. To "interpret" a line of code, the compiler generates a fresh object that includes the line of code and which has public member(s) to export all variables defined by that code. To extract the result of an interpreted line to show the user, a second "result object" is created which imports the variables exported by the above object and then exports members called "$eval" and "$print". To accommodate user expressions that read from variables or methods defined in previous statements, "import" statements are used.

    This interpreter shares the strengths and weaknesses of using the full compiler-to-Java. The main strength is that interpreted code behaves exactly as does compiled code, including running at full speed. The main weakness is that redefining classes and methods is not handled properly, because rebinding at the Java level is technically difficult.

    Definition Classes
    interpreter
  • ComputedImports
  • PhaseDependentOps
  • PresentationCompileResult
  • ReadEvalPrint
  • ReplTypeOps
  • Request
  • deconstruct
  • exprTyper
  • flatOp
  • naming
  • parse
  • replOutput
  • typerOp

class Request extends AnyRef

One line of code submitted by the user for interpretation

Source
IMain.scala
Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Request
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

  1. new Request(line: String, trees: List[Global.Tree], generousImports: Boolean = false)

Type Members

  1. class ClassBasedWrapper extends Wrapper
  2. class ObjectBasedWrapper extends Wrapper
  3. abstract class Wrapper extends CodeAssembler[(memberHandlers)#MemberHandler]

    generate the source code for the object that computes this request

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def +(other: String): String
    Implicit
    This member is added by an implicit conversion from Request to any2stringadd[Request] performed by method any2stringadd in scala.Predef.
    Definition Classes
    any2stringadd
  4. def ->[B](y: B): (Request, B)
    Implicit
    This member is added by an implicit conversion from Request to ArrowAssoc[Request] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc
    Annotations
    @inline()
  5. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  6. lazy val accessPath: String

    Code to import bound names from previous lines - accessPath is code to append to objectName to access anything bound by request.

  7. def applyToResultMember[T](name: Global.Name, f: (Global.Symbol) ⇒ T): T
  8. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  9. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  10. lazy val compile: Boolean

    Compile the object file.

    Compile the object file. Returns whether the compilation succeeded. If all goes well, the "types" map is computed.

  11. lazy val compilerTypeOf: Map[Global.Name, Global.Type]

    Types of variables defined by this request.

  12. def defHandlers: collection.immutable.List[(memberHandlers)#MemberDefHandler]
  13. lazy val definedSymbols: Map[Global.Name, Global.Symbol]
  14. def defines: collection.immutable.List[Global.Symbol]
  15. val definesValueClass: Boolean
  16. def ensuring(cond: (Request) ⇒ Boolean, msg: ⇒ Any): Request
    Implicit
    This member is added by an implicit conversion from Request to Ensuring[Request] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  17. def ensuring(cond: (Request) ⇒ Boolean): Request
    Implicit
    This member is added by an implicit conversion from Request to Ensuring[Request] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  18. def ensuring(cond: Boolean, msg: ⇒ Any): Request
    Implicit
    This member is added by an implicit conversion from Request to Ensuring[Request] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  19. def ensuring(cond: Boolean): Request
    Implicit
    This member is added by an implicit conversion from Request to Ensuring[Request] performed by method Ensuring in scala.Predef.
    Definition Classes
    Ensuring
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  22. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. def fullAccessPath: String

    The path of the value that contains the user code.

  24. def fullPath(vname: String): String

    The path of the given member of the wrapping instance.

  25. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  26. val handlers: List[(memberHandlers)#MemberHandler]

    handlers for each tree in this request

  27. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  28. lazy val headerPreamble: String

    Code to import bound names from previous lines - accessPath is code to append to objectName to access anything bound by request.

  29. def importedSymbols: collection.immutable.List[Global.Symbol]
  30. def imports: collection.immutable.List[Global.Symbol]
  31. lazy val importsPreamble: String

    Code to import bound names from previous lines - accessPath is code to append to objectName to access anything bound by request.

  32. lazy val importsTrailer: String

    Code to import bound names from previous lines - accessPath is code to append to objectName to access anything bound by request.

  33. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  34. val line: String
  35. val lineRep: ReadEvalPrint
  36. def loadAndRun: (String, Boolean)

    load and run the code using reflection

  37. def lookupTypeOf(name: Global.Name): String
  38. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  39. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  40. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  41. def originalLine: String
  42. val referencedNames: List[Global.Name]

    list of names used by this expression

  43. lazy val resultSymbol: Global.Symbol
  44. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  45. def termNames: collection.immutable.List[Global.TermName]

    def and val names

  46. def toCompute: String

    the line of code to compute

  47. def toString(): String
    Definition Classes
    Request → AnyRef → Any
  48. val trees: List[Global.Tree]
  49. def typeNames: collection.immutable.List[Global.TypeName]
  50. lazy val typeOf: Map[Global.Name, String]

    String representations of same.

  51. lazy val typesOfDefinedTerms: Map[Global.Name, Global.Type]
  52. def value: Global.Symbol
  53. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  54. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  56. def withOriginalLine(s: String): Request.this.type
  57. def →[B](y: B): (Request, B)
    Implicit
    This member is added by an implicit conversion from Request to ArrowAssoc[Request] performed by method ArrowAssoc in scala.Predef.
    Definition Classes
    ArrowAssoc

Deprecated Value Members

  1. def formatted(fmtstr: String): String
    Implicit
    This member is added by an implicit conversion from Request to StringFormat[Request] performed by method StringFormat in scala.Predef.
    Definition Classes
    StringFormat
    Annotations
    @deprecated @inline()
    Deprecated

    (Since version 2.12.16) Use formatString.format(value) instead of value.formatted(formatString), or use the f"" string interpolator. In Java 15 and later, formatted resolves to the new method in String which has reversed parameters.

Inherited from AnyRef

Inherited from Any

Inherited by implicit conversion any2stringadd from Request to any2stringadd[Request]

Inherited by implicit conversion StringFormat from Request to StringFormat[Request]

Inherited by implicit conversion Ensuring from Request to Ensuring[Request]

Inherited by implicit conversion ArrowAssoc from Request to ArrowAssoc[Request]

Ungrouped