Annotation of rpl/src/gestion_pile_systeme.c, revision 1.5

1.1       bertrand    1: /*
                      2: ================================================================================
1.5     ! bertrand    3:   RPL/2 (R) version 4.0.13
1.1       bertrand    4:   Copyright (C) 1989-2010 Dr. BERTRAND Joël
                      5: 
                      6:   This file is part of RPL/2.
                      7: 
                      8:   RPL/2 is free software; you can redistribute it and/or modify it
                      9:   under the terms of the CeCILL V2 License as published by the french
                     10:   CEA, CNRS and INRIA.
                     11:  
                     12:   RPL/2 is distributed in the hope that it will be useful, but WITHOUT
                     13:   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
                     14:   FITNESS FOR A PARTICULAR PURPOSE.  See the CeCILL V2 License
                     15:   for more details.
                     16:  
                     17:   You should have received a copy of the CeCILL License
                     18:   along with RPL/2. If not, write to info@cecill.info.
                     19: ================================================================================
                     20: */
                     21: 
                     22: 
                     23: #include "rpl.conv.h"
                     24: 
                     25: 
                     26: /*
                     27: ================================================================================
                     28:   Procédure d'estimation de la longueur du tampon
                     29: ================================================================================
                     30:   Entrée :
                     31: --------------------------------------------------------------------------------
                     32:   Sortie :
                     33: --------------------------------------------------------------------------------
                     34:   Effets de bord : néant
                     35: ================================================================================
                     36: */
                     37: 
                     38: static inline void
                     39: estimation_taille_pile_systeme(struct_processus *s_etat_processus)
                     40: {
                     41:    (*s_etat_processus).estimation_taille_pile_systeme_tampon =
                     42:            ((*s_etat_processus).estimation_taille_pile_systeme_tampon *
                     43:            ((double) 0.9)) + ((*s_etat_processus)
                     44:            .hauteur_pile_systeme * ((double) 0.1));
                     45:    return;
                     46: }
                     47: 
                     48: 
                     49: /*
                     50: ================================================================================
                     51:   Procédure d'empilement d'un nouvel élément
                     52: ================================================================================
                     53:   Entrée :
                     54: --------------------------------------------------------------------------------
                     55:   Sortie :
                     56: --------------------------------------------------------------------------------
                     57:   Effets de bord : néant
                     58: ================================================================================
                     59: */
                     60: 
                     61: void
                     62: empilement_pile_systeme(struct_processus *s_etat_processus)
                     63: {
                     64:    struct_liste_pile_systeme       *l_ancienne_base_liste;
                     65:    struct_liste_pile_systeme       *l_nouvelle_base_liste;
                     66: 
                     67:    l_ancienne_base_liste = (*s_etat_processus).l_base_pile_systeme;
                     68: 
                     69:    if ((*s_etat_processus).debug == d_vrai)
                     70:        if (((*s_etat_processus).type_debug &
                     71:                d_debug_pile_systeme) != 0)
                     72:    {
                     73:        if (strlen((*s_etat_processus).instruction_courante) != 0)
                     74:        {
                     75:            if ((*s_etat_processus).langue == 'F')
                     76:            {
                     77:                printf("[%d] Empilement sur la pile système à la suite de "
                     78:                        "l'instruction %s\n", (int) getpid(),
                     79:                        (*s_etat_processus).instruction_courante);
                     80:            }
                     81:            else
                     82:            {
                     83:                printf("[%d] Pushing on system stack (instruction %s)\n",
                     84:                        (int) getpid(),
                     85:                        (*s_etat_processus).instruction_courante);
                     86:            }
                     87:        }
                     88:        else
                     89:        {
                     90:            if ((*s_etat_processus).langue == 'F')
                     91:            {
                     92:                printf("[%d] Empilement sur la pile système\n",
                     93:                        (int) getpid());
                     94:            }
                     95:            else
                     96:            {
                     97:                printf("[%d] Pushing on system stack\n", (int) getpid());
                     98:            }
                     99:        }
                    100: 
                    101:        fflush(stdout);
                    102:    }
                    103: 
                    104:    if ((*s_etat_processus).pile_systeme_tampon == NULL)
                    105:    {
                    106:        // Tampon vide, on alloue un élément.
                    107: 
                    108:        if ((l_nouvelle_base_liste = malloc(sizeof(struct_liste_pile_systeme)))
                    109:                == NULL)
                    110:        {
                    111:            (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
                    112:            return;
                    113:        }
                    114:    }
                    115:    else
                    116:    {
                    117:        // Tampon utilisable, on retire un élément du tampon.
                    118: 
                    119:        l_nouvelle_base_liste = (*s_etat_processus).pile_systeme_tampon;
                    120:        (*s_etat_processus).pile_systeme_tampon =
                    121:                (*l_nouvelle_base_liste).suivant;
                    122:        (*s_etat_processus).taille_pile_systeme_tampon--;
                    123:    }
                    124: 
                    125:    (*s_etat_processus).hauteur_pile_systeme++;
                    126:    (*s_etat_processus).l_base_pile_systeme = l_nouvelle_base_liste;
                    127:    (*(*s_etat_processus).l_base_pile_systeme).suivant =
                    128:            l_ancienne_base_liste;
                    129: 
                    130:    (*(*s_etat_processus).l_base_pile_systeme).type_cloture = ' ';
                    131:    (*(*s_etat_processus).l_base_pile_systeme).clause = ' ';
                    132:    (*(*s_etat_processus).l_base_pile_systeme).adresse_retour = 0;
                    133:    (*(*s_etat_processus).l_base_pile_systeme).niveau_courant = 0;
                    134:    (*(*s_etat_processus).l_base_pile_systeme).retour_definition = 'N';
                    135:    (*(*s_etat_processus).l_base_pile_systeme).indice_boucle = NULL;
                    136:    (*(*s_etat_processus).l_base_pile_systeme).limite_indice_boucle = NULL;
                    137:    (*(*s_etat_processus).l_base_pile_systeme).objet_de_test = NULL;
                    138:    (*(*s_etat_processus).l_base_pile_systeme).nom_variable = NULL;
                    139:    (*(*s_etat_processus).l_base_pile_systeme).pointeur_objet_retour = NULL;
                    140:    (*(*s_etat_processus).l_base_pile_systeme)
                    141:            .origine_routine_evaluation = 'N';
                    142:    (*(*s_etat_processus).l_base_pile_systeme).arret_si_exception =
                    143:            (*s_etat_processus).arret_si_exception;
                    144:    (*(*s_etat_processus).l_base_pile_systeme).creation_variables_statiques
                    145:            = (*s_etat_processus).creation_variables_statiques;
                    146:    (*(*s_etat_processus).l_base_pile_systeme).creation_variables_partagees
                    147:            = (*s_etat_processus).creation_variables_partagees;
                    148:    (*(*s_etat_processus).l_base_pile_systeme).evaluation_expression =
                    149:            d_faux;
                    150: 
                    151:    (*s_etat_processus).erreur_systeme = d_es;
                    152:    (*s_etat_processus).creation_variables_statiques = d_faux;
                    153:    (*s_etat_processus).creation_variables_partagees = d_faux;
                    154: 
                    155:    return;
                    156: }
                    157: 
                    158: 
                    159: /*
                    160: ================================================================================
                    161:   Procédure de dépilement d'un élément
                    162: ================================================================================
                    163:   Entrée :
                    164: --------------------------------------------------------------------------------
                    165:   Sortie :
                    166: --------------------------------------------------------------------------------
                    167:   Effets de bord : néant
                    168: ================================================================================
                    169: */
                    170: 
                    171: void
                    172: depilement_pile_systeme(struct_processus *s_etat_processus)
                    173: {
                    174:    struct_liste_pile_systeme       *l_ancienne_base_liste;
                    175:    struct_liste_pile_systeme       *l_nouvelle_base_liste;
                    176: 
                    177:    if ((*s_etat_processus).debug == d_vrai)
                    178:        if (((*s_etat_processus).type_debug &
                    179:                d_debug_pile_systeme) != 0)
                    180:    {
                    181:        if (strlen((*s_etat_processus).instruction_courante) != 0)
                    182:        {
                    183:            if ((*s_etat_processus).langue == 'F')
                    184:            {
                    185:                printf("[%d] Dépilement de la pile système à la suite "
                    186:                        "de l'instruction %s\n", (int) getpid(),
                    187:                        (*s_etat_processus).instruction_courante);
                    188:            }
                    189:            else
                    190:            {
                    191:                printf("[%d] Pulling from system stack (instruction %s)\n",
                    192:                        (int) getpid(),
                    193:                        (*s_etat_processus).instruction_courante);
                    194:            }
                    195:        }
                    196:        else
                    197:        {
                    198:            if ((*s_etat_processus).langue == 'F')
                    199:            {
                    200:                printf("[%d] Dépilement de la pile système\n",
                    201:                        (int) getpid());
                    202:            }
                    203:            else
                    204:            {
                    205:                printf("[%d] Pulling from system stack\n", (int) getpid());
                    206:            }
                    207:        }
                    208: 
                    209:        fflush(stdout);
                    210:    }
                    211: 
                    212:    if ((*s_etat_processus).l_base_pile_systeme == NULL)
                    213:    {
                    214:        (*s_etat_processus).erreur_systeme = d_es_pile_vide;
                    215:    }
                    216:    else
                    217:    {
                    218:        (*s_etat_processus).hauteur_pile_systeme--;
                    219:        l_ancienne_base_liste = (*s_etat_processus).l_base_pile_systeme;
                    220:        l_nouvelle_base_liste = (*l_ancienne_base_liste).suivant;
                    221: 
                    222:        (*s_etat_processus).l_base_pile_systeme = l_nouvelle_base_liste;
                    223:        (*s_etat_processus).erreur_systeme = d_es;
                    224: 
                    225:        // On positionne le drapeau de création des variables statiques.
                    226: 
                    227:        (*s_etat_processus).creation_variables_statiques =
                    228:                 (*l_ancienne_base_liste).creation_variables_statiques;
                    229:        (*s_etat_processus).creation_variables_partagees =
                    230:                 (*l_ancienne_base_liste).creation_variables_partagees;
                    231: 
                    232:        if ((*l_ancienne_base_liste).nom_variable != NULL)
                    233:        {
                    234:            free((*l_ancienne_base_liste).nom_variable);
                    235:        }
                    236: 
                    237:        liberation(s_etat_processus, (*l_ancienne_base_liste).indice_boucle);
                    238:        liberation(s_etat_processus,
                    239:                (*l_ancienne_base_liste).limite_indice_boucle);
                    240:        liberation(s_etat_processus, (*l_ancienne_base_liste).objet_de_test);
                    241: 
                    242:        if ((*s_etat_processus).taille_pile_systeme_tampon <= (10 *
                    243:                ((*s_etat_processus).estimation_taille_pile_systeme_tampon
                    244:                + 1)))
                    245:        {
                    246:            // Enregistrement de la structure pour un usage ultérieur.
                    247: 
                    248:            (*l_ancienne_base_liste).suivant =
                    249:                    (*s_etat_processus).pile_systeme_tampon;
                    250:            (*s_etat_processus).pile_systeme_tampon = l_ancienne_base_liste;
                    251:            (*s_etat_processus).taille_pile_systeme_tampon++;
                    252:        }
                    253:        else
                    254:        {
                    255:            // Libération car le tampon est plein.
                    256: 
                    257:            free(l_ancienne_base_liste);
                    258:        }
                    259:    }
                    260: 
                    261:    return;
                    262: }
                    263: 
                    264: // vim: ts=4

CVSweb interface <joel.bertrand@systella.fr>