Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-metrics
node/metric-output/plugin-metrics-time-count
PluginMetricTimeCount
Class PluginMetricTimeCount
Implements
MetricOutput
Index
Constructors
constructor
Properties
header
Methods
create
Metric
Output
Constructors
constructor
new
PluginMetricTimeCount
()
:
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
createMetricOutput
(
id
:
string
,
method
:
string
,
requestAnalytics
:
AnalyticsFromRequests
,
)
:
string
Parameters
id
:
string
method
:
string
requestAnalytics
:
AnalyticsFromRequests
Returns
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
header
Methods
create
Metric
Output
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...