这听起来有点不可思议,但我正在寻找测试的可能性,如果在代码中的一些语句拒绝由typechecker(这意味着该代码应不编译).
请解释我的意图:我在类型系统上运行一个受控实验,我的主题必须为我编写一些java方法.主题编写的方法的功能可以使用单元测试轻松测试,但我也希望方法是良好类型的(这意味着不应该允许一些方法调用).
我可以想象实现的一种方法是编写应该将构建分解为单独文件的语句,将其添加到类路径并运行javac以查看构建期间是否发生任何错误.虽然这可能有用,但感觉不是很复杂,所以我的问题是:有没有更好的方法(自动)测试某些语句是否被typechecker反复？