[−][src]Module garando_syntax2::diagnostics::plugin
Modules
diagnostic | |
diagnostic_builder | |
emitter | |
registry | |
snippet | Code for annotating snippets. |
styled_buffer | Code for creating styled buffers |
Structs
CodeSuggestion | |
Diagnostic | |
DiagnosticBuilder | Used for emitting structured error messages and other diagnostic information. |
DiagnosticStyledString | |
ErrorInfo | Error information type. |
ExplicitBug | Signifies that the compiler died with an explicit call to |
FatalError | Used as a return value to signify a fatal error occurred. (It is also used as the argument to panic at the moment, but that will eventually not be true.) |
Handler | A handler deals with errors; certain errors (fatal, bug, unimpl) may cause immediate exit, others log errors for later reporting. |
SubDiagnostic | For example a note attached to an error. |
Substitution | See the docs on |
Enums
ColorConfig | |
Level | |
RenderSpan | |
StringPart |
Traits
CodeMapper |
Functions
expand_build_diagnostic_array | |
expand_diagnostic_used | |
expand_register_diagnostic | |
expect |
Type Definitions
ErrorMap | Mapping from error codes to metadata. |