Theia API Documentation v1.65.0
Eclipse Theia Website
GitHub
Preparing search index...
@theia/plugin-ext
common/plugin-protocol
PluginProblemPatternContribution
Interface PluginProblemPatternContribution
interface
PluginProblemPatternContribution
{
character
?:
number
;
code
?:
number
;
column
?:
number
;
endCharacter
?:
number
;
endColumn
?:
number
;
endLine
?:
number
;
file
?:
number
;
kind
?:
string
;
line
?:
number
;
location
?:
number
;
loop
?:
boolean
;
message
?:
number
;
name
:
string
;
regexp
:
string
;
severity
?:
number
;
}
Hierarchy (
View Summary
)
ProblemPatternContribution
PluginProblemPatternContribution
Index
Properties
character?
code?
column?
end
Character?
end
Column?
end
Line?
file?
kind?
line?
location?
loop?
message?
name
regexp
severity?
Properties
Optional
character
character
?:
number
Optional
code
code
?:
number
Optional
column
column
?:
number
Optional
end
Character
endCharacter
?:
number
Optional
end
Column
endColumn
?:
number
Optional
end
Line
endLine
?:
number
Optional
file
file
?:
number
Optional
kind
kind
?:
string
Optional
line
line
?:
number
Optional
location
location
?:
number
Optional
loop
loop
?:
boolean
Optional
message
message
?:
number
name
name
:
string
regexp
regexp
:
string
Optional
severity
severity
?:
number
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
character
code
column
end
Character
end
Column
end
Line
file
kind
line
location
loop
message
name
regexp
severity
Eclipse Theia Website
GitHub
Theia API Documentation v1.65.0
Loading...