Stage de remise à niveau en Java

• cours de Java (L3).
• NOUVEAU : les records !
• et la version détaillée !

• pour tester les bases (barbares)
• autre test (bonbons)
• exam sur table
• 3 sujets assez complets

• les TPs de L3

• cours de Java Avancé (M1)
• cours de Concurrence, jusqu'à la séance 6 : TP noté (pour pouvoir suivre Android)

• pour tester les bases
• TP fonctionnel 1
• TP fonctionnel 2
• TP structure de données 1
• TP structure de données 2
• TP structure de données 3
• TP structure de données 4

• Exam
• Rattrapage

• Encore de la prog. fonctionnelle
• Toujours de la prog. fonctionnelle

À la fac, Eclipse et le JDK sont pas encore installés comme il faut, mais ils sont disponibles dans le répertoire /home/ens/forax/java.
Pour configurer Java pour vous :

   export JAVA_HOME=/home/ens/forax/java/jdk-15
   export PATH=$JAVA_HOME/bin:$PATH
  

Pour lancer Eclipse :

   /home/ens/forax/java/eclipse/eclipse &
  

Le JDK 15 est disponible sur le site de l'OpenJDK
https://jdk.java.net/15/

Eclipse 4.17 (qui est compatible avec Java 14) est disponible sur le site d'Eclipse. Cette version est suffisante pour faire la remise à niveau.
https://download.eclipse.org/eclipse/downloads/drops4/S-4.17RC2-202009021800/

Pour ajouter la compatibilité avec Java 15, il faut appliquer un patch.
Dans un premier temps, dans Help > Install New Software, ajouter le site d'update https://download.eclipse.org/eclipse/updates/4.17-P-builds/ (dans le champ de texte en face de "Work with")
Puis selectionner "Eclipse Java 15 support for 2020-09 development stream", et cocher les cases correspondantes
Accepter la licence et redémarrer.
Vérifier que l'application des patches à fonctionné en allant dans Window > Preference > Java > Compiler, vous devriez pouvoir selectionner "15 Beta" comme "Compiler compliance level".
Pour activer les "preview features" comme les Records, décocher les cases "Use --release option" et "Use default compliance settings" et cocher la case "Enable preview features for Java 15".
Enfin ajouter le JDK 15 comme JDK par défaut pour Eclipse dans Window > Preferences > Java > Intalled JREs, appuyer sur "Add..." et indiquer le répertoire jdk-15 et cliquer sur la case à cocher devant pour qu'il devienne le JDK par défaut.

• la javadoc (14).