Preparing search index...
The search index is not available
Theia TypeDoc
Theia TypeDoc
plugin-metrics
PluginMetricTimeCount
Class PluginMetricTimeCount
Implements
MetricOutput
Index
Constructors
constructor
Properties
header
Methods
create
Metric
Output
Constructors
constructor
new
Plugin
Metric
Time
Count
(
)
:
PluginMetricTimeCount
Returns
PluginMetricTimeCount
Properties
header
header
:
string
= '# HELP language_server_time_count Number of language server requests\n# TYPE language_server_time_count gauge\n'
Methods
create
Metric
Output
create
Metric
Output
(
id
,
method
,
requestAnalytics
)
:
string
Parameters
id
:
string
method
:
string
requestAnalytics
:
AnalyticsFromRequests
Returns
string
Settings
Member Visibility
Protected
Private
Inherited
Theme
OS
Light
Dark
On This Page
constructor
header
create
Metric
Output
Theia TypeDoc
Loading...