Geef een drietal voorbeelden waar uit het afdwingen van eigenschappen naar voren komt.

1. Gewijzigde klasse Vormenlijst heeft een methode voegToe die instanties van type Vorm verwacht. Daardoor kan klasse Vormenlijst er van uit gaan dat alle toegevoegde vormen een methode inhoud implemeteren.
2. Klasse Arrays van java.util. Deze klasse bevat een aantal overloaded methoden van sort voor het sorten van een array. Daarin wordt onder meer gebruik gemaakt van de interface Comparable om een vergelijkingsmethode af te dwingen.
3. Package java.sql : Deze verstrekt een API voor toegang tot een RDBMS. De package bevat een 20tal interfaces waarvan het de bedoeling is dat deze door third parties worden geimplementeerd! Daarmee bewerken we tevens een stuk standaardisatie.