FamixAnnotationType and FamixAnnotationInstance are defined in Famix.Core, so in theory they should be independent of any language. Here is the comment from AnnotationIstance

AnnotationInstance is an instance of an AnnotationType. It links an AnnotationType to an actual entity.
For example, the following is an AnnotationInstance in Java:
@Test(Timeout = 500)

This model fits java but not smalltalk pragmas. So is it ok to keep in Famix core?

thanx

Nicolas and Usman