最近用daikon工具获取不变量，但是，得到的不变量插装后的文件格式为.java-dbcannotated，而且里面的不变量都是注释的形式。有人用过这个工具，能介绍一下，.java-dbcannotated格式的文件怎么用来检测不变量？能说的详细一点就更好了，谢谢。