Other
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 Click the file on the left to start the preview,please !The preview only provides 20% of the code snippets, the complete code needs to be downloaded
java
xml
tool
Documentation
archive
Wiki
JPF
JavaPathFinder
JavaClassfile
No comment