Patches item #2020676, was opened at 2008-07-17 07:48
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=510631&aid=2020676&group_id=65346Please 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: None
Group: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Daniel M. Zimmerman (dmzimmerman)
Assigned to: Nobody/Anonymous (nobody)
Summary: JML4 Subtyping Null Pointer Exception Patch
Initial Comment:
The attached fixes a NullPointerException in JmlSubtypeExpression (who knew that resolveType() could return null despite there being a perfectly good TypeBinding.NULL constant it could return instead???). It has no impact on any test cases.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=510631&aid=2020676&group_id=65346-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
