java - JML 的简单解析器

Question

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

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

我一直在看 OpenJML 项目，但只是项目设置太多了。

Answer 1

我怀疑您会找到一款完全符合您要求甚至接近您要求的工具。

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

两个著名的 Java 解析器生成器是:

1. ANTLR
2. JavaCC

掌握其中任何一个都需要一些时间，特别是如果您是解析器生成器的新手，但是一旦掌握了它，创建一个可以做到这一点的小语法真的没什么大不了的可靠地。