Menu
▾
▴
jmlspecs-commits — Commit messages for JML (only)
You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(2) |
Dec
(159) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(238) |
Feb
(183) |
Mar
(372) |
Apr
(287) |
May
(280) |
Jun
(211) |
Jul
(134) |
Aug
(198) |
Sep
(172) |
Oct
(144) |
Nov
(227) |
Dec
(122) |
| 2004 |
Jan
(229) |
Feb
(62) |
Mar
(99) |
Apr
(107) |
May
(50) |
Jun
(61) |
Jul
(133) |
Aug
(84) |
Sep
(50) |
Oct
(35) |
Nov
(46) |
Dec
(39) |
| 2005 |
Jan
(55) |
Feb
(44) |
Mar
(48) |
Apr
(73) |
May
(72) |
Jun
(47) |
Jul
(124) |
Aug
(110) |
Sep
(131) |
Oct
(69) |
Nov
(46) |
Dec
(145) |
| 2006 |
Jan
(68) |
Feb
(44) |
Mar
(46) |
Apr
(6) |
May
(75) |
Jun
(13) |
Jul
(48) |
Aug
(71) |
Sep
(86) |
Oct
(3) |
Nov
(77) |
Dec
(83) |
| 2007 |
Jan
(28) |
Feb
(63) |
Mar
(32) |
Apr
(37) |
May
(31) |
Jun
(27) |
Jul
(43) |
Aug
(8) |
Sep
(107) |
Oct
(50) |
Nov
(59) |
Dec
(127) |
| 2008 |
Jan
(58) |
Feb
(184) |
Mar
(178) |
Apr
(170) |
May
(165) |
Jun
(202) |
Jul
(83) |
Aug
(58) |
Sep
(23) |
Oct
(34) |
Nov
(24) |
Dec
(113) |
| 2009 |
Jan
(30) |
Feb
(53) |
Mar
(91) |
Apr
(40) |
May
(86) |
Jun
(59) |
Jul
(272) |
Aug
(163) |
Sep
(91) |
Oct
(66) |
Nov
(96) |
Dec
(55) |
| 2010 |
Jan
(13) |
Feb
(29) |
Mar
(72) |
Apr
(49) |
May
(22) |
Jun
(6) |
Jul
(17) |
Aug
(9) |
Sep
(57) |
Oct
(18) |
Nov
(20) |
Dec
(15) |
| 2011 |
Jan
(12) |
Feb
(13) |
Mar
(5) |
Apr
(16) |
May
(11) |
Jun
(26) |
Jul
(35) |
Aug
(70) |
Sep
(25) |
Oct
(19) |
Nov
(15) |
Dec
(1) |
| 2012 |
Jan
(4) |
Feb
(3) |
Mar
(6) |
Apr
(5) |
May
(10) |
Jun
|
Jul
(5) |
Aug
(29) |
Sep
(30) |
Oct
(17) |
Nov
(13) |
Dec
(1) |
| 2013 |
Jan
(16) |
Feb
(9) |
Mar
(13) |
Apr
(28) |
May
(93) |
Jun
(56) |
Jul
(65) |
Aug
(38) |
Sep
(85) |
Oct
(35) |
Nov
(27) |
Dec
(65) |
| 2014 |
Jan
(42) |
Feb
(23) |
Mar
(5) |
Apr
(6) |
May
(12) |
Jun
(15) |
Jul
(24) |
Aug
(12) |
Sep
(12) |
Oct
(11) |
Nov
(17) |
Dec
(31) |
| 2015 |
Jan
(15) |
Feb
|
Mar
(83) |
Apr
(31) |
May
(28) |
Jun
(35) |
Jul
|
Aug
(1) |
Sep
|
Oct
|
Nov
|
Dec
|
| 2016 |
Jan
(1) |
Feb
(3) |
Mar
(1) |
Apr
(7) |
May
(28) |
Jun
(17) |
Jul
(48) |
Aug
(2) |
Sep
|
Oct
|
Nov
(1) |
Dec
(1) |
| 2017 |
Jan
|
Feb
|
Mar
(14) |
Apr
(28) |
May
(20) |
Jun
(2) |
Jul
|
Aug
|
Sep
(4) |
Oct
(28) |
Nov
(4) |
Dec
(30) |
| 2018 |
Jan
|
Feb
(1) |
Mar
|
Apr
(1) |
May
|
Jun
|
Jul
|
Aug
(1) |
Sep
(1) |
Oct
|
Nov
|
Dec
|
| 2019 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
(1) |
Jul
(18) |
Aug
(52) |
Sep
(4) |
Oct
(1) |
Nov
|
Dec
|
| 2020 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(1) |
Dec
|
| 2021 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
(1) |
Aug
|
Sep
|
Oct
(3) |
Nov
|
Dec
(25) |
| 2022 |
Jan
|
Feb
|
Mar
(1) |
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
|
Dec
|
| 2025 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
|
Oct
|
Nov
(3) |
Dec
|
|
From: <hen...@us...> - 2017-10-26 03:06:07
|
Revision: 3782
http://sourceforge.net/p/jmlspecs/code/3782
Author: henriquerebelo
Date: 2017-10-26 03:06:05 +0000 (Thu, 26 Oct 2017)
Log Message:
-----------
Updating the build.xml files and the testcase files in AJML2 project
Modified Paths:
--------------
AJML2/trunk/AJML2/build.xml
AJML2/trunk/AJML2/src/org/aspectjml/ant/buildfiles/build.xml
AJML2/trunk/AJML2/testcase-ajmlc/racrun/java4/NullityAndInheritance.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-26 02:42:01
|
Revision: 3781
http://sourceforge.net/p/jmlspecs/code/3781
Author: henriquerebelo
Date: 2017-10-26 02:41:59 +0000 (Thu, 26 Oct 2017)
Log Message:
-----------
Handling field initializer in .jml files
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: Gary T. L. <le...@us...> - 2017-10-25 16:13:19
|
Update of /cvsroot/jmlspecs/web/workshop-2017 In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv16088 Modified Files: index.shtml Log Message: updated costs Index: index.shtml =================================================================== RCS file: /cvsroot/jmlspecs/web/workshop-2017/index.shtml,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** index.shtml 24 Oct 2017 17:52:38 -0000 1.2 --- index.shtml 25 Oct 2017 16:13:16 -0000 1.3 *************** *** 45,49 **** <h3>Cost</h3> ! <p>Aside from travel and the hotel (see below), the workshop will charge about $36 per person for two lunches. Participants should plan to pay on their own for other meals (breakfast and dinner).</p> <h3>Accommodations</h3> --- 45,49 ---- <h3>Cost</h3> ! <p>Aside from travel and the hotel (see below), the workshop will charge about $10 per person for computer projection equipment and $36 per person for two lunches. So the total cost payable to the organizers is estimated to be about $46 per participant. Participants should plan to pay on their own for other meals (breakfast and dinner).</p> <h3>Accommodations</h3> |
|
From: Gary T. L. <le...@us...> - 2017-10-24 17:52:40
|
Update of /cvsroot/jmlspecs/web/workshop-2017 In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv4936 Modified Files: index.shtml Log Message: updated with cost estimate Index: index.shtml =================================================================== RCS file: /cvsroot/jmlspecs/web/workshop-2017/index.shtml,v retrieving revision 1.1 retrieving revision 1.2 diff -C2 -d -r1.1 -r1.2 *** index.shtml 10 Aug 2017 13:20:24 -0000 1.1 --- index.shtml 24 Oct 2017 17:52:38 -0000 1.2 *************** *** 43,46 **** --- 43,50 ---- </p> + <h3>Cost</h3> + + <p>Aside from travel and the hotel (see below), the workshop will charge about $36 per person for two lunches. Participants should plan to pay on their own for other meals (breakfast and dinner).</p> + <h3>Accommodations</h3> |
|
From: <hen...@us...> - 2017-10-24 02:43:03
|
Revision: 3780
http://sourceforge.net/p/jmlspecs/code/3780
Author: henriquerebelo
Date: 2017-10-24 02:43:01 +0000 (Tue, 24 Oct 2017)
Log Message:
-----------
Improving the parsing and generation of the build.ajmlsym in relation to intertype methods
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-24 01:30:12
|
Revision: 3779
http://sourceforge.net/p/jmlspecs/code/3779
Author: henriquerebelo
Date: 2017-10-24 01:30:11 +0000 (Tue, 24 Oct 2017)
Log Message:
-----------
Updating the defaultNonNull option in the AjmlcTask.java
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ant/taskdefs/AjmlcTask.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-24 01:22:55
|
Revision: 3778
http://sourceforge.net/p/jmlspecs/code/3778
Author: henriquerebelo
Date: 2017-10-24 01:22:53 +0000 (Tue, 24 Oct 2017)
Log Message:
-----------
supressing a printStackTrace
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/util/ReflectUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-24 01:05:36
|
Revision: 3777
http://sourceforge.net/p/jmlspecs/code/3777
Author: henriquerebelo
Date: 2017-10-24 01:05:35 +0000 (Tue, 24 Oct 2017)
Log Message:
-----------
Updating testcases.txt
Modified Paths:
--------------
AJML2/trunk/AJML2/.classpath
AJML2/trunk/AJML2/aspectjml-release/testcase-util/testcases.txt
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-24 01:03:48
|
Revision: 3776
http://sourceforge.net/p/jmlspecs/code/3776
Author: henriquerebelo
Date: 2017-10-24 01:03:45 +0000 (Tue, 24 Oct 2017)
Log Message:
-----------
Adding ajc 1.8.12
Added Paths:
-----------
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.12/
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.12/aspectj-1.8.12.jar
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.12/used-unzipped-jar-files/
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.12/used-unzipped-jar-files/aspectjrt.jar
AJML2/trunk/AJML2/lib-aspectj/ajc1.8.12/used-unzipped-jar-files/aspectjtools.jar
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-24 00:50:24
|
Revision: 3775
http://sourceforge.net/p/jmlspecs/code/3775
Author: henriquerebelo
Date: 2017-10-24 00:50:23 +0000 (Tue, 24 Oct 2017)
Log Message:
-----------
Ensuring that the body of a non-model method cannot occur in a .jml file... only in .java or .ajml
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMethodDeclaration.java
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-20 14:33:48
|
Revision: 3774
http://sourceforge.net/p/jmlspecs/code/3774
Author: henriquerebelo
Date: 2017-10-20 14:33:45 +0000 (Fri, 20 Oct 2017)
Log Message:
-----------
Updates related to compile options, versions, and the testcases.txt
Modified Paths:
--------------
AJML2/trunk/AJML2/aspectjml-release/testcase-util/testcases.txt
AJML2/trunk/AJML2/src/org/aspectjml/ant/taskdefs/AjmlTask.java
AJML2/trunk/AJML2/src/org/aspectjml/ant/taskdefs/AjmlcTask.java
AJML2/trunk/AJML2/src/org/aspectjml/ant/taskdefs/aspectjmlTaskdefs.properties
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlCommonOptions.java
Removed Paths:
-------------
AJML2/trunk/AJML2/src/org/aspectjml/ant/taskdefs/XCSCrossRefTask.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-18 21:27:45
|
Revision: 3773
http://sourceforge.net/p/jmlspecs/code/3773
Author: henriquerebelo
Date: 2017-10-18 21:27:43 +0000 (Wed, 18 Oct 2017)
Log Message:
-----------
Updating the description of the clientAwareChecking compiler option
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-16 21:36:07
|
Revision: 3772
http://sourceforge.net/p/jmlspecs/code/3772
Author: henriquerebelo
Date: 2017-10-16 21:36:06 +0000 (Mon, 16 Oct 2017)
Log Message:
-----------
Organize imports
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-16 21:32:56
|
Revision: 3771
http://sourceforge.net/p/jmlspecs/code/3771
Author: henriquerebelo
Date: 2017-10-16 21:32:54 +0000 (Mon, 16 Oct 2017)
Log Message:
-----------
Minor changes -- just removing comments and minor code improvements in loops
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
Added Paths:
-----------
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/XCS.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-16 16:18:42
|
Revision: 3770
http://sourceforge.net/p/jmlspecs/code/3770
Author: henriquerebelo
Date: 2017-10-16 16:18:40 +0000 (Mon, 16 Oct 2017)
Log Message:
-----------
More work on generating weaving info and build.ajmlsym
- softening exception this time
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacOptions.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-15 02:10:52
|
Revision: 3769
http://sourceforge.net/p/jmlspecs/code/3769
Author: henriquerebelo
Date: 2017-10-15 02:10:50 +0000 (Sun, 15 Oct 2017)
Log Message:
-----------
Work on declare soft mapping as useful weaving info and build.ajmlsym generation as well as the addition of @ExcludeSoftening annotation to the AspectJML language
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
Added Paths:
-----------
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/ExcludeSoftening.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-14 00:58:18
|
Revision: 3768
http://sourceforge.net/p/jmlspecs/code/3768
Author: henriquerebelo
Date: 2017-10-14 00:58:17 +0000 (Sat, 14 Oct 2017)
Log Message:
-----------
Removing redundant information while generating weavingInfo for Join Points at build.ajmlsym file
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-14 00:40:21
|
Revision: 3767
http://sourceforge.net/p/jmlspecs/code/3767
Author: henriquerebelo
Date: 2017-10-14 00:40:19 +0000 (Sat, 14 Oct 2017)
Log Message:
-----------
Made the distinction explicit while working with .jml files and .ajml files. The former is only allowed to add JML specs on the side, while the later can work as a partial type and add new methods, crosscutting behavior so on.
Improving the internal AspectJML "potential not found" error to be displayed when getting real compilation/weaving errors. This is due to Java 1.8 support and has been changed to better support 1.8 version.
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/JMethodCallExpression.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/MjcMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/JmlRacGenerator.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlMessages.java
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
AJML2/trunk/AJML2/src/org/aspectjml/util/QDoxUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-10 21:15:03
|
Revision: 3766
http://sourceforge.net/p/jmlspecs/code/3766
Author: henriquerebelo
Date: 2017-10-10 21:15:01 +0000 (Tue, 10 Oct 2017)
Log Message:
-----------
synchronizing the weaving info generation and/or build.ajmlsym
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-10 21:00:44
|
Revision: 3765
http://sourceforge.net/p/jmlspecs/code/3765
Author: henriquerebelo
Date: 2017-10-10 21:00:42 +0000 (Tue, 10 Oct 2017)
Log Message:
-----------
More work on parsing and generateing weaving info and build.ajmlsym...
- resolving the [with runtime test] tag
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-10 21:00:26
|
Revision: 3764
http://sourceforge.net/p/jmlspecs/code/3764
Author: henriquerebelo
Date: 2017-10-10 21:00:24 +0000 (Tue, 10 Oct 2017)
Log Message:
-----------
More work on parsing and generateing weaving info and build.ajmlsym...
- resolving the [with runtime test] tag
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-10 20:31:28
|
Revision: 3763
http://sourceforge.net/p/jmlspecs/code/3763
Author: henriquerebelo
Date: 2017-10-10 20:31:27 +0000 (Tue, 10 Oct 2017)
Log Message:
-----------
More work on parsing and generateing weaving info and build.ajmlsym...
- resolving the [with runtime test] tag
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-09 04:42:11
|
Revision: 3762
http://sourceforge.net/p/jmlspecs/code/3762
Author: henriquerebelo
Date: 2017-10-09 04:42:09 +0000 (Mon, 09 Oct 2017)
Log Message:
-----------
Work on declaring advice and where it advises in the crossref generated file
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/util/ReflectUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-04 01:37:40
|
Revision: 3761
http://sourceforge.net/p/jmlspecs/code/3761
Author: henriquerebelo
Date: 2017-10-04 01:37:39 +0000 (Wed, 04 Oct 2017)
Log Message:
-----------
More work on parsing and generateing weaving info and build.ajmlsym...
- full qualified name for advice methods
- handling warning messages and [Xlint:adviceDidNotMatch] properly
- more issues about modular reasoning and what advice applies and run
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/util/AspectUtil.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2017-10-03 04:11:08
|
Revision: 3760
http://sourceforge.net/p/jmlspecs/code/3760
Author: henriquerebelo
Date: 2017-10-03 04:11:07 +0000 (Tue, 03 Oct 2017)
Log Message:
-----------
More work on parsing and generating weaving info and build.ajmlsym
Also update release notes to the aspectjml version displayed on --help option
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacOptions.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/runtime/JMLChecker.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|