Clement
I do not think that we are talking about the same. You are not
annotating an AST element.
Of course with a convention you can add a method pragma to annotate an
source entity that you are the only one
to know that it is the right entity. To me this is different.
So in the paper I do not want to say that Smalltalk pragmas are
equivalent to Java ones because do me they are not.
I think that Java annotations are nicely integrated into the language
too. And we cannot annotate (the AST element
of temp, argument, class def, package and annotations themselves in
Smalltalk). I will read more about Java Annotation
to be more precise.
In Slang we use pragma to annotate argument and temporary variables
and it
works just fine.
Can you give an example on how you annotated it?
When you describe in Pharo classes and instance variables
using Magritte you can do the same thing as just annotating them.
(You see I cannot annotate instance variables directly I can define
a method with an annotation that tell me that an instance
variable should be interpreted differently.).
Stef