Package org.eclipse.lsp4j

Class NotebookDocumentSyncRegistrationOptions

java.lang.Object

org.eclipse.lsp4j.NotebookDocumentSyncRegistrationOptions

public class NotebookDocumentSyncRegistrationOptions
extends java.lang.Object

Registration options specific to a notebook.

Since 3.17.0

Constructor Summary

Constructors

Constructor	Description
NotebookDocumentSyncRegistrationOptions()
NotebookDocumentSyncRegistrationOptions(java.util.List<NotebookSelector> notebookSelector)
NotebookDocumentSyncRegistrationOptions(java.util.List<NotebookSelector> notebookSelector, java.lang.Boolean save)

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
java.lang.String	getId()	The id used to register the request.
java.util.List<NotebookSelector>	getNotebookSelector()	The notebooks to be synced
java.lang.Boolean	getSave()	Whether save notification should be forwarded to the server.
int	hashCode()
void	setId(java.lang.String id)	The id used to register the request.
void	setNotebookSelector(java.util.List<NotebookSelector> notebookSelector)	The notebooks to be synced
void	setSave(java.lang.Boolean save)	Whether save notification should be forwarded to the server.
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NotebookDocumentSyncRegistrationOptions

public NotebookDocumentSyncRegistrationOptions()

NotebookDocumentSyncRegistrationOptions

public NotebookDocumentSyncRegistrationOptions(java.util.List<NotebookSelector> notebookSelector)

NotebookDocumentSyncRegistrationOptions

public NotebookDocumentSyncRegistrationOptions(java.util.List<NotebookSelector> notebookSelector,
                                               java.lang.Boolean save)

Method Detail

getId

public java.lang.String getId()

The id used to register the request. The id can be used to deregister the request again. See also Registration.id.

setId

public void setId(java.lang.String id)

The id used to register the request. The id can be used to deregister the request again. See also Registration.id.

getNotebookSelector

public java.util.List<NotebookSelector> getNotebookSelector()

The notebooks to be synced

setNotebookSelector

public void setNotebookSelector(java.util.List<NotebookSelector> notebookSelector)

The notebooks to be synced

getSave

public java.lang.Boolean getSave()

Whether save notification should be forwarded to the server. Will only be honored if mode === `notebook`.

setSave

public void setSave(java.lang.Boolean save)

Whether save notification should be forwarded to the server. Will only be honored if mode === `notebook`.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object