资 源 简 介
JPF AutoDocTypes
Welcome to the jpf-autodoc-types main site!
Introduction
JPF AutoDocTypes is a tool to generate automated documentation of Java PathFinder (JPF) components by extracting structural information, related to type hierarchy. It affords output in several popular formats such as XML, Google-Wiki and human-readable plain text. It was built to improve JPF usability as JPF is a very complex, powerful and customizable tool.
JPF AutoDocTypes was started as a JPF Summer of Code project in 2011. It is released as a Java standalone tool. Binary distribution can be obtained on Downloads or check out the code on Source sections.
News
March 28th, 2012 - by Carlos Uribe
Due to Google Summer of Code 2012 new project proposal: jpf-autodoc, I am testing 请点击左侧文件开始预览 ！预览只提供20%的代码片段，完整代码需下载后查看 加载中 侵权举报
