Version imprimable
bjr
je voudrais savoir si j ecris une classe en java sur pc avec JML
//@requires
//@ensures
vu que les claviers des macs apple et pc ne sont pas les memes (touches @ et autres) si j ecris le caractere @ sur windows xp et que j ouvre le fichier sur mac que se passe t il ? est ce que j ai @ ou un autre caractere ?
merci
Le clavier ne change rien, c'est l'encodage des caractères dans tes fichiers qui est important, et de ce côté là tu n'as pas de soucis à te faire. Mac OS X est fait pour en gérer un maximum sans que tu n'aies à te casser la tête.
Enfin le mieux pour être sûr c'est tout de même de taper un @ dans un fichier et de l'envoyer à un utilisateur de Mac OS qui pourra te dire s'il a ou non un problème de lecture.
Le problème de l'@ sur le clavier PC survient seulement si tu comptes utiliser un clavier PC pour un Mac (oui ça marche, j'ai testé).
Je confirme, le passage du caractère @ d'un PC vers un Mac et vice-versa n'est pas problématique.
Par contre, suivant l'encodage de ton fichier, les caractères accentués (dans les commentaires ou les chaînes de caractère) risquent eux de sauter.
Les 127 premiers caractères des tables sont communs à pratiquement tous les encodages, le @ en fait partie, ainsi que toutes les lettres de l'alphabet... Seuls les caractères accentués ou d'autres langues posent problème, et là il faut faire attention à l'encodage.