Discussion :

[fantomas261]

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

[Ceylo]

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é).

[Mendahor]

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.

[PsychoH13]

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.