ProgressToken is used to associate progress notifications with the original request.
| 41 | |
| 42 | // ProgressToken is used to associate progress notifications with the original request. |
| 43 | type ProgressToken interface{} |
| 44 | |
| 45 | // RequestId is a uniquely identifying ID for a request in JSON-RPC. |
| 46 | // It can be any JSON-serializable value, typically a number or string. |
nothing calls this directly
no outgoing calls
no test coverage detected