Patches item #2018813, was opened at 2008-07-15 10:27
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=2018813&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: JML4
Status: Open
Resolution: None
Priority: 6
Private: No
Submitted By: Daniel M. Zimmerman (dmzimmerman)
Assigned to: Nobody/Anonymous (nobody)
Summary: JML4 AST Traversal Patch (1)
Initial Comment:
This is the first of what will likely be a number of patches to the JML4 AST to allow traversal of specification clauses by visitors. It patches JmlClause, JmlMethodSpecification, JmlSpecCase, JmlSpecCaseBlock, JmlSpecCaseBody, JmlSpecCaseHeader, JmlSpecCaseRestAsClauseSeq, and JmlTypeDeclaration, and allows preliminary traversal of specifications for classes and methods. Since we don't support static specifications properly yet, this patch also does not; when such support is added, the traversal code will have to be changed.
All non-ESC4 tests pass after this patch, except for test_0002_JML2Sanity.
I did not run the ESC4 tests, as the environment I am currently on does not have the provers installed.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=510631&aid=2018813&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
