Search
Preparing search index...
The search index is not available
Theia TypeDoc
Options
All
Public
Public/Protected
All
Inherited
Menu
Theia TypeDoc
plugin-metrics
PluginMetricsOutputChannelRegistry
Class PluginMetricsOutputChannelRegistry
Hierarchy
OutputChannelRegistryMainImpl
PluginMetricsOutputChannelRegistry
Index
Constructors
constructor
Properties
command
Service
plugin
Metrics
Creator
Methods
$append
$clear
$close
$dispose
$reveal
Constructors
constructor
new
Plugin
Metrics
Output
Channel
Registry
(
)
:
PluginMetricsOutputChannelRegistry
Returns
PluginMetricsOutputChannelRegistry
Properties
Protected
Readonly
command
Service
command
Service
:
CommandService
Protected
Readonly
plugin
Metrics
Creator
plugin
Metrics
Creator
:
PluginMetricsCreator
Methods
$append
$append
(
channelName
:
string
, errorOrValue
:
string
, pluginInfo
:
PluginInfo
)
:
PromiseLike
<
void
>
Parameters
channelName:
string
errorOrValue:
string
pluginInfo:
PluginInfo
Returns
PromiseLike
<
void
>
$clear
$clear
(
name
:
string
)
:
PromiseLike
<
void
>
Parameters
name:
string
Returns
PromiseLike
<
void
>
$close
$close
(
name
:
string
)
:
PromiseLike
<
void
>
Parameters
name:
string
Returns
PromiseLike
<
void
>
$dispose
$dispose
(
name
:
string
)
:
PromiseLike
<
void
>
Parameters
name:
string
Returns
PromiseLike
<
void
>
$reveal
$reveal
(
name
:
string
, preserveFocus
:
boolean
)
:
Promise
<
void
>
Parameters
name:
string
preserveFocus:
boolean
Returns
Promise
<
void
>
Exports
plugin-
metrics
Languages
Main
Plugin
Metrics
Plugin
Metric
String
Generator
Plugin
Metric
Time
Count
Plugin
Metric
Time
Sum
Plugin
Metrics
Contribution
Plugin
Metrics
Contributor
Plugin
Metrics
Creator
Plugin
Metrics
Impl
Plugin
Metrics
Output
Channel
Registry
constructor
command
Service
plugin
Metrics
Creator
$append
$clear
$close
$dispose
$reveal
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