DiagnosticEngine class
Static methods
- def addClient(…)
- def reportAll(sourceManager: SourceManager, diag: span[Diagnostic]) -> str
Methods
- def clearClients(self, /) -> None
- def clearCounts(self, /) -> None
- def clearMappings(self, /) -> None
- def clearMappings(self, severity: DiagnosticSeverity) -> None
- def findDiagGroup(self, name: str) -> DiagGroup
- def findFromOptionName(self, optionName: str) -> span[DiagCode]
- def formatMessage(self, diag: Diagnostic) -> str
- def getMessage(self, code: DiagCode) -> str
- def getOptionName(self, code: DiagCode) -> str
- def getSeverity(self, code: DiagCode, location: SourceLocation) -> DiagnosticSeverity
- def issue(self, diagnostic: Diagnostic) -> None
- def setDefaultWarnings(self, /) -> None
- def setErrorLimit(self, limit: int) -> None
- def setErrorsAsFatal(self, set: bool) -> None
- def setFatalsAsErrors(self, set: bool) -> None
- def setIgnoreAllNotes(self, set: bool) -> None
- def setIgnoreAllWarnings(self, set: bool) -> None
- def setMappingsFromPragmas(self, /) -> Diagnostics
- def setMappingsFromPragmas(self, buffer: BufferID) -> Diagnostics
- def setMessage(self, code: DiagCode, message: str) -> None
- def setSeverity(self, code: DiagCode, severity: DiagnosticSeverity) -> None
- def setSeverity(self, group: DiagGroup, severity: DiagnosticSeverity) -> None
- def setWarningOptions(self, options: span[str]) -> Diagnostics
- def setWarningsAsErrors(self, set: bool) -> None
Special methods
- def __init__(self, sourceManager: SourceManager) -> None
Properties
- numErrors: int get
- numWarnings: int get
- sourceManager: SourceManager get