A text document identifier to optionally denote a specific version of a text document.
- Value parameters:
- uri
The text document's uri.
- version
The version number of this document. If a versioned text document identifier is sent from the server to the client and the file is not open in the editor (the server has not received an open notification before) the server can send
nullto indicate that the version is unknown and the content on disk is the truth (as specified with document content ownership).
- Companion:
- object
- Source:
- structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any