case class VersionedTextDocumentIdentifier(uri: String, version: Option[Int]) extends DocumentIdentifier with Product with Serializable
An identifier to denote a specific version of a text document.
- 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 {{None}} to indicate that the version is known and the content on disk is the truth. The version number of a document will increase after each change, including undo/redo. The number doesn't need to be consecutive.
- Alphabetic
- By Inheritance
- VersionedTextDocumentIdentifier
- Serializable
- Serializable
- Product
- Equals
- DocumentIdentifier
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
-
new
VersionedTextDocumentIdentifier(uri: String, version: Option[Int])
- 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 {{None}} to indicate that the version is known and the content on disk is the truth. The version number of a document will increase after each change, including undo/redo. The number doesn't need to be consecutive.
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
val
uri: String
The text document's URI.
The text document's URI.
- Definition Classes
- VersionedTextDocumentIdentifier → DocumentIdentifier
- val version: Option[Int]
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()