Elide API
Toggle table of contents
1.0.0-beta1
jvm
Platform filter
jvm
Switch theme
Search in API
Elide API
engine
/
elide.runtime.precompiler
/
PrecompilerNotice
/
PrecompilerNotice
Precompiler
Notice
constructor
(
diagnostics
:
DiagnosticsSuite
,
severity
:
Severity
,
message
:
String
?
=
null
,
cause
:
Throwable
?
=
null
,
fatal
:
Boolean
=
false
)