Class SemanticTokensWithRegistrationOptions

    • Constructor Detail

      • SemanticTokensWithRegistrationOptions

        public SemanticTokensWithRegistrationOptions()
      • SemanticTokensWithRegistrationOptions

        public SemanticTokensWithRegistrationOptions​(SemanticTokensLegend legend)
      • SemanticTokensWithRegistrationOptions

        public SemanticTokensWithRegistrationOptions​(SemanticTokensLegend legend,
                                                     java.lang.Boolean full)
      • SemanticTokensWithRegistrationOptions

        public SemanticTokensWithRegistrationOptions​(SemanticTokensLegend legend,
                                                     java.lang.Boolean full,
                                                     java.lang.Boolean range)
    • Method Detail

      • getRange

        public org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.Boolean,​java.lang.Object> getRange()
        Server supports providing semantic tokens for a specific range of a document.
      • setRange

        public void setRange​(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.Boolean,​java.lang.Object> range)
        Server supports providing semantic tokens for a specific range of a document.
      • setRange

        public void setRange​(java.lang.Boolean range)
      • setRange

        public void setRange​(java.lang.Object range)
      • getFull

        public org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.Boolean,​SemanticTokensServerFull> getFull()
        Server supports providing semantic tokens for a full document.
      • setFull

        public void setFull​(org.eclipse.lsp4j.jsonrpc.messages.Either<java.lang.Boolean,​SemanticTokensServerFull> full)
        Server supports providing semantic tokens for a full document.
      • setFull

        public void setFull​(java.lang.Boolean full)
      • 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.