Konvertierung zur spezielleren Expression

Verhältnis zu Design by Contract

DbC Pre-Condition

void xxxMethod( @precondition( "Z or R" ) final Role role ) { ...Code (???Black Box???)... } Der Body der Methode ist eine Black Box.
Anfang weiter