Automatic Documentation of Java Pathfinder Types
Welcome to the jpf-autodoc-types main site!
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.
March 28th, 2012 - by Carlos Uribe
During this week, I will be uploading generated wiki documentation by jpf-options (check Wiki section), generated plain-text documentation by jpf-autodoc-types (jpf-automatic-doc at the beginning) and generated XML documentation by both projects (check Downloads section).
It would be great to have your feedback about both projects. JPF users and developers are welcome to look around the uploaded documentation and spend a moment to answer the following questions:
I would love to hear from you any comment, critic or suggestion!
File listTips: You can preview the content of files by clicking file names^_^
- Page 1
- Total 1