Java Fine Print-开源

【文件属性】：

文件名称：Java Fine Print-开源

文件大小：30KB

文件格式：JAR

更新时间：2024-06-03 09:14:11

开源软件

Java Fine Print是按合同设计（DbC）工具。 开发人员在其代码中添加@ Invar，@ Pre和@Post批注。 Java Fine Print使用这些注释来生成Java源代码，以测试是否违反合同。