scala3-language-server
API
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL
scala3-language-server/dotty.tools.languageserver/dotty.tools.languageserver.worksheet/WorksheetRunParams

WorksheetRunParams

dotty.tools.languageserver.worksheet.WorksheetRunParams
case class WorksheetRunParams(textDocument: VersionedTextDocumentIdentifier)

The parameter for the worksheet/run request.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Constructors

def this()

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with
Copyright (c) 2002-2022, LAMP/EPFL
Copyright (c) 2002-2022, LAMP/EPFL