URL:
<http://gna.org/task/?4930>
Summary: Submission of Extending Java PathFinder
Project: Gna! Administration
Submitted by: uow_jpf
Submitted on: mercredi 21.03.2007 à 02:09
Status: None
Approval Status: None
Should Start On: mercredi 21.03.2007 à 00:00
Should be Finished on: samedi 31.03.2007 à 00:00
Category: Project Approval
Priority: 5 - Normal
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
A new project has been registered at Gna!
This project account will remain inactive until a site admin approves or
discards the registration.
= Registration Administration =
While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
Administration <https://gna.org/siteadmin/groupedit.php?group_id=2134> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):
* Group Administration
<https://gna.org/siteadmin/groupedit.php?group_id=2134>
= Registration Details =
* Name: *Extending Java PathFinder*
* System Name: *uowjpf*
* Type: Documentation
* License: Other, GPL Compatible (The original licence of JPF is NASA OPEN
SOURCE AGREEMENT. But our results will be provided under GNU GPL2.)
----
==== Description: ====
The purpose of the project is to write a documentation about how to extend
properly Java Pathfinder, especialy Search/VMListener, MJI and
ChoiceGenerator.
Simple examples will be given using this function:
private static void SampleCode(int a, int b, int c, int d) {
if(a>b) {
if (c>d)
System.out.println("a>b and c>d");
else
System.out.println("a>b and c<=d");
}
else {
if(c>d)
System.out.println("a<=b and c>d");
else
System.out.println("a<=b and c<=d");
}
return;
}
Our university asked us to do it, but seeing the lack of documentation about
JPF, we though our results can be useful for everyone
==== Other Software Required: ====
Java PathFinder
_______________________________________________________
Reply to this item at:
<http://gna.org/task/?4930>
_______________________________________________
Message posté via/par Gna!
http://gna.org/
_______________________________________________
Register mailing list
[email protected]
https://mail.gna.org/listinfo/register
