stan/Ecoop2024_TIforWildFJ
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix

Browse Source
This commit is contained in:
Andreas Stadelmeier 2024-05-16 10:44:36 +02:00
parent 1fd7c56391
commit ed8895f0b5
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
introduction.tex
View File

@ -209,7 +209,7 @@ Therefore calling the method \texttt{concat} with two wildcard lists in the exam
% of the \texttt{concat} function with \texttt{?}. % of the \texttt{concat} function with \texttt{?}.
\begin{figure} \begin{figure}
\begin{lstlisting}[caption=Concat Example,label=lst:concatError]{java} \begin{lstlisting}[caption=Wildcard Example with faulty call to a concat method,label=lst:concatError]{java}
<X> List<X> concat(List<X> l1, List<X> l2){ <X> List<X> concat(List<X> l1, List<X> l2){
return l1.addAll(l2); return l1.addAll(l2);
} }
@ -219,9 +219,9 @@ List<String> ls = new List<String>();
List<?> l1 = ls; List<?> l1 = ls;
List<?> l2 = new List<Integer>(1); List<?> l2 = new List<Integer>(1);
concat(l1, l2); concat(l1, l2); // Error! this would add an Integer to a List of Strings
\end{lstlisting} \end{lstlisting}
\begin{lstlisting}[style=TamedFJ,caption=\TamedFJ{} representation, label=lst:concatTamedFJ] \begin{lstlisting}[style=TamedFJ,caption=\TamedFJ{} representation of the concat call, label=lst:concatTamedFJ]
let l1' : (*@$\wctype{\rwildcard{X}}{List}{\exptype{List}{\rwildcard{X}}}$@*) = l1 in let l1' : (*@$\wctype{\rwildcard{X}}{List}{\exptype{List}{\rwildcard{X}}}$@*) = l1 in
let l2' : (*@$\wctype{\rwildcard{Y}}{List}{\exptype{List}{\rwildcard{Y}}}$@*) = l2 in let l2' : (*@$\wctype{\rwildcard{Y}}{List}{\exptype{List}{\rwildcard{Y}}}$@*) = l2 in
concat(l1', l2') // Error! concat(l1', l2') // Error!