1.1 Types
Le langage Java est un langage statiquement typé.
Les types de Java sont construits de la manière suivante :
-
types de base : si t est un type de base alors t est un type;
- tableaux : si t est un type alors t[] est un type;
- classes : si C est une classe alors C est un type;
- interfaces : si I est une interface alors I est un type.