--- rpl/LIMITATIONS 2013/05/28 22:09:55 1.142 +++ rpl/LIMITATIONS 2014/07/24 14:38:43 1.152 @@ -1,7 +1,8 @@ RESTRICTIONS -Prévoir la destruction des mutexes dans retrait... -mutex/mutex_interruptions/mutex_allocateur +Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h + +Ajouter EQV Ne passe pas sur une socket. { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52 @@ -14,14 +15,12 @@ formatée ou non formatée. Échapper les caractères dans LOGGER -/usr/pkg/bin/bash dans les scripts - 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. -{ <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> } -{ <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } = +{ <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> } +{ <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } = { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)" "standard*(*)" ]> ]> } @@ -29,6 +28,17 @@ ABORT ne lance pas ATEXIT. [[ 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. @@ -36,14 +46,6 @@ Ajouter la translitération dans l'écri À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N)) -Pour OpenVMS : -Trouver les includes pour : -syslog.h -sys/select.h -sys/un.h -regex.h -termios.h - Ajouter une évaluation des listes. 3 'D(4)' sto/save @@ -279,8 +281,6 @@ Coller un fichier ~/.rpl qui contient le 'a(3)+a(3,4)' ne doit pas provoquer d'erreur si a est du type liste ou table. Si a est une liste ou une table : une seule dimension possible ! -[[ 1 2 ]]3 est valide ! - Evaluation symbolique des fonction ? SQL sur des données binaires @@ -300,9 +300,6 @@ TO DO Mettre des tableaux dans les formats binaires -Fichier en accès direct -> 12 {} puis entretenir un fichier d'index. -Fichiers flow - SLOPEFIELD Simplification des expressions : convertir la notation polonaise en