Langages de programmation Java Modeling Language (JML)  

Description

Java est un langage orienté-objet.

Exemples

Dans un fichier Test.java : 

public class Test
{
  public static void main(String [] args)
  {
    System.out.println("Ceci est mon premier programme Java"); /* ou pas :) */
  }
}

javac Test.java : pour le compiler

java Test : pour l'exécuter

Résultat : 

Ceci est mon premier programme Java

Informations complémentaires

Trucs et astuces

Il existe différentes versions de Java et plusieurs sont installées en INGI sous le répertoire /usr/lib/jvm. 

 # ls /usr/lib/jvm
java                     java-1.5.0-sun          jre            jre-1.6.0-sun
java-1.4.2               java-1.6.0              jre-1.4.2      jre-gcj
java-1.4.2-gcj-1.4.2.0   java-1.6.0-sun          jre-1.4.2-gcj  jre-sun
java-1.4.2-sun           java-1.6.0-sun-1.6.0.6  jre-1.4.2-sun
java-1.4.2-sun-1.4.2.17  java-sun                jre-1.6.0

Dans toutes ces versions, les répertoires suffixés par "-sun" correspondent aux version downloadée directement du site http://java.sun.com. Les autres versions sont celles utilisant GCJ, l'extension free software de GCC pour le java. La version 1.6.0 est la version par défaut. 

 # java -version
java version "1.6.0_06"
Java(TM) SE Runtime Environment (build 1.6.0_06-b02)
Java HotSpot(TM) Server VM (build 10.0-b22, mixed mode)

Sous Linux/Unix, pour utiliser par exemple la version 1.4.2 de sun plutôt que la version par défaut, faites 

export JAVA_HOME=/usr/lib/jvm/java-1.4.2-sun
export PATH=$JAVA_HOME/bin:$PATH