--- rpl/LIMITATIONS 2014/07/26 09:58:02 1.153 +++ rpl/LIMITATIONS 2015/01/28 08:10:11 1.161 @@ -1,8 +1,16 @@ RESTRICTIONS -Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h +Rajouter une erreur de type caractère invalide dans le nom d'une variable +plutôt qu'un méchant BUG(). + +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 +Mettre un allocateur pour les chaînes. Ne pas oublier de le modifier aussi +dans rplexternals.h + +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 @@ -24,25 +32,6 @@ ABORT ne lance pas ATEXIT. { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" "standard*(*)" ]> ]> } -[[1 2 ]]3 valide OK -[[ 1 2]] valide OK -{{ 3 }} invalide OK -{ 5} invalide OK -{5 } valide OK -{5} invalide OK -<[5 ]> valide OK -<[ 5]> invalide OK -<[4 ]>5 valide OK -{{ 5 } } valide OK -{ { 5 }} invalide OK -"lkj"4 valide OK - -{<[{5 } ]>} OK -{<[{5 }]> } KO - -[ [ 4 ]] OK -[[ 4 ]] OK -[[ 4 ] ] OK Utiliser Frama-c + why + alt-argo pour rechercher les erreurs. Ajouter la translitération dans l'écriture des fichiers.