From 6591b1c3ce0debc13054fdf325f524f353456ea7 Mon Sep 17 00:00:00 2001 From: Mysaa Date: Sun, 14 Aug 2022 12:09:11 +0200 Subject: [PATCH] =?UTF-8?q?Optimisation=20pour=20les=2020=C2=A0pages?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- RapportStage.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RapportStage.tex b/RapportStage.tex index 582e457..147adda 100644 --- a/RapportStage.tex +++ b/RapportStage.tex @@ -568,6 +568,7 @@ Cependant, cela est généralement faux, puisque il est possible en Featherweight Java de considérer des expressions qui acceptent une suite infinie de réductions, mais que l'on peut \enquote{utiliser} avec des appels à méthodes ou des attributs. Nous pouvons par exemples utiliser les listes infinies, définies en annexe (\autoref{anx:classes:listes}). Cette classe \fj{IList} définit deux attributs, dont un de son propre type. \begin{figure} + \small \begin{fjlisting} \fjclass{Static}{}{ \fjmethod{IList}{intList}{Int i}{new IList(i, intList(i+1))} @@ -693,7 +694,6 @@ La structure de \eng{test interface} peut aussi être utilisée à d'autre fins, par exemple à la définition de librairies, ou de \enquote{modules} dans la terminologie de Java 9+. - \clearpage \section{Bibliographie} \printbibliography