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

Revision: 9572
          http://sourceforge.net/p/jmlspecs/code/9572
Author:   henriquerebelo
Date:     2019-08-14 03:54:40 +0000 (Wed, 14 Aug 2019)
Log Message:
-----------
Finishing the meta-rac protocol for strong invariant runtime checking at call site

Modified Paths:
--------------
    AJML2/trunk/AJML2/src/org/aspectjml/ajmlrac/InvariantMethodAdviceAsPostconditionMethodClientAwareChecking.java

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.