java - 公共类的@invariant 标记

Question

我们使用 IBM Rational Software Architect for Websphere Software。我们运行了代码分析器，它给出了以下警告。

公共类的@invariant 标记丢失

我对此进行了谷歌搜索，但找不到任何有用的信息。请向我解释我们必须使用@invariant 标签的目的以及我们如何使用。如果您提供任何示例，这将非常有帮助。