{\small\sf class} $Pruefungsergebnisvermerk$
\par
\kInstanceVarDef
\parlinebr
\begin{insvar}\kw{public}
\assdef{Pruefungsnummer}{\Natone }
\end{insvar}
\begin{insvar}
\assdef{Kurs}{\seqof*{\Char }}
\end{insvar}
\begin{instinvfn}
Kurs \Neq \Dquote  \Dquote \end{instinvfn}
\begin{insvar}
\assdef{Note}{\Natone }
\end{insvar}
\begin{instinvfn}
Note \Le 5\end{instinvfn}
\begin{insvar}
\assdef{Pruefungsdatum}{Datum}
\end{insvar}
\begin{instinvfn}
\begin{letexpr}
\patdef{i}{\iota{j \In stud.immat} \\
{MatrikelNummer = j.MatrikelNummer}}
\end{letexpr} \\
\fnapply{Pruefungsdatum.inbetween}{i.ImmatDatum,i.ExmatDatum}\end{instinvfn}
\begin{insvar}
\assdef{Bemerkung}{\seqof*{\Char }}
\end{insvar}
\begin{insvar}\kw{public}
\assdef{MatrikelNummer}{\Natone }
\end{insvar}
\begin{instinvfn}
MatrikelNummer > 0\end{instinvfn}
\begin{insvar}\kw{public}
\assdef{stud}{Student}
\end{insvar}
\begin{instinvfn}
\kSelf  = \fnapply{stud.kursnote}{Pruefungsnummer}\end{instinvfn}
\begin{instinvfn}
MatrikelNummer \In \setcomp{i.MatrikelNummer}{i \In stud.immat}\end{instinvfn}
\par
{\small\sf end} {\it Pruefungsergebnisvermerk}

