[DrJava] [ drjava-Feature Requests-1362160 ] Do you want to analyse my DrJava version with Jass?

[SourceForge.net <no...@so...>]

Feature Requests item #1362160, was opened at 2005-11-20 16:18
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1362160&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Compiler integration
Group: None
Status: Open
Priority: 5
Submitted By: Alberto Bottega (cattivo)
Assigned to: Nobody/Anonymous (nobody)
Summary: Do you want to analyse my DrJava version with Jass?

Initial Comment:
I integrated Jass (Java ASSertions precompiler) into
DrJava.
(Jass: http://csd.informatik.uni-oldenburg.de/~jass/)
So it is possible to precompile with Jass the current
oppened file in DrJava and compile the file obtained.
My DrJava version unite the original DrJava utility
with the Jass utility.
Are you interested?
Do you want to analyse my DrJava version?
Please, contact me!

Alberto Bottega

University UDINE ITALY

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438938&aid=1362160&group_id=44253