public static interface VocabChecker.TermReporter
Modifier and Type | Method and Description |
---|---|
void |
termDeprecated(String msg)
Invoked if the presented term was found in the vocabulary
but flagged as "deprecated".
|
void |
termFound()
Invoked if the presented term was found as a normal entry
in the vocabulary.
|
void |
termPreliminary(String msg)
Invoked if the presented term was found in the vocabulary
but flagged as "preliminary".
|
void |
termUnknown(String msg)
Invoked if no such term was found in the vocabulary.
|
void termFound()
void termUnknown(String msg)
msg
- user-directed message giving detailsvoid termDeprecated(String msg)
msg
- user-directed message giving detailsvoid termPreliminary(String msg)
msg
- user-directed message giving detailsCopyright © 2024 Central Laboratory of the Research Councils. All Rights Reserved.