标签： java ibm-rad
我们使用IBM Rational Software Architect for Websphere Software。我们运行了代码分析器，它正在发出波纹管警告。
缺少公共类的@invariant标记
我做了谷歌搜索，我找不到任何有用的信息。 请解释一下我们必须使用@invariant标签以及我们如何使用它。 如果您提供任何示例，这将非常有用。