#43: Assess whether \TYPE, \bigint and \real be primitive types
----------------------------------+-----------------------------------------
Reporter: chalin | Owner: chalin
Type: task | Status: new
Priority: major | Milestone:
Component: JML Reference Manual | Version: 1.0a
Keywords: |
----------------------------------+-----------------------------------------
(From NotesDagstuhl) Should \TYPE, \bigint and \real be primitive types?
And should we have autoboxing for them? Another possibility is to make
them reference types, but allow special infix operators like +. But then
what about equality ==?
--
Ticket URL: <
http://sourceforge.net/apps/trac/jmlspecs/ticket/43>
jmlspecs <
http://sourceforge.net/projects/jmlspecs/>
The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, documentation generation, unit testing, static checking, verification, etc.
------------------------------------------------------------------------------
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
