Add simple attribute to access the supertype of a ReferenceType

Issue #43 resolved
Jesper Öqvist created an issue

I can not find any attribute which gives me the supertype of a ReferenceType. It seems like such an attribute would be useful to have.

Comments (2)

  1. Jesper Öqvist reporter

    The relevant attribute was TypeDecl.superclass() however, the name supertype() is more intuitive for this attribute and an attribute with that name was added in java4/backend/VerificationTypes.jrag a while ago. Since this attribute is useful for frontend code it should be moved to java4/frontend.

  2. Log in to comment