[jmlspecs] #42: Simplify JML source file suffixes and drop the refines language feature.
|
View:
New views
3 Messages
—
Rating Filter:
Alert me
|
 |
[jmlspecs] #42: Simplify JML source file suffixes and drop the refines language feature.
by SourceForge.net
::
Rate this Message:
#42: Simplify JML source file suffixes and drop the refines language feature.
----------------------------------+----------------------------------------- Reporter: chalin | Owner: chalin Type: task | Status: new Priority: major | Milestone: Component: JML Reference Manual | Version: 1.0a Keywords: | ----------------------------------+----------------------------------------- (From NotesDagstuhl) Simplify set of suffixes Only .java/.class and .jml suffix supported. .jml-files contain specifications or library classes @refine removed from the language .java/.class and .jml file are combined Multiple X.jml files are considered an error. * Post proposal to JML mailing list. * Update the reference manual. * Ensure updated feature is implemented in OpenJML. -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/42> 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 |
|
|
Re: [jmlspecs] #42: Simplify JML source file suffixes and drop the refines language feature.
by SourceForge.net
::
Rate this Message:
#42: Simplify JML source file suffixes and drop the refines language feature.
----------------------------------+----------------------------------------- Reporter: chalin | Owner: chalin Type: task | Status: accepted Priority: major | Milestone: Component: JML Reference Manual | Version: 1.0a Keywords: | ----------------------------------+----------------------------------------- Changes (by chalin): * status: new => accepted -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/42#comment:1> 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 |
|
|
Re: [jmlspecs] #42: Simplify JML source file suffixes and drop the refines language feature.
by SourceForge.net
::
Rate this Message:
#42: Simplify JML source file suffixes and drop the refines language feature.
----------------------------------+----------------------------------------- Reporter: chalin | Owner: chalin Type: task | Status: accepted Priority: major | Milestone: Component: JML Reference Manual | Version: 1.0a Keywords: | ----------------------------------+----------------------------------------- Description changed by chalin: Old description: > (From NotesDagstuhl) > Simplify set of suffixes > Only .java/.class and .jml suffix supported. > .jml-files contain specifications or library classes > @refine removed from the language > .java/.class and .jml file are combined > Multiple X.jml files are considered an error. > > * Post proposal to JML mailing list. > * Update the reference manual. > * Ensure updated feature is implemented in OpenJML. New description: See: [wiki:LanguageChangeProposal2009SimplifyingRefinesAndSuffixes SimplifyingRefinesAndSuffixes]. (From NotesDagstuhl) Simplify set of suffixes Only .java/.class and .jml suffix supported. .jml-files contain specifications or library classes @refine removed from the language .java/.class and .jml file are combined Multiple X.jml files are considered an error. * Post proposal to JML mailing list. * Update the reference manual. * Ensure updated feature is implemented in OpenJML. -- -- Ticket URL: <http://sourceforge.net/apps/trac/jmlspecs/ticket/42#comment:2> 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 |
| Free embeddable forum powered by Nabble | Forum Help |
