JML的简单解析器

Question

我正在寻找一个用Java编写的能够读取JML的解析器。

基本上，我希望解析器能够读取JML块，并知道它属于哪个方法。

我一直在研究OpenJML项目，但仅仅是项目设置就太多了。

Answer 1

我怀疑你会不会找到一个工具，它能做你想要的，甚至接近你想要的。

您可以编写一个“部分”Java语法，它在输入文件中扫描//@ ...和/*@ ... @*/，后面紧跟一个方法声明。所谓“部分”，我的意思是您不是在语义上解析输入源，而是仅在词法级别上执行此操作(因此仅限标记)。确保考虑到字符串文字:您不希望文字String s = "/*@";成为JML规范的开头。

Java的两个众所周知的解析器生成器是：

1. ANTLR
2. JavaCC

掌握这两种语法都需要一些时间，特别是如果您是解析器生成器的新手，但是一旦您掌握了它的诀窍，创建一个可以可靠地完成这一任务的小型语法真的不需要太多的工作。