Search
Preparing search index...
The search index is not available
Theia TypeDoc
Options
All
Public
Public/Protected
All
Inherited
Menu
Theia TypeDoc
plugin-metrics
PluginMetricTimeCount
Class PluginMetricTimeCount
Hierarchy
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
:
string
, method
:
string
, requestAnalytics
:
AnalyticsFromRequests
)
:
string
Parameters
id:
string
method:
string
requestAnalytics:
AnalyticsFromRequests
Returns
string
Exports
plugin-
metrics
Languages
Main
Plugin
Metrics
Plugin
Metric
String
Generator
Plugin
Metric
Time
Count
constructor
header
create
Metric
Output
Plugin
Metric
Time
Sum
Plugin
Metrics
Contribution
Plugin
Metrics
Contributor
Plugin
Metrics
Creator
Plugin
Metrics
Impl
Plugin
Metrics
Output
Channel
Registry
Plugin
Metrics
Resolver
Analytics
From
Requests
Data
From
Request
Method
ToAnalytics
Metric
Output
Metrics
Map
Plugin
Metrics
default
default
METRICS_
TIMEOUT
Plugin
Metrics
metrics
Json
Rpc
Path
create
Default
Analytics
create
Default
Request
Data
create
Request
Data