Difference between revisions of "JPF Code Generator"

From Free Software Directory
Jump to: navigation, search
(Debian import)
 
(Added Debian link)
 
Line 7: Line 7:
 
typed access to the plug-in and simplyfies working with plug-ins.
 
typed access to the plug-in and simplyfies working with plug-ins.
 
|Homepage URL=http://page.mi.fu-berlin.de/oezbek/jpf/
 
|Homepage URL=http://page.mi.fu-berlin.de/oezbek/jpf/
|User level=
+
|Accepts cryptocurrency donations=No
|Component programs=
 
|VCS checkout command=
 
|Computer languages=
 
|Status=
 
|Is GNU=No
 
 
|Version identifier=0.4+dfsg1-1
 
|Version identifier=0.4+dfsg1-1
|Version download=http://ftp.debian.org/debian/pool/main/libj/libjpfcodegen-java/libjpfcodegen-java_0.4+dfsg1.orig.tar.gz  
+
|Version download=http://ftp.debian.org/debian/pool/main/libj/libjpfcodegen-java/libjpfcodegen-java_0.4+dfsg1.orig.tar.gz
|Submitted by=Debian import
+
|Last review by=Bendikker
 +
|Last review date=2018/03/14
 
|Submitted date=2015-07-17
 
|Submitted date=2015-07-17
}}
+
|Is GNU=No
{{Import
 
|Source=Debian
 
|Source link=http://packages.debian.org/sid/libjpfcodegen-java
 
|Source packages=libjpfcodegen-java 0.4+dfsg1-1
 
|Date=2015-07-17
 
 
}}
 
}}
 
{{Project license
 
{{Project license
Line 41: Line 32:
 
|Real name=Christopher Oezbek - oezi[at]oezi.de
 
|Real name=Christopher Oezbek - oezi[at]oezi.de
 
|Role=contact
 
|Role=contact
|Email=
+
}}
 +
{{Resource
 +
|Resource audience=Debian (Ref) (R)
 +
|Resource URL=https://tracker.debian.org/pkg/libjpfcodegen-java
 
}}
 
}}
 
{{Resource
 
{{Resource
 
|Resource kind=Download
 
|Resource kind=Download
|Resource URL=
+
|Resource URL=http://forge.spline.inf.fu-berlin.de/projects/jpfcodegen/ In practice: Since this page gives a 404 error we grab the source from the JabRef SVN repository at https://jabref.svn.sourceforge.net/svnroot/jabref/tags/jpfcodegen-0.4
In theory: http://forge.spline.inf.fu-berlin.de/projects/jpfcodegen/
+
}}
In practice: Since this page gives a 404 error we grab the source from the
+
{{Software category}}
JabRef SVN repository at
+
{{Featured}}
https://jabref.svn.sourceforge.net/svnroot/jabref/tags/jpfcodegen-0.4
+
{{Import
 +
|Date=2015-07-17
 +
|Source=Debian
 +
|Source link=http://packages.debian.org/sid/libjpfcodegen-java
 
}}
 
}}

Latest revision as of 10:00, 14 March 2018


[edit]

Jpf code generator

http://page.mi.fu-berlin.de/oezbek/jpf/
tool for generating classes from JPF plug-ins

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 simplyfies working with plug-ins.





Licensing

License

Verified by

Verified on

Notes

License

GPLv2

Verified by

Debian: gregor herrmann <gregoa@debian.org>

Verified on

27 January 2014

Notes

License: gpl-2

License

Other

Verified by

Debian: gregor herrmann <gregoa@debian.org>

Verified on

27 January 2014

Notes

License: lgpl-3




Leaders and contributors

Contact(s)Role
Christopher Oezbek - oezi[at]oezi.de contact


Resources and communication

AudienceResource typeURI
Debian (Ref) (R)https://tracker.debian.org/pkg/libjpfcodegen-java
Downloadhttp://forge.spline.inf.fu-berlin.de/projects/jpfcodegen/ In practice: Since this page gives a 404 error we grab the source from the JabRef SVN repository at https://jabref.svn.sourceforge.net/svnroot/jabref/tags/jpfcodegen-0.4


Software prerequisites




Entry











"contact" is not in the list (Maintainer, Contributor, Developer, Sponsor, Unknown) of allowed values for the "Role" property.


"Debian (Ref) (R)" is not in the list (General, Help, Bug Tracking, Support, Developer) of allowed values for the "Resource audience" property.








Date 2015-07-17
Source Debian
Source link http://packages.debian.org/sid/libjpfcodegen-java

[[Category:]]



Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.