class TextDocumentManager extends TextDocumentSyncConsumer
- Alphabetic
- By Inheritance
- TextDocumentManager
- TextDocumentSyncConsumer
- InitializableModule
- Initializable
- ConfigHandler
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
- case class UriToEditor() extends Product with Serializable
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
-
def
applyConfig(config: Option[SynchronizationClientCapabilities]): Either[TextDocumentSyncKind, TextDocumentSyncOptions]
- Definition Classes
- TextDocumentManager → ConfigHandler
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- def determineLanguage(url: String, text: String): String
- def determineSyntax(url: String, text: String): String
-
def
didChange(params: DidChangeTextDocumentParams): Unit
The document change notification is sent from the client to the server to signal changes to a text document.
The document change notification is sent from the client to the server to signal changes to a text document.
Registration Options: TextDocumentChangeRegistrationOptions
- Definition Classes
- TextDocumentManager → TextDocumentSyncConsumer
-
def
didClose(params: DidCloseTextDocumentParams): Unit
The document close notification is sent from the client to the server when the document got closed in the client.
The document close notification is sent from the client to the server when the document got closed in the client. The document's truth now exists where the document's uri points to (e.g. if the document's uri is a file uri the truth now exists on disk).
Registration Options: TextDocumentRegistrationOptions
- Definition Classes
- TextDocumentManager → TextDocumentSyncConsumer
-
def
didFocus(params: DidFocusParams): Unit
- Definition Classes
- TextDocumentManager → TextDocumentSyncConsumer
-
def
didOpen(params: DidOpenTextDocumentParams): Unit
The document open notification is sent from the client to the server to signal newly opened text documents.
The document open notification is sent from the client to the server to signal newly opened text documents. The document's truth is now managed by the client and the server must not try to read the document's truth using the document's uri.
Registration Options: TextDocumentRegistrationOptions
- Definition Classes
- TextDocumentManager → TextDocumentSyncConsumer
- var documentChangeExecutor: Option[IDocumentChangeExecutor]
- var documentChangeListeners: Set[(ChangedDocument) ⇒ Unit]
- var documentCloseListeners: Set[(String) ⇒ Unit]
- var documentOpenListeners: Set[(OpenedDocument) ⇒ Unit]
- def documentWasChanged(document: ChangedDocument): Unit
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def getDocumentChangeExecutor: Option[IDocumentChangeExecutor]
- def getTextDocument(uri: String): Option[TextDocument]
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
initialize(): Future[Unit]
- Definition Classes
- TextDocumentManager → Initializable
-
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()
- def onChangeDocument(listener: (ChangedDocument) ⇒ Unit, unsubscribe: Boolean = false): Unit
- def onChangePosition(uri: String, position: Int): Unit
- def onCloseDocument(uri: String): Unit
- def onClosedDocument(listener: (String) ⇒ Unit, unsubscribe: Boolean = false): Unit
- def onOpenDocument(document: OpenedDocument): Unit
- def onOpenedDocument(listener: (OpenedDocument) ⇒ Unit, unsubscribe: Boolean = false): Unit
- def setDocumentChangeExecutor(executor: IDocumentChangeExecutor): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
val
type: TextDocumentSyncConfigType.type
- Definition Classes
- TextDocumentManager → ConfigHandler
- def versionOf(iri: String): 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
- @native() @throws( ... )