SE450: Types: Many terms [29/47]

Relating interfaces to interfaces (J <: I)

• J is a subtype of I
• J specializes I (UML)
• J extends I (java)
• J inherits the interface of I

Relating classes to interfaces (D <: I)

• D is a subtype of I
• D realizes I (UML)
• D implements I (java)

Relating classes to classes (D <: B)

• D is a subtype of B
• D is a subclass of B
• D specializes B (UML)
• D extends B (java)
• D inherits from B
• D is derived from base class B