engl.: interface declaration
Eine Schnittstellendeklaration deklariert einen Typ T und beschreibt die öffentliche Schnittstelle, die alle Objekte von T haben.
Mögliche Implementierungen für Objekte von T liefern die echten Subtypen von T.
Insbesondere lassen sich zu einem Schnittstellentyp T keine Objekte erzeugen, die nur zu T gehören.