public final class CoreRegistry extends Object
registry/core-registry.json): the codes of every registry group and
the validation stage of every diagnostic code.| Modifier and Type | Method and Description |
|---|---|
Set<String> |
group(String name)
The codes of a group; empty for a group the registry does not have.
|
Set<String> |
groupNames() |
static CoreRegistry |
of(Object registry)
A registry from a parsed
core-registry.json. |
String |
stageOf(String diagnosticCode)
The validation stage of a diagnostic code, or null.
|
static CoreRegistry |
standard()
The registry this library ships.
|
public static CoreRegistry standard()
public static CoreRegistry of(Object registry)
core-registry.json.public Set<String> group(String name)
public Set<String> groupNames()