{\small\sf class} $Hochzeit$
\par
\kInstanceVarDef
\parlinebr
\begin{insvar}
\assdef{Hochzeitsort}{\seqof*{\Char }}
\end{insvar}
\begin{instinvfn}
Hochzeitsort \Neq \Dquote  \Dquote \end{instinvfn}
\begin{insvar}\kw{public}
\assdef{Hochzeitsdatum}{Datum}
\end{insvar}
\begin{insvar}\kw{public}
\assdef{Familienname}{\seqof*{\Char }}[{ehemann.Nachname}]
\end{insvar}
\begin{instinvfn}
Familienname \Neq \Dquote  \Dquote \end{instinvfn}
\begin{insvar}\kw{public}
\assdef{Scheidungsdatum}{Datum}[{Datum`invalidDatum}]
\end{insvar}
\begin{instinvfn}
\fnapply{Scheidungsdatum.groesserGleich}{Hochzeitsdatum}\end{instinvfn}
\begin{insvar}\kw{public}
\assdef{ehemann}{Person}
\end{insvar}
\begin{instinvfn}
\fnapply{ehemann.Alter}{Hochzeitsdatum} \Ge 14\end{instinvfn}
\begin{instinvfn}
ehemann.Geschlecht = \const{maennlich}\end{instinvfn}
\begin{instinvfn}
\kSelf  \In ehemann.hochzeit\end{instinvfn}
\begin{insvar}\kw{public}
\assdef{ehefrau}{Person}
\end{insvar}
\begin{instinvfn}
\fnapply{ehefrau.Alter}{Hochzeitsdatum} \Ge 14\end{instinvfn}
\begin{instinvfn}
ehefrau.Geschlecht = \const{weiblich}\end{instinvfn}
\begin{instinvfn}
\kSelf  \In ehefrau.hochzeit\end{instinvfn}
\par
{\small\sf end} {\it Hochzeit}

