Things to Do item #2801847, was opened at 2009-06-05 12:26
Message generated for change (Settings changed) made by robdyer
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=545306&aid=2801847&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: JAJML
Group: Level 0 support
>Status: Pending
Resolution: None
Priority: 4
Private: No
Submitted By: Curtis Clifton (cclifton)
>Assigned to: Robert Dyer (robdyer)
Summary: Create abstract syntax for level 0 heavyweight spec cases
Initial Comment:
This task should be done _after_ the similar task for lightweight spec
cases.
>From the JML Ref Manual: Heavyweight specification cases (see section 9.5
Heavyweight Specification Cases) that do not use the keyword code. This
includes behavior-spec-case (see section 9.6 Behavior Specification Cases),
normal-behavior-spec-case (see section 9.7 Normal Behavior Specification
Cases), and exceptional-behavior-spec-case (see section 9.8 Exceptional
Behavior Specification Cases). However, note that not all clauses that are
allowed in the syntax are in level 0.
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=545306&aid=2801847&group_id=65346------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now.
http://p.sf.net/sfu/bobj-july_______________________________________________
Jmlspecs-developers mailing list
Jmlspecs-developers@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-developers
