Diff for /rpl/LIMITATIONS between versions 1.120 and 1.152

version 1.120, 2013/03/22 15:31:33 version 1.152, 2014/07/24 14:38:43
Line 1 Line 1
 RESTRICTIONS  RESTRICTIONS
     Only formatted and flow files are supported.  
   
 { <[ 2 { "character*(*)" } ]> } = { <[ "character*(*)" "character*(*)" ]> }  Vérifier les __CATCH_SYSTEM_ERROR__ dans rplexternals.h
 { <[ 2 { <[ "character*(*)" "standard*(*)" ]> } ]> } =  
   Ajouter EQV
   
   Ne passe pas sur une socket.
   { "STAT" 0 { { } { 5 55 } { 4 51 } { 3 50 } { 3 51 } { 3 50 } { 17 78 } { 4 52
   } { 3 50 } { 3 50 } } # 257B521B6513F2h }
   Idem avec une table.
   
   Réduire le nombre de pipes entre deux processus.
   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.
   
   { <[ { "character*(*)" } 2 ]> } = { <[ "character*(*)" "character*(*)" ]> }
   { <[ { <[ "character*(*)" "standard*(*)" ]> 2 } ]> } =
         { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"          { <[ <[ "character*(*)" "standard*(*)" ]> <[ "character*(*)"
         "standard*(*)" ]> ]> }          "standard*(*)" ]> ]> }
   
 Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.  [[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é.
   
 Traiter correctement le cas FORALL dans BACKTRACE (Index et Limit)  Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.
 So bug dans socket (cannot send) => pas d'erreur dans rplcore.  
 sento => EAGAIN et EWOULDBLOCK  
   
 Ajouter la translitération dans l'écriture des fichiers.  Ajouter la translitération dans l'écriture des fichiers.
   
 À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))  À FAIRE : SOCKET DE TYPE FLOW (LENGTH*(*) ET LENGTH*(N))
   
 Pour OpenVMS :  Ajouter une évaluation des listes.
 Trouver les includes pour :  
 syslog.h  
 sys/select.h  
 sys/un.h  
 regex.h  
 termios.h  
   
 Ajouter une évaluation dans GET et PUT 'X' { I } get  3 'D(4)' sto/save
   << 4 D >> L'avant dernier token est un tableau, une liste, un vecteur ou une
   matrice. On teste pour savoir si l'élément existe avec un coup d'évaluation()
   puis on l'enregistre.
   
 Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS  Ajouter STOSIG CLRSIG SIGLOCK SIGUNLOCK SIGQUEUE ISIG WFSIG RCLSIG SIGSTATUS
 Mettre un masque des signaux dans structure_processus et les  Mettre un masque des signaux dans structure_processus et les
Line 254  Coller un fichier ~/.rpl qui contient le Line 281  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.  '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 !  Si a est une liste ou une table : une seule dimension possible !
   
 [[ 1 2 ]]3 est valide !  
   
 Evaluation symbolique des fonction ?  Evaluation symbolique des fonction ?
   
 SQL sur des données binaires  SQL sur des données binaires
Line 275  TO DO Line 300  TO DO
   
 Mettre des tableaux dans les formats binaires  Mettre des tableaux dans les formats binaires
   
 Fichier en accès direct -> 12 {} puis entretenir un fichier d'index.  
 Fichiers flow  
   
 SLOPEFIELD  SLOPEFIELD
   
 Simplification des expressions : convertir la notation polonaise en  Simplification des expressions : convertir la notation polonaise en

Removed from v.1.120  
changed lines
  Added in v.1.152


CVSweb interface <joel.bertrand@systella.fr>