Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-metrics
node/metric-output/plugin-metrics-time-sum
PluginMetricTimeSum
Class PluginMetricTimeSum
Implements
MetricOutput
Index
Constructors
constructor
Properties
header
Methods
create
Metric
Output
Constructors
constructor
new
PluginMetricTimeSum
()
:
PluginMetricTimeSum
Returns
PluginMetricTimeSum
Properties
header
header
:
string
= '# HELP language_server_time_sum Sum of time in milliseconds that language server requests take\n# TYPE language_server_time_sum 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...