Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
plugin/languages/diagnostics
Diagnostics
Class Diagnostics
Index
Constructors
constructor
Properties
on
Did
Change
Diagnostics
MAX_
DIAGNOSTICS_
PER_
FILE
Methods
create
Diagnostic
Collection
get
Diagnostics
Constructors
constructor
new
Diagnostics
(
rpc
:
RPCProtocol
)
:
Diagnostics
Parameters
rpc
:
RPCProtocol
Returns
Diagnostics
Properties
Readonly
on
Did
Change
Diagnostics
onDidChangeDiagnostics
:
Event
<
DiagnosticChangeEvent
>
= ...
Static
MAX_
DIAGNOSTICS_
PER_
FILE
MAX_DIAGNOSTICS_PER_FILE
:
number
= 1000
Methods
create
Diagnostic
Collection
createDiagnosticCollection
(
name
?:
string
)
:
DiagnosticCollection
Parameters
Optional
name
:
string
Returns
DiagnosticCollection
get
Diagnostics
getDiagnostics
(
resource
:
Uri
)
:
Diagnostic
[]
Parameters
resource
:
Uri
Returns
Diagnostic
[]
getDiagnostics
()
:
[
Uri
,
Diagnostic
[]
]
[]
Returns
[
Uri
,
Diagnostic
[]
]
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Constructors
constructor
Properties
on
Did
Change
Diagnostics
MAX_
DIAGNOSTICS_
PER_
FILE
Methods
create
Diagnostic
Collection
get
Diagnostics
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...