version 1.22, 2011/06/09 14:48:36
|
version 1.35, 2011/11/28 21:42:04
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.0.prerelease.0 |
RPL/2 (R) version 4.1.5 |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
Copyright (C) 1989-2011 Dr. BERTRAND Joël |
|
|
This file is part of RPL/2. |
This file is part of RPL/2. |
Line 95 instruction_cov(struct_processus *s_etat
|
Line 95 instruction_cov(struct_processus *s_etat
|
} |
} |
else |
else |
{ |
{ |
if ((*(*s_etat_processus).pointeur_variable_courante).objet |
|
== NULL) |
|
{ |
|
(*s_etat_processus).erreur_execution = d_ex_variable_partagee; |
|
return; |
|
} |
|
|
|
if (((*(*(*s_etat_processus).pointeur_variable_courante).objet) |
if (((*(*(*s_etat_processus).pointeur_variable_courante).objet) |
.type != MIN) && ((*(*(*s_etat_processus) |
.type != MIN) && ((*(*(*s_etat_processus) |
.pointeur_variable_courante).objet).type != MRL)) |
.pointeur_variable_courante).objet).type != MRL)) |
Line 237 instruction_corr(struct_processus *s_eta
|
Line 230 instruction_corr(struct_processus *s_eta
|
} |
} |
else |
else |
{ |
{ |
if ((*(*s_etat_processus).pointeur_variable_courante).objet == NULL) |
|
{ |
|
(*s_etat_processus).erreur_execution = d_ex_variable_partagee; |
|
return; |
|
} |
|
|
|
if (((*(*(*s_etat_processus).pointeur_variable_courante).objet) |
if (((*(*(*s_etat_processus).pointeur_variable_courante).objet) |
.type != MIN) && ((*(*(*s_etat_processus) |
.type != MIN) && ((*(*(*s_etat_processus) |
.pointeur_variable_courante).objet).type != MRL)) |
.pointeur_variable_courante).objet).type != MRL)) |
Line 491 instruction_convert(struct_processus *s_
|
Line 478 instruction_convert(struct_processus *s_
|
return; |
return; |
} |
} |
|
|
if (controle(s_etat_processus, executable_candidat, "md5", |
if (controle_integrite(s_etat_processus, executable_candidat, |
rplconvert_md5) != d_vrai) |
"rplconvert") != d_vrai) |
{ |
|
(*s_etat_processus).erreur_systeme = d_es_somme_controle; |
|
return; |
|
} |
|
|
|
if (controle(s_etat_processus, executable_candidat, "sha1", |
|
rplconvert_sha1) != d_vrai) |
|
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_somme_controle; |
(*s_etat_processus).erreur_systeme = d_es_somme_controle; |
return; |
return; |
Line 533 instruction_convert(struct_processus *s_
|
Line 513 instruction_convert(struct_processus *s_
|
return; |
return; |
} |
} |
|
|
if (controle(s_etat_processus, executable_candidat, "md5", |
if (controle_integrite(s_etat_processus, executable_candidat, |
rplconvert_md5) != d_vrai) |
"rplconvert") != d_vrai) |
{ |
|
(*s_etat_processus).erreur_systeme = d_es_somme_controle; |
|
return; |
|
} |
|
|
|
if (controle(s_etat_processus, executable_candidat, "sha1", |
|
rplconvert_sha1) != d_vrai) |
|
{ |
{ |
(*s_etat_processus).erreur_systeme = d_es_somme_controle; |
(*s_etat_processus).erreur_systeme = d_es_somme_controle; |
return; |
return; |