Class TextDocumentRegistrationOptions

    • Constructor Detail

      • TextDocumentRegistrationOptions

        public TextDocumentRegistrationOptions()
      • TextDocumentRegistrationOptions

        public TextDocumentRegistrationOptions​(java.util.List<DocumentFilter> documentSelector)
    • Method Detail

      • getDocumentSelector

        public java.util.List<DocumentFilter> getDocumentSelector()
        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.
      • setDocumentSelector

        public void setDocumentSelector​(java.util.List<DocumentFilter> 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.
      • 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