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/~hemrCentro de Informática
Universidade Federal de Pernambuco , Brazil
