From abb6c717277fb7eb8635d94c32ecab5dee4dd903 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Thu, 2 Feb 2017 13:39:36 +0100 Subject: Initial gh-pages commit --- .../dotc/repl/CompilingInterpreter/Request.html | 6677 ++++++++++++++++++++ 1 file changed, 6677 insertions(+) create mode 100644 api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html (limited to 'api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html') diff --git a/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html new file mode 100644 index 000000000..e135f98ed --- /dev/null +++ b/api/dotty/tools/dotc/repl/CompilingInterpreter/Request.html @@ -0,0 +1,6677 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +
+
+ + + +
+
+ + + + +
+
+ + private + + + class + + + Request + +
+ + +
+

One line of code submitted by the user for interpretation

+ +
+ + +

Members

+ +
+ +
+
+ + + + + private + + + class + + + + AssignHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + class + + + + ClassHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + class + + + + DefHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + class + + + + GenericHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + class + + + + ImportHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + class + + + + ModuleHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + class + + + + PatHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private sealed abstract + + + class + + + + StatementHandler + + + + + + + + +
+ +
+

Class to handle one statement among all the statements included +in a single interpreter request.

+ +
+
+ +
+
+ + + + + private + + + class + + + + TypeAliasHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + class + + + + ValHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private abstract + + + class + + + + ValOrPatHandler + + + + + + + + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + $522$ + + + + + + + + + : + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + accessPath + + + + + + + + + : T3 + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + boundNames + + + + + + + + + : List + +
+ +
+

all (public) names defined by these statements

+ +
+
+ +
+
+ + + + + private implicit + + + val + + + + ctx + + + + + + + + + : Context + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + handlers + + + + + + + + + : List + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + importsPreamble + + + + + + + + + : T1 + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + importsTrailer + + + + + + + + + : T2 + +
+ +
+ +
+
+ +
+
+ + + + + + + + val + + + + line + + + + + + + + + : String + +
+ +
+ +
+
+ +
+
+ + + + + + + + val + + + + lineName + + + + + + + + + : String + +
+ +
+ +
+
+ +
+
+ + + + + private + + + val + + + + trees + + + + + + + + + : List + +
+ +
+ +
+
+ +
+
+ + + + + private + + + var + + + + typeOf + + + + + + + + + : Map + +
+ +
+

Types of variables defined by this request. They are computed +after compilation of the main object

+ +
+
+ +
+
+ + + + + private + + + val + + + + usedNames + + + + + + + + + : List + +
+ +
+

list of names used by this expression

+ +
+
+ +
+
+ + + + + private + + + def + + + + chooseHandler + + + + + + ( + + + + stat: + + Tree + + + ) + + + + + + + : StatementHandler + +
+ +
+ +
+
+ +
+
+ + + + + + + + def + + + + compile + + + + + + ( + + + ) + + + + + + + : Boolean + +
+ +
+

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

+ +
+
+ +
+
+ + + + + private + + + def + + + + findTypes + + + + + + ( + + implicit + + + + ctx: + + Context + + + ) + + + + + + + : Map + +
+ +
+

Dig the types of all bound variables out of the compiler run. +TODO: Change the interface so that we typecheck, and then transform +directly. Treating the... +

+ +
+
+ +
+
+ + + + + private + + + def + + + + fullPath + + + + + + ( + + + + vname: + + String + + + ) + + + + + + + : String + +
+ +
+

Code to access a variable with the specified name

+ +
+
+ +
+
+ + + + + private + + + def + + + + fullPath + + + + + + ( + + + + vname: + + Name + + + ) + + + + + + + : String + +
+ +
+

Code to access a variable with the specified name

+ +
+
+ +
+
+ + + + + private + + + def + + + + importsCode + + + + + + ( + + + + wanted: + + Set +[ +Name +] + + + ) + + + + + + + : + +
+ +
+

Compute imports that allow definitions from previous +requests to be visible in a new request. Returns +three pieces of related code as strings:

+
    +
  1. +

    A preamble: An initial code fragment that should go before +the code of the new request.

    +
    2. +
  2. +

    A trailer: A code fragment that should go after the code +of the new request.

    +
    3. +
  3. An access path which can be traversed to access +any bindings inside code wrapped by #1 and #2 .
    4. +
+

The...

+

+

+ +
+
+ +
+
+ + + + + + + + def + + + + loadAndRun + + + + + + ( + + + ) + + + + + + + : + +
+ +
+

load and run the code using reflection.

+ +
+
+ +
+
+ + + + + private + + + def + + + + objectName + + + + + + + + + : String + +
+ +
+

name to use for the object that will compute "line"

+ +
+
+ +
+
+ + + + + private + + + def + + + + objectSourceCode + + + + + + + + + : String + +
+ +
+

generate the source code for the object that computes this request +TODO Reformulate in a functional way

+ +
+
+ +
+
+ + + + + private + + + def + + + + resultObjectName + + + + + + + + + : String + +
+ +
+

name of the object that retrieves the result from the above object

+ +
+
+ +
+
+ + + + + private + + + def + + + + resultObjectSourceCode + + + + + + + + + : String + +
+ +
+

generate source code for the object that retrieves the result +from objectSourceCode

+ +
+
+ +
+
+ + + + + private + + + def + + + + toCompute + + + + + + + + + : String + +
+ +
+

the line of code to compute

+ +
+
+ +
+
+ + + + + private + + + def + + + + typeOf_= + + + + + + ( + + + + x$1: + + Map +[ +Name, String +] + + + ) + + + + + + + : Unit + +
+ +
+

Types of variables defined by this request. They are computed +after compilation of the main object

+ +
+
+ +
+
+ + + + + private + + + def + + + + withOutput + + + + + + ( + + + + os: + + ByteArrayOutputStream + + + ) + + ( + + + + op: + + ByteArrayOutputStream => T + + + ) + + + + + + + : T + +
+ +
+

Sets both System.{out,err} and Console.{out,err} to supplied +os: OutputStream

+ +
+
+ +
+
+
+
+ + + + + + + + + + + + -- cgit v1.2.3