Activity for Henrique Rebêlo
-
Henrique Rebêlo committed [r9601]
to make the use of JML within javadoc easier and JML specific semantics distraction free, we are rule out the privacy checking when using javadoc like tags style of DbC
-
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
-
loading inner types reflectively in the right way using $ sign
-
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
-
Fixing a bug related to getDeclaredConstructor instead of getConstructor; making the code more robust while finding the join points of interest
-
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
-
aspectjml 1.8.0 and 1.7.1 releases for java 1.8 and java 1.7 respectively
-
Version data update for AspectJML release 1.8.0
-
Updates for 1.8 release
-
Removing advice information from crossref related to revise methods in AspectJML
-
Fixing an issue about the double generation of old exprs for client aware checking option at constraint checking
-
Fixing an issue about the double generation of old exprs for client aware checking option at constraint checking
-
Fixing an issue about the double generation of old exprs for client aware checking option at constraint checking
-
Fixing the meta rac protocol for constraint checking at call sites. Also allowing append like meths and revise meths to be instruemented at call sites via annotation option
-
Meta rac protocol for specific constraint checking at call site.
-
Update in the crossref code generation
-
Fixing ITD fields when having @ExposeOnly annotation
-
Restructuring and handling properly Partial types and members injection
-
Adding the @ExposeOnly annotation useful for fields and types in .ajml files
-
Reformulating the meta-rac protocol to three parts again.
-
Reformulating the meta-rac protocol to three parts again.
-
Reformulating the meta-rac protocol to three parts again.
-
Reformulating the meta-rac protocol to three parts again.
-
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
-
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
-
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
-
Reformulating the meta-rac protocol to only two parts. The need to handle or worry about
-
Tasks done related to the meta-rac protocol:
-
Fixing the scope related to meta-rac protocol and field set with after advice "set"
-
Finishing the meta-rac protocol for strong invariant runtime checking at call site
-
Handling reflective calls while making specific hiding in stack trace for JML errors
-
Handling reflective calls while making specific hiding in stack trace for JML errors
-
adding isDeclSealed(Field field) method
-
Finishing the meta-rac protocol for strong invariant runtime checking at call site
-
processing internal exception stack trace when JML violation errors are thrown by field set directly
-
making the method checkJPAssignability public
-
Experimental code generation when call site instrumentation is enabled to provide an implementation for the meta-object invariant protocol [for rac]
-
Fixing an issue related to .ajml file crossref generation! removing multiple inclusion unnecessary
-
More work to improve the parsing of weavning msgs including warnings and errors
-
Xlint:unmatchedSuperTypeInCall issue
-
removing internal cflowbelow if pc explicitly uses cflow or cflowbelow
-
Fixing an issue about internal code for crosscutting code. The issue is about cflowbelow when we have bouth call and execution pcs
-
Some improvements in code to make it less ambiguous... need test or rollback later if needed
-
Fixing a NPE while issuing a weaving info msg
-
Removing unecessary annotation declaration for ITD members
-
Fixing an issue about adding ITD annotations within internal Aspect code
-
Fixing NPE while handling code related to crossref but crossref being off
-
Handling pointcut declaration within @DeclareError or @DeclareWarning.
-
Adding Declare Error and Declare Warning support in AspectJML language
-
Adding .ajml files to appear in crossrefs generation
-
Justo some formating issues in code and remove for now the issue of potencial not found methods warning...
-
Changes towards ajmlc 1.8 compilation support and release
-
Changes towards ajmlc 1.8 compilation support and release
-
Changes towards ajmlc 1.8 compilation support and release
-
Changes towards ajmlc 1.8 compilation support and release
-
Changes towards ajmlc 1.8 compilation support and release
-
Issue about handling plain JML syntax as javadoc
-
Last edits to name resolution specially in Java 1.8
-
Fixing issues related to intertype fields already declared. Indeed we turned off the visitor in the pretty printer...
-
Fixing issues related to intertype fields already declared and integral types
-
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
-
Name resolution for java 1.8 compilation and other minor issues
-
removing privacy violation notifications by the compiler
-
removing privacy violation notifications by the compiler
-
Fixing code generation for append like methods
-
Adding a second form to get a jml RAC method body if the standard fails...
-
updating the project build.xml
-
minor issues towards 1.8 release
-
testcases update
-
updating the project build.xml to point to the new ajc compiler
-
including the ajc compiler 1.8.14 [the last one of the 1.8 series]
-
removing unused jmlspec package
-
inner enum type handing
-
commenting out a print
-
Just a commented inform for internal tests for docker autobuilds
-
Removing internal checks...using the check method. not need due to AspectJML purposes.
-
Fixes related to enum parsing and add an error while using "jmlspecs" for model import
-
generating a UID for Util precondition checking. Needed to avoid name clash insinde the same post rac_code
-
Adjusting the precedence rule of the aspect code generated to perform post-rac. This is useful for multiple spec case checking
-
Improving the error reporting related to multiple-spec case checking, separating the postRacCode to a separate aspect file
-
Fixing an issue about identifying static blocks.
-
Updating the building date to 12/12/2017
-
aspectpath option fix
-
aspectpath option
-
Creating aspectpah properly at the ajmlc ant task!
-
Generating the build.ajmlsym only when there is weaveinfo to display
-
Updating the date to the version options [most recent build]
-
Updates related to XCS with AspectJML around advice declarations!
-
Changes due to XCS using @Around advice in AspectJML and annotated with @XCS
-
Updating the description about the showWeaveInfo compiler option
-
Fixing bug related to handle declare precedence over AspectJML types and crosscutting behavior. Also one way to use Plain AspectJ aspects within AspectJML declare precedence annotation by using {TypePattern} or [TypePattern]
-
Updating the building date to 11/28/2017
-
aspect word recognition on crossref
-
More work on generating crossref info. Removing the crossref info when explicity excluding join points
-
Ensuring keyword compatibility to read over AspectJML Online IDE. Ex: instead of appearing afterReturing in crossref info, we now generate after-returning.
-
Fixing the path to ajmlrac.Main.
-
fixing an issue about generating a default interface for handling non-dominant interface types
-
Updating the url project site to point to JML AOP project
-
update information about my master's thesis
-
update information about rebelo's master thesis
1 >