Thanks much, Andy! On Wed, Jan 3, 2018 at 5:01 PM, Andy Clement <[email protected]> wrote:
> Good catch !! I had a dig around thinking they were something that crept > in recently but it turns out they have been there a year or so (since last > jdt upgrade). Usually tests pick those things up because we have tests that > look for particular output and trip over extraneous output but it looks > like we have none of those kinds of test for this area (the println relates > to code executed when we need to create something to adjust the visibility > of a member so it can be seen from another piece of code that ordinarily > couldn’t see it). > > I’ve taken them out of 1.8 release branch and 1.9. > > Andy > > On Dec 20, 2017, at 9:56 AM, Henrique Rebêlo <[email protected]> wrote: > > Hi Andy, > > I moved my project to use AspectJ 1.8.12 and yesterday I realized some > prints in my console while calling the ajc compiler... At some point I > thought it was in my code, but when I changed back to release 1.8.9 they > disappeared... > > I have some test files related to test JML specs [pre- and postconditions] > in AspectJML [it translates JML specs into AspectJ code to compile] and I > got the following with some files [I had lot of them]: > > >>int Constraint4.val > >>int Constraint1.val > >>int Constraint2.val > >>int Constraint5.val > >>int constructor_spec.x > >>int Constraint3.valSuper > > It seems a debug issue related to the field type and associated with the > class name. For example, in a class named Constraint4, we have a *int *field > *val*. > > I just want to double check with you about these prints... > > thanks > > -- > ............................................................ > ................................................................... > Henrique Rebelo > http://www.cin.ufpe.br/~hemr > Centro de Informática > Universidade Federal de Pernambuco , Brazil > _______________________________________________ > aspectj-users mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://dev.eclipse.org/mailman/listinfo/aspectj-users > > > > _______________________________________________ > aspectj-users mailing list > [email protected] > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://dev.eclipse.org/mailman/listinfo/aspectj-users > -- ............................................................................................................................... Henrique Rebelo http://www.cin.ufpe.br/~hemr Centro de Informática Universidade Federal de Pernambuco , Brazil
_______________________________________________ aspectj-users mailing list [email protected] To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/aspectj-users
