RenameRegistrationOptions

case class RenameRegistrationOptions(documentSelector: Opt[DocumentSelector], prepareProvider: Opt[Boolean])

Registration options for a RenameRequest.

Value parameters:
documentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

prepareProvider

Renames should be checked and tested before being executed.

Since:

version 3.12.0

Companion:
object
Source:
structures.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product