p4lang / p4analyzer

A Language Server Protocol (LSP) compliant analyzer for the P4 language
Apache License 2.0
20 stars 3 forks source link

Use LSP Telemetry for reporting #5

Open timjroberts opened 1 year ago

timjroberts commented 1 year ago

The LSP specification supports a Telemetry Notification allowing a server to "request a client to log a telemetry event". We could use this to report rudimentary statistics to the VSCode extension which is then optionally made visible to the user via the extension UI. Reported statistics could include 'requests/sec', 'memsize' and so on.