Package jpfcodegen: Information
Source package: jpfcodegen
Version: 0.4-alt1_4jpp7
Build time: Sep 18, 2012, 12:06 AM
Category: Development/Java
Report package bugHome page: http://page.mi.fu-berlin.de/oezbek/jpf/
License: LGPLv3
Summary: A tool for generating classes from JPF plug-ins
Description:
JPF Code Generator is a handy little tool that generates classes for accessing the attributes and extensions of JPF plug-ins from plugin.xml files. This has the advantage of providing a strongly typed access to the plug-in and simplifies working with plug-ins.
Maintainer: Igor Vlasenko