rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.152, 2014/07/24 14:38:43	version 1.154, 2014/08/04 06:58:48
Line 9 Ne passe pas sur une socket.	Line 9 Ne passe pas sur une socket.
} { 3 50 } { 3 50 } } # 257B521B6513F2h }	} { 3 50 } { 3 50 } } # 257B521B6513F2h }
Idem avec une table.	Idem avec une table.

	{ << 3 >>} -> erreur de syntaxe
	{ << 3 >> } idem
	<< 3 >> idem

Réduire le nombre de pipes entre deux processus.	Réduire le nombre de pipes entre deux processus.
Remonter une erreur de format en cas de lecture sur un fichier ou une socket	Remonter une erreur de format en cas de lecture sur un fichier ou une socket
formatée ou non formatée.	formatée ou non formatée.
Line 24 ABORT ne lance pas ATEXIT.	Line 28 ABORT ne lance pas ATEXIT.
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"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.	Utiliser Frama-c + why + alt-argo pour rechercher les erreurs.

Ajouter la translitération dans l'écriture des fichiers.	Ajouter la translitération dans l'écriture des fichiers.