rpl/LIMITATIONS - diff

Return to LIMITATIONS CVS log

Up to [local] / rpl

version 1.126, 2013/03/24 23:11:30	version 1.133, 2013/04/01 14:04:43
Line 1	Line 1
RESTRICTIONS	RESTRICTIONS
Only formatted and flow files are supported.

Corriger les dépassements dans NEG.	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.

{ <[ 2 { "character()" } ]> } = { <[ "character()" "character()" ]> }	{ <[ 2 { "character()" } ]> } = { <[ "character()" "character()" ]> }
{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =	{ <[ 2 { <[ "character()" "standard()" ]> } ]> } =
{ <[ <[ "character()" "standard()" ]> <[ "character()"	{ <[ <[ "character()" "standard()" ]> <[ "character()"
"standard()" ]> ]> }	"standard()" ]> ]> }

	[[1 2 ]]3 valide
	[[ 1 2]] valide
	{{ 3 }} invalide
	{ 5} invalide

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.