[Jmlspecs-commits] SF.net SVN: jmlspecs:[9553] AJML2/trunk/AJML2/src/org/aspectjml

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.