Patches item #2003478, was opened at 2008-06-27 05:43
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=2003478&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: jlee (jooyong_lee)
Assigned to: Nobody/Anonymous (nobody)
Summary: old expression + refactoring
Initial Comment:
<Overview>
1. Refactored JmlTypeExpression, JmlTypeofExpression and
JmlElemtypeExpression taking Perry's advice.
2. Implemented the parsing of labeled old expressions.
3. Added basic resolving and analysis function to JmlOldExpression.
<Changes>
1. Factored JmlTypeofExpression and JmlElemtypeExpression out of
JmlUnaryExpression.
2. Moved JmlTypeExpression below JmlUnaryExpression.
3. Modified the grammar and OperatorIds accordingly.
4. Extended JmlOldExpression.
5. Added two more test cases for elemtype expressions.
<Unresolved Issues>
1. A type error should be reported on an old expression enclosing a
free occurrence of a quantified variable. This case corresponds to a
commented test method, test_Neg_FreeOccurOfQuaVarTest.
2. A warning about a not-explicitly-referenced label should be
discharged with the use of the label inside an old
expression. Currently, this warning is not reported only when a label
is referenced inside a block statement coupled with the label as in
Java's break or continue statements. An unresolved case,
test_Neg_LabeldOldTest2, is commented out.
Jooyong Lee
Kansas State University
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=510631&aid=2003478&group_id=65346-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
