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
|
|
From: <hen...@us...> - 2019-08-09 20:05:54
|
Revision: 9557
http://sourceforge.net/p/jmlspecs/code/9557
Author: henriquerebelo
Date: 2019-08-09 20:05:51 +0000 (Fri, 09 Aug 2019)
Log Message:
-----------
Removing unecessary annotation declaration for ITD members
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-09 19:21:25
|
Revision: 9556
http://sourceforge.net/p/jmlspecs/code/9556
Author: henriquerebelo
Date: 2019-08-09 19:21:23 +0000 (Fri, 09 Aug 2019)
Log Message:
-----------
Fixing an issue about adding ITD annotations within internal Aspect code
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-09 19:10:35
|
Revision: 9555
http://sourceforge.net/p/jmlspecs/code/9555
Author: henriquerebelo
Date: 2019-08-09 19:10:33 +0000 (Fri, 09 Aug 2019)
Log Message:
-----------
Fixing NPE while handling code related to crossref but crossref being off
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...> - 2019-08-09 18:36:27
|
Revision: 9554
http://sourceforge.net/p/jmlspecs/code/9554
Author: henriquerebelo
Date: 2019-08-09 18:36:25 +0000 (Fri, 09 Aug 2019)
Log Message:
-----------
Handling pointcut declaration within @DeclareError or @DeclareWarning.
Note: we get a compile time error with ajc anyway using pointcuts... better string constants instead
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/PreOrPostconditionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.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...> - 2019-08-09 06:23:59
|
Revision: 9553
http://sourceforge.net/p/jmlspecs/code/9553
Author: henriquerebelo
Date: 2019-08-09 06:23:55 +0000 (Fri, 09 Aug 2019)
Log Message:
-----------
Adding Declare Error and Declare Warning support in AspectJML language
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/Main.java
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
Added Paths:
-----------
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/DeclareError.java
AJML2/trunk/AJML2/src/org/aspectjml/lang/annotation/DeclareWarning.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-08 01:11:41
|
Revision: 9552
http://sourceforge.net/p/jmlspecs/code/9552
Author: henriquerebelo
Date: 2019-08-08 01:11:39 +0000 (Thu, 08 Aug 2019)
Log Message:
-----------
Adding .ajml files to appear in crossrefs generation
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ARacOptions.java
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...> - 2019-08-07 22:20:22
|
Revision: 9551
http://sourceforge.net/p/jmlspecs/code/9551
Author: henriquerebelo
Date: 2019-08-07 22:20:20 +0000 (Wed, 07 Aug 2019)
Log Message:
-----------
Justo some formating issues in code and remove for now the issue of potencial not found methods warning...
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/JMethodCallExpression.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.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...> - 2019-08-07 02:07:06
|
Revision: 9550
http://sourceforge.net/p/jmlspecs/code/9550
Author: henriquerebelo
Date: 2019-08-07 02:07:04 +0000 (Wed, 07 Aug 2019)
Log Message:
-----------
Changes towards ajmlc 1.8 compilation support and release
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-06 04:46:21
|
Revision: 9549
http://sourceforge.net/p/jmlspecs/code/9549
Author: henriquerebelo
Date: 2019-08-06 04:46:19 +0000 (Tue, 06 Aug 2019)
Log Message:
-----------
Changes towards ajmlc 1.8 compilation support and release
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransUtils.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-05 19:05:17
|
Revision: 9548
http://sourceforge.net/p/jmlspecs/code/9548
Author: henriquerebelo
Date: 2019-08-05 19:05:15 +0000 (Mon, 05 Aug 2019)
Log Message:
-----------
Changes towards ajmlc 1.8 compilation support and release
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/CClassFQNameType.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/CClassNameType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-04 05:52:07
|
Revision: 9547
http://sourceforge.net/p/jmlspecs/code/9547
Author: henriquerebelo
Date: 2019-08-04 05:52:05 +0000 (Sun, 04 Aug 2019)
Log Message:
-----------
Changes towards ajmlc 1.8 compilation support and release
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/CClassNameType.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-04 05:19:59
|
Revision: 9546
http://sourceforge.net/p/jmlspecs/code/9546
Author: henriquerebelo
Date: 2019-08-04 04:10:25 +0000 (Sun, 04 Aug 2019)
Log Message:
-----------
Changes towards ajmlc 1.8 compilation support and release
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/CClassFQNameType.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/CClassNameType.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/TypeLoader.java
AJML2/trunk/AJML2/src/org/aspectjml/ant/buildfiles/build.xml
AJML2/trunk/AJML2/src/org/aspectjml/checker/Constants.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlTypeLoader.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-08-02 02:30:10
|
Revision: 9545
http://sourceforge.net/p/jmlspecs/code/9545
Author: henriquerebelo
Date: 2019-08-02 02:30:01 +0000 (Fri, 02 Aug 2019)
Log Message:
-----------
Issue about handling plain JML syntax as javadoc
Modified Paths:
--------------
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...> - 2019-07-31 01:04:20
|
Revision: 9544
http://sourceforge.net/p/jmlspecs/code/9544
Author: henriquerebelo
Date: 2019-07-31 01:04:18 +0000 (Wed, 31 Jul 2019)
Log Message:
-----------
Last edits to name resolution specially in Java 1.8
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/CClassNameType.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/TypeLoader.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-30 06:55:22
|
Revision: 9543
http://sourceforge.net/p/jmlspecs/code/9543
Author: henriquerebelo
Date: 2019-07-30 06:55:20 +0000 (Tue, 30 Jul 2019)
Log Message:
-----------
Fixing issues related to intertype fields already declared. Indeed we turned off the visitor in the pretty printer...
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacPrettyPrinter.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...> - 2019-07-30 03:34:15
|
Revision: 9542
http://sourceforge.net/p/jmlspecs/code/9542
Author: henriquerebelo
Date: 2019-07-30 03:34:14 +0000 (Tue, 30 Jul 2019)
Log Message:
-----------
Fixing issues related to intertype fields already declared and integral types
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacPrettyPrinter.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlName.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-30 01:18:21
|
Revision: 9541
http://sourceforge.net/p/jmlspecs/code/9541
Author: henriquerebelo
Date: 2019-07-30 01:18:18 +0000 (Tue, 30 Jul 2019)
Log Message:
-----------
bug fix into qdox parser, constant check aboout model specs... old reference still to jmlspec which was removed. Set JMLRac method body to old procedures even if with some crash
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacPrettyPrinter.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/Constants.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlName.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlSetComprehension.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...> - 2019-07-29 04:42:44
|
Revision: 9540
http://sourceforge.net/p/jmlspecs/code/9540
Author: henriquerebelo
Date: 2019-07-29 04:42:41 +0000 (Mon, 29 Jul 2019)
Log Message:
-----------
Name resolution for java 1.8 compilation and other minor issues
Modified Paths:
--------------
AJML2/trunk/AJML2/mjc/org/multijava/mjc/CClassNameType.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/JArrayAccessExpression.java
AJML2/trunk/AJML2/mjc/org/multijava/mjc/TypeLoader.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlName.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlSetComprehension.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...> - 2019-07-26 08:14:12
|
Revision: 9539
http://sourceforge.net/p/jmlspecs/code/9539
Author: henriquerebelo
Date: 2019-07-26 08:14:10 +0000 (Fri, 26 Jul 2019)
Log Message:
-----------
removing privacy violation notifications by the compiler
Modified Paths:
--------------
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...> - 2019-07-26 08:13:16
|
Revision: 9538
http://sourceforge.net/p/jmlspecs/code/9538
Author: henriquerebelo
Date: 2019-07-26 08:13:15 +0000 (Fri, 26 Jul 2019)
Log Message:
-----------
removing privacy violation notifications by the compiler
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/AssertionMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethod.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodCallSite.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/ConstraintMethodClientAwareChecking.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-19 20:34:12
|
Revision: 9537
http://sourceforge.net/p/jmlspecs/code/9537
Author: henriquerebelo
Date: 2019-07-19 20:34:10 +0000 (Fri, 19 Jul 2019)
Log Message:
-----------
Fixing code generation for append like methods
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...> - 2019-07-17 18:44:44
|
Revision: 9536
http://sourceforge.net/p/jmlspecs/code/9536
Author: henriquerebelo
Date: 2019-07-17 18:44:42 +0000 (Wed, 17 Jul 2019)
Log Message:
-----------
Adding a second form to get a jml RAC method body if the standard fails...
through getJMLModelMethodBodyFromFile
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacPrettyPrinter.java
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-11 05:33:11
|
Revision: 9535
http://sourceforge.net/p/jmlspecs/code/9535
Author: henriquerebelo
Date: 2019-07-11 05:33:09 +0000 (Thu, 11 Jul 2019)
Log Message:
-----------
updating the project build.xml
Modified Paths:
--------------
AJML2/trunk/AJML2/build.xml
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <hen...@us...> - 2019-07-11 05:30:31
|
Revision: 9534
http://sourceforge.net/p/jmlspecs/code/9534
Author: henriquerebelo
Date: 2019-07-11 05:30:29 +0000 (Thu, 11 Jul 2019)
Log Message:
-----------
minor issues towards 1.8 release
Modified Paths:
--------------
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/RacPrettyPrinter.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransPostExpression2.java
AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/TransType.java
AJML2/trunk/AJML2/src/org/aspectjml/checker/JmlVersionOptions.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...> - 2019-07-05 01:36:20
|
Revision: 9533
http://sourceforge.net/p/jmlspecs/code/9533
Author: henriquerebelo
Date: 2019-07-05 01:36:35 +0000 (Fri, 05 Jul 2019)
Log Message:
-----------
testcases update
Modified Paths:
--------------
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.
|