version 1.22, 2011/06/09 14:48:36
|
version 1.27, 2011/06/22 13:26:59
|
Line 1
|
Line 1
|
/* |
/* |
================================================================================ |
================================================================================ |
RPL/2 (R) version 4.1.0.prerelease.0 |
RPL/2 (R) version 4.1.0.prerelease.3 |
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)) |