scala3-language-server
DocsAPI
Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL
scala3-language-server/dotty.tools.languageserver/dotty.tools.languageserver.worksheet/Worksheet

Worksheet

dotty.tools.languageserver.worksheet.Worksheet
object Worksheet

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Worksheet.type

Members list

Value members

Concrete methods

def run(tree: SourceTree, treeLock: Object, sendMessage: (SourcePosition, String) => Unit, cancelChecker: CancelChecker)(implicit ctx: Context): Unit

Run tree as a worksheet using the REPL.

Run tree as a worksheet using the REPL.

Value parameters

cancelChecker

A token to check whether execution should be cancelled.

sendMessage

A mean of communicating the results of evaluation back.

tree

The top level object wrapping the worksheet.

treeLock

Object on which to lock when doing operations on trees.

Attributes

Generated with
Copyright (c) 2002-2024, LAMP/EPFL
Copyright (c) 2002-2024, LAMP/EPFL