public interface ErrorGroup
ErrorCodes.
(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 CoreErrorGroup works in the SnuggleTeX Core module.)
ErrorCode,
SnugglePackage| Modifier and Type | Method and Description |
|---|---|
String |
getName()
Short name for this group, used as a key when formatting error messages via
SnugglePackage.getErrorMessageBundle() |
SnugglePackage |
getPackage()
SnugglePackage defining this group |
String getName()
SnugglePackage.getErrorMessageBundle()SnugglePackage getPackage()
SnugglePackage defining this groupCopyright © 2008–2026 The University of Edinburgh. All rights reserved.