Vorbedingungen (engl. Preconditions) einer Operation
 
Für eine Operation können Vorbedingungen festgelegt werden. Ein Aufrufer der _
  Operation verpflichtet sich, diese Bedingungen beim Aufruf der Operation _
  herzustellen. Sind die Vorbedingungen nicht erfüllt, ist die Operation nicht _
  verpflichtet, ihre spezifizierte Aufgabe zu erfüllen. Vorbedingungen sind _
  damit der Kontraktbestandteil, den der Aufrufer einer Operation einzuhalten _
  hat.