public interface ErrorCode
(This is an interface rather than a class as it's convenient for "providers"
of error codes to create an enumeration that implements this interface.
This is how CoreErrorCode works in the SnuggleTeX Core module.)
CoreErrorCode,
ErrorGroup,
SnugglePackage| Modifier and Type | Method and Description |
|---|---|
ErrorGroup |
getErrorGroup()
ErrorGroup owning this code |
String |
getName()
Short name for this code, used as a key when formatting error messages via
SnugglePackage.getErrorMessageBundle() |
String getName()
SnugglePackage.getErrorMessageBundle()ErrorGroup getErrorGroup()
ErrorGroup owning this codeCopyright © 2008–2026 The University of Edinburgh. All rights reserved.