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.