--- rpl/LIMITATIONS 2014/07/24 14:38:43 1.152 +++ rpl/LIMITATIONS 2015/03/25 14:20:33 1.167 @@ -1,8 +1,15 @@ RESTRICTIONS -Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h +Rajouter un type pour les entier, réels et complexes longs +123~ -> entier long INL +123.34E2~53 -> flottant long (avec sa précision) RLL +(123.42E~253, 14~) -> complexe long CXL + +Mettre un allocateur dans lib$motif +(tableau avec une liste chaînée des éléments disponibles, si liste vide, on +réalloue et on maintient la liste triée.) -Ajouter EQV +Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h Ne passe pas sur une socket. { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 @@ -13,8 +20,6 @@ Réduire le nombre de pipes entre deux p Remonter une erreur de format en cas de lecture sur un fichier ou une socket formatée ou non formatée. -Échapper les caractères dans LOGGER - Virer mutex_sections_critiques _avant_ l'exécution de AT_EXIT. Faut-il tuer les processus fils avant l'exécution de AT_EXIT ? ABORT ne lance pas ATEXIT. @@ -24,22 +29,6 @@ ABORT ne lance pas ATEXIT. { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" "standard*(*)" ]> ]> } -[[1 2 ]]3 valide -[[ 1 2]] valide -{{ 3 }} invalide -{ 5} invalide -{5 } valide -{5} invalide -<[5 ]> valide -<[ 5]> invalide -<[4 ]>5 valide -{{ 5 } } valide -{ { 5 }} invalide -"lkj"4 valide - -=> Rajouter un champ dans s_etat_processus pour connaître le type d'objet en -cours de typage et savoir quel est le fermant autorisé. - Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. Ajouter la translitération dans l'écriture des fichiers.