View source

typedef PreviousResultId

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

A previous result id in a workspace pull request.

Available since

3.17.0

.

Fields

value:String

The value of the previous result id.

uri:DocumentUri

The URI for which the client knowns a result id.