l*********s 发帖数: 5409 | 1 请教:
protected /*@spec_public non_null@*/ double[] m_AttValues;
这个/*@spec_public non_null@*/ 是啥?oracle tutorial 找不到 | g*****g 发帖数: 34805 | 2 Guess javadoc may use it, or other similar preprocessor.
【在 l*********s 的大作中提到】 : 请教: : protected /*@spec_public non_null@*/ double[] m_AttValues; : 这个/*@spec_public non_null@*/ 是啥?oracle tutorial 找不到
| l*********s 发帖数: 5409 | 3 谢谢,后来还是找到了,是JML 注释
【在 g*****g 的大作中提到】 : Guess javadoc may use it, or other similar preprocessor.
|
|