Bei jeder (partiellen) Funktion muss man sich überlegen und dokumentieren, welche aktuellen Parameter bei einer Anwendung zulässig sein sollen.

• Der Anwender der Funktion hat dann die Verantwortung, dass die Komponente nie mit unzulässigen Parametern angewendet wird.
• Üblicherweise sollte die Komponente für zulässige Parameter normal terminieren.
• Ggf. sind möglicherweise auftretende Ausnahmen zu dokumentieren. Entsprechendes gilt für andere parametrisierte Softwarekomponenten.