calculation of the types of an annotated class