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

    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
Type Hierarchy
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. 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.

  2. def applyToResultMember[T](name: Global.Name, f: (Global.Symbol) ⇒ T): T
  3. 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.

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

    Types of variables defined by this request.

  5. def defHandlers: collection.immutable.List[(memberHandlers)#MemberDefHandler]
  6. lazy val definedSymbols: Map[Global.Name, Global.Symbol]
  7. def defines: collection.immutable.List[Global.Symbol]
  8. val definesClass: Boolean
  9. def fullAccessPath: String

    The path of the value that contains the user code.

  10. def fullPath(vname: String): String

    The path of the given member of the wrapping instance.

  11. val handlers: List[(memberHandlers)#MemberHandler]

    handlers for each tree in this request

  12. 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.

  13. def importedSymbols: collection.immutable.List[Global.Symbol]
  14. def imports: collection.immutable.List[Global.Symbol]
  15. 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.

  16. 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.

  17. val line: String
  18. val lineRep: ReadEvalPrint
  19. def loadAndRun: (String, Boolean)

    load and run the code using reflection

  20. def lookupTypeOf(name: Global.Name): String
  21. def originalLine: String
  22. val referencedNames: List[Global.Name]

    list of names used by this expression

  23. lazy val resultSymbol: Global.Symbol
  24. def termNames: collection.immutable.List[Global.TermName]

    def and val names

  25. def toCompute: String

    the line of code to compute

  26. def toString(): String
    Definition Classes
    Request → AnyRef → Any
  27. val trees: List[Global.Tree]
  28. def typeNames: collection.immutable.List[Global.TypeName]
  29. lazy val typeOf: Map[Global.Name, String]

    String representations of same.

  30. lazy val typesOfDefinedTerms: Map[Global.Name, Global.Type]
  31. def value: Global.Symbol
  32. def withOriginalLine(s: String): Request.this.type