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 and Description
NotebookDocumentSyncRegistrationOptions()
NotebookDocumentSyncRegistrationOptions(java.util.List<NotebookSelector> notebookSelector)
NotebookDocumentSyncRegistrationOptions(java.util.List<NotebookSelector> notebookSelector, java.lang.Boolean save)

Method Summary

Modifier and Type	Method and 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

@Pure
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

@Pure
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

@Pure
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

@Pure
public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

@Pure
public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class java.lang.Object