File:  [local] / rpl / src / compilation.c
Revision 1.57: download - view: text, annotated - select for diffs - revision graph
Wed Mar 20 17:11:43 2013 UTC (11 years, 1 month ago) by bertrand
Branches: MAIN
CVS tags: HEAD
Première série de patches pour compiler avec l'option -Wconversion.

    1: /*
    2: ================================================================================
    3:   RPL/2 (R) version 4.1.13
    4:   Copyright (C) 1989-2013 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 de vérification syntaxique du source et de précompilation
   29: ================================================================================
   30:   Entrées :
   31: --------------------------------------------------------------------------------
   32:   Sorties :
   33:     - renvoi    :   erreur
   34: --------------------------------------------------------------------------------
   35:   Effets de bord :
   36: ================================================================================
   37: */
   38: 
   39: logical1
   40: compilation(struct_processus *s_etat_processus)
   41: {
   42:     struct_objet            *s_objet;
   43: 
   44:     struct_variable         *s_variable;
   45: 
   46:     unsigned char           apostrophe_ouverte;
   47:     unsigned char           apostrophe_ouverte_registre;
   48:     unsigned char           caractere_courant;
   49:     unsigned char           caractere_precedent;
   50:     unsigned char           caractere_suivant;
   51:     unsigned char           *definition;
   52:     unsigned char           fermeture_definition;
   53:     unsigned char           guillemet_ouvert;
   54:     unsigned char           ouverture_definition;
   55:     unsigned char           position_debut_nom_definition_valide;
   56: 
   57:     unsigned long           *adresse;
   58:     unsigned long           i;
   59:     unsigned long           niveau_definition;
   60:     unsigned long           niveau_definition_registre;
   61:     unsigned long           position_courante;
   62:     unsigned long           position_debut_nom_definition;
   63:     unsigned long           position_fin_nom_definition;
   64:     unsigned long           validation;
   65:     unsigned long           validation_registre;
   66: 
   67:     (*s_etat_processus).erreur_compilation = d_ec;
   68:     (*s_etat_processus).erreur_systeme = d_es;
   69:     (*s_etat_processus).erreur_execution = d_ex;
   70:     (*s_etat_processus).exception = d_ep;
   71:     (*s_etat_processus).arret_si_exception = d_vrai;
   72: 
   73:     (*s_etat_processus).position_courante = 0;
   74: 
   75: /*
   76: --------------------------------------------------------------------------------
   77:   Recheche des définitions
   78: --------------------------------------------------------------------------------
   79: */
   80: 
   81:     niveau_definition = 0;
   82:     niveau_definition_registre = 0;
   83:     position_courante = 0;
   84:     position_debut_nom_definition = 0;
   85:     validation = 0;
   86: 
   87:     apostrophe_ouverte = d_faux;
   88:     apostrophe_ouverte_registre = d_faux;
   89:     guillemet_ouvert = d_faux;
   90:     position_debut_nom_definition_valide = d_faux;
   91: 
   92:     if ((*s_etat_processus).debug == d_vrai)
   93:         if (((*s_etat_processus).type_debug & d_debug_analyse) != 0)
   94:     {
   95:         printf("\n");
   96:         printf("[%d] Compilation\n", (int) getpid());
   97:         fflush(stdout);
   98:     }
   99: 
  100:     while((*s_etat_processus).definitions_chainees[position_courante] !=
  101:             d_code_fin_chaine)
  102:     {
  103:         caractere_courant = (*s_etat_processus)
  104:                 .definitions_chainees[position_courante];
  105: 
  106:         fermeture_definition = d_faux;
  107:         ouverture_definition = d_faux;
  108: 
  109:         if (position_courante >= 1)
  110:         {
  111:             if (position_courante >= 2)
  112:             {
  113:                 if (((*s_etat_processus).definitions_chainees
  114:                         [position_courante - 2] == '\\') &&
  115:                         ((*s_etat_processus).definitions_chainees
  116:                         [position_courante - 1] == '\\'))
  117:                 {
  118:                     caractere_precedent = '*';
  119:                 }
  120:                 else
  121:                 {
  122:                     caractere_precedent = (*s_etat_processus)
  123:                             .definitions_chainees[position_courante - 1];
  124:                 }
  125:             }
  126:             else
  127:             {
  128:                 caractere_precedent = (*s_etat_processus)
  129:                         .definitions_chainees[position_courante - 1];
  130:             }
  131:         }
  132:         else
  133:         {
  134:             caractere_precedent = ' ';
  135:         }
  136: 
  137:         caractere_suivant = (*s_etat_processus)
  138:                 .definitions_chainees[position_courante + 1];
  139: 
  140:         if (caractere_suivant == d_code_fin_chaine)
  141:         {
  142:             caractere_suivant = ' ';
  143:         }
  144: 
  145:         if ((caractere_courant == '[') || (caractere_courant == '{'))
  146:         {
  147:             validation++;
  148:         }
  149:         else if ((caractere_courant == ']') || (caractere_courant == '}'))
  150:         {
  151:             validation--;
  152:         }
  153:         else if (caractere_courant == '\'')
  154:         {
  155:             if (apostrophe_ouverte == d_faux)
  156:             {
  157:                 validation++;
  158:                 apostrophe_ouverte = d_vrai;
  159:             }
  160:             else
  161:             {
  162:                 validation--;
  163:                 apostrophe_ouverte = d_faux;
  164:             }
  165:         }
  166:         else if (caractere_courant == '"')
  167:         {
  168:             if (caractere_precedent != '\\')
  169:             {
  170:                 swap((void *) &validation, (void *) &validation_registre,
  171:                         sizeof(validation));
  172:                 swap((void *) &apostrophe_ouverte,
  173:                         (void *) &apostrophe_ouverte_registre,
  174:                         sizeof(apostrophe_ouverte));
  175:                 swap((void *) &niveau_definition,
  176:                         (void *) &niveau_definition_registre,
  177:                         sizeof(niveau_definition));
  178: 
  179:                 guillemet_ouvert = (guillemet_ouvert == d_faux)
  180:                         ? d_vrai : d_faux;
  181:             }
  182:         }
  183:         else if ((caractere_courant == '<') &&
  184:                 (caractere_precedent == ' ') &&
  185:                 (caractere_suivant == '<'))
  186:         {
  187:             if ((*s_etat_processus)
  188:                     .definitions_chainees[position_courante + 2] == ' ')
  189:             {
  190:                 niveau_definition++;
  191:                 ouverture_definition = d_vrai;
  192:             }
  193:         }
  194:         else if ((caractere_courant == '>') &&
  195:                 (caractere_precedent == ' ') &&
  196:                 (caractere_suivant == '>'))
  197:         {
  198:             if (((*s_etat_processus)
  199:                     .definitions_chainees[position_courante + 2] == ' ') ||
  200:                     ((*s_etat_processus).definitions_chainees
  201:                     [position_courante + 2] == d_code_fin_chaine))
  202:             {
  203:                 if (niveau_definition == 0)
  204:                 {
  205:                     (*s_etat_processus).erreur_compilation =
  206:                             d_ec_niveau_definition_negatif;
  207:                     return(d_erreur);
  208:                 }
  209:                 else
  210:                 {
  211:                     niveau_definition--;
  212:                     fermeture_definition = d_vrai;
  213:                     position_courante++;
  214:                 }
  215:             }
  216:         }
  217: 
  218:         if ((niveau_definition == 0) && (guillemet_ouvert == d_faux) &&
  219:                 (caractere_courant != ' ') && (fermeture_definition == d_faux))
  220:         {
  221:             if (position_debut_nom_definition_valide == d_faux)
  222:             {
  223:                 position_debut_nom_definition_valide = d_vrai;
  224:                 position_debut_nom_definition = position_courante;
  225:             }
  226:         }
  227: 
  228:         if (((niveau_definition == 1) && (ouverture_definition == d_vrai)) &&
  229:                 (position_debut_nom_definition_valide == d_vrai))
  230:         {
  231:             position_fin_nom_definition = position_courante - 1;
  232:             position_debut_nom_definition_valide = d_faux;
  233: 
  234:             while((*s_etat_processus).definitions_chainees
  235:                     [position_fin_nom_definition] == ' ')
  236:             {
  237:                 position_fin_nom_definition--;
  238:             }
  239: 
  240:             i = position_debut_nom_definition;
  241: 
  242:             while(i <= position_fin_nom_definition)
  243:             {
  244:                 if ((*s_etat_processus).definitions_chainees[i] == ' ')
  245:                 {
  246:                     (*s_etat_processus).erreur_compilation =
  247:                             d_ec_nom_definition_invalide;
  248:                     return(d_erreur);
  249:                 }
  250:                 else
  251:                 {
  252:                     i++;
  253:                 }
  254:             }
  255: 
  256:             s_objet = allocation(s_etat_processus, ADR);
  257:             s_variable = (struct_variable *)
  258:                     malloc(sizeof(struct_variable));
  259:             adresse = (*s_objet).objet;
  260:             definition = (unsigned char *) malloc(
  261:                     (position_fin_nom_definition -
  262:                     position_debut_nom_definition + 2) *
  263:                     sizeof(unsigned char));
  264: 
  265:             if ((s_objet == NULL) || (s_variable == NULL) ||
  266:                     (adresse == NULL) || definition == NULL)
  267:             {
  268:                 (*s_etat_processus).erreur_systeme =
  269:                         d_es_allocation_memoire;
  270:                 return(d_erreur);
  271:             }
  272:             else
  273:             {
  274:                 (*adresse) = position_fin_nom_definition + 1;
  275: 
  276:                 (*s_variable).nom = definition;
  277:                 (*s_variable).niveau = (*s_etat_processus).niveau_courant;
  278:                 (*s_variable).objet = s_objet;
  279: 
  280:                 i = position_debut_nom_definition;
  281: 
  282:                 while(i <= position_fin_nom_definition)
  283:                 {
  284:                     *(definition++) = (*s_etat_processus)
  285:                             .definitions_chainees[i++];
  286:                 }
  287: 
  288:                 *definition = d_code_fin_chaine;
  289: 
  290:                 if (recherche_variable(s_etat_processus, (*s_variable).nom)
  291:                         == d_vrai)
  292:                 {
  293:                     if ((*s_etat_processus).langue == 'F')
  294:                     {
  295:                         printf("+++Attention : Plusieurs définitions de"
  296:                                 " même nom\n");
  297:                     }
  298:                     else
  299:                     {
  300:                         printf("+++Warning : Same name for several"
  301:                                 " definitions\n");
  302:                     }
  303: 
  304:                     fflush(stdout);
  305:                     return(d_erreur);
  306:                 }
  307: 
  308:                 (*s_etat_processus).erreur_systeme = d_es;
  309:                 creation_variable(s_etat_processus, s_variable, 'V', 'P');
  310: 
  311:                 if ((*s_etat_processus).erreur_systeme != d_es)
  312:                 {
  313:                     free(s_variable);
  314: 
  315:                     return(d_erreur);
  316:                 }
  317: 
  318:                 if ((*s_etat_processus).debug == d_vrai)
  319:                     if (((*s_etat_processus).type_debug & d_debug_analyse) != 0)
  320:                 {
  321:                     if ((*s_etat_processus).langue == 'F')
  322:                     {
  323:                         printf("[%d] Compilation : Définition %s ($ %016lX) "
  324:                                 "\n", (int) getpid(), (*s_variable).nom,
  325:                                 (*adresse));
  326:                     }
  327:                     else
  328:                     {
  329:                         printf("[%d] Compilation : %s definition ($ %016lX) "
  330:                                 "\n", (int) getpid(), (*s_variable).nom,
  331:                                 (*adresse));
  332:                     }
  333: 
  334:                     fflush(stdout);
  335:                 }
  336:             }
  337: 
  338:             free(s_variable);
  339:         }
  340: 
  341:         position_courante++;
  342:     }
  343: 
  344:     return(analyse_syntaxique(s_etat_processus));
  345: }
  346: 
  347: 
  348: /*
  349: ================================================================================
  350:   Procédure de d'analyse syntaxique du source
  351: ================================================================================
  352:   Entrées :
  353: --------------------------------------------------------------------------------
  354:   Sorties :
  355:     - renvoi    :   erreur
  356: --------------------------------------------------------------------------------
  357:   Effets de bord :
  358: ================================================================================
  359: */
  360: 
  361: enum t_condition    { AN_IF = 1, AN_IFERR, AN_THEN, AN_ELSE, AN_ELSEIF,
  362:                     AN_END, AN_DO, AN_UNTIL, AN_WHILE, AN_REPEAT, AN_SELECT,
  363:                     AN_CASE, AN_DEFAULT, AN_UP, AN_DOWN, AN_FOR, AN_START,
  364:                     AN_NEXT, AN_STEP, AN_CRITICAL, AN_FORALL };
  365: 
  366: typedef struct pile
  367: {
  368:     enum t_condition    condition;
  369:     struct pile         *suivant;
  370: } struct_pile_analyse;
  371: 
  372: static inline struct_pile_analyse *
  373: empilement_analyse(struct_pile_analyse *ancienne_base,
  374:         enum t_condition condition)
  375: {
  376:     struct_pile_analyse     *nouvelle_base;
  377: 
  378:     if ((nouvelle_base = malloc(sizeof(struct_pile_analyse))) == NULL)
  379:     {
  380:         return(NULL);
  381:     }
  382: 
  383:     (*nouvelle_base).suivant = ancienne_base;
  384:     (*nouvelle_base).condition = condition;
  385: 
  386:     return(nouvelle_base);
  387: }
  388: 
  389: static inline struct_pile_analyse *
  390: depilement_analyse(struct_pile_analyse *ancienne_base)
  391: {
  392:     struct_pile_analyse     *nouvelle_base;
  393: 
  394:     if (ancienne_base == NULL)
  395:     {
  396:         return(NULL);
  397:     }
  398: 
  399:     nouvelle_base = (*ancienne_base).suivant;
  400:     free(ancienne_base);
  401: 
  402:     return(nouvelle_base);
  403: }
  404: 
  405: static inline logical1
  406: test_analyse(struct_pile_analyse *l_base_pile, enum t_condition condition)
  407: {
  408:     if (l_base_pile == NULL)
  409:     {
  410:         return(d_faux);
  411:     }
  412: 
  413:     return(((*l_base_pile).condition == condition) ? d_vrai : d_faux);
  414: }
  415: 
  416: static inline void
  417: liberation_analyse(struct_pile_analyse *l_base_pile)
  418: {
  419:     struct_pile_analyse     *l_nouvelle_base_pile;
  420: 
  421:     while(l_base_pile != NULL)
  422:     {
  423:         l_nouvelle_base_pile = (*l_base_pile).suivant;
  424:         free(l_base_pile);
  425:         l_base_pile = l_nouvelle_base_pile;
  426:     }
  427: 
  428:     return;
  429: }
  430: 
  431: logical1
  432: analyse_syntaxique(struct_processus *s_etat_processus)
  433: {
  434:     unsigned char       *instruction;
  435:     unsigned char       registre;
  436: 
  437:     struct_pile_analyse     *l_base_pile;
  438:     struct_pile_analyse     *l_nouvelle_base_pile;
  439: 
  440:     l_base_pile = NULL;
  441:     l_nouvelle_base_pile = NULL;
  442: 
  443:     if ((*s_etat_processus).debug == d_vrai)
  444:         if (((*s_etat_processus).type_debug & d_debug_analyse) != 0)
  445:     {
  446:         if ((*s_etat_processus).langue == 'F')
  447:         {
  448:             printf("[%d] Analyse\n", (int) getpid());
  449:         }
  450:         else
  451:         {
  452:             printf("[%d] Analysis\n", (int) getpid());
  453:         }
  454: 
  455:         fflush(stdout);
  456:     }
  457: 
  458:     (*s_etat_processus).position_courante = 0;
  459:     registre = (*s_etat_processus).autorisation_empilement_programme;
  460:     (*s_etat_processus).autorisation_empilement_programme = 'N';
  461: 
  462: /*
  463: --------------------------------------------------------------------------------
  464:   Analyse structurelle
  465: --------------------------------------------------------------------------------
  466: */
  467: 
  468:     while((*s_etat_processus).definitions_chainees
  469:             [(*s_etat_processus).position_courante] != d_code_fin_chaine)
  470:     {
  471:         if (recherche_instruction_suivante(s_etat_processus) !=
  472:                 d_absence_erreur)
  473:         {
  474:             liberation_analyse(l_base_pile);
  475: 
  476:             (*s_etat_processus).autorisation_empilement_programme = registre;
  477:             return(d_erreur);
  478:         }
  479: 
  480:         if ((instruction = conversion_majuscule(
  481:                 (*s_etat_processus).instruction_courante)) == NULL)
  482:         {
  483:             liberation_analyse(l_base_pile);
  484: 
  485:             (*s_etat_processus).autorisation_empilement_programme = registre;
  486:             (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  487:             return(d_erreur);
  488:         }
  489: 
  490:         if (strcmp(instruction, "IF") == 0)
  491:         {
  492:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile, AN_IF))
  493:                     == NULL)
  494:             {
  495:                 liberation_analyse(l_base_pile);
  496: 
  497:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  498:                 return(d_erreur);
  499:             }
  500: 
  501:             l_base_pile = l_nouvelle_base_pile;
  502:             (*l_base_pile).condition = AN_IF;
  503:         }
  504:         else if (strcmp(instruction, "IFERR") == 0)
  505:         {
  506:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
  507:                     AN_IFERR)) == NULL)
  508:             {
  509:                 liberation_analyse(l_base_pile);
  510: 
  511:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  512:                 return(d_erreur);
  513:             }
  514: 
  515:             l_base_pile = l_nouvelle_base_pile;
  516:         }
  517:         else if (strcmp(instruction, "CRITICAL") == 0)
  518:         {
  519:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
  520:                     AN_CRITICAL)) == NULL)
  521:             {
  522:                 liberation_analyse(l_base_pile);
  523: 
  524:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  525:                 return(d_erreur);
  526:             }
  527: 
  528:             l_base_pile = l_nouvelle_base_pile;
  529:         }
  530:         else if (strcmp(instruction, "THEN") == 0)
  531:         {
  532:             if ((test_analyse(l_base_pile, AN_IF) == d_faux) &&
  533:                     (test_analyse(l_base_pile, AN_ELSEIF) == d_faux) &&
  534:                     (test_analyse(l_base_pile, AN_CASE) == d_faux) &&
  535:                     (test_analyse(l_base_pile, AN_IFERR) == d_faux))
  536:             {
  537:                 liberation_analyse(l_base_pile);
  538: 
  539:                 (*s_etat_processus).autorisation_empilement_programme =
  540:                         registre;
  541: 
  542:                 (*s_etat_processus).erreur_compilation =
  543:                         d_ec_erreur_instruction_then;
  544:                 return(d_erreur);
  545:             }
  546: 
  547:             (*l_base_pile).condition = AN_THEN;
  548:         }
  549:         else if (strcmp(instruction, "ELSE") == 0)
  550:         {
  551:             if (test_analyse(l_base_pile, AN_THEN) == d_faux)
  552:             {
  553:                 liberation_analyse(l_base_pile);
  554: 
  555:                 (*s_etat_processus).autorisation_empilement_programme =
  556:                         registre;
  557: 
  558:                 (*s_etat_processus).erreur_compilation =
  559:                         d_ec_erreur_instruction_else;
  560:                 return(d_erreur);
  561:             }
  562: 
  563:             (*l_base_pile).condition = AN_ELSE;
  564:         }
  565:         else if (strcmp(instruction, "ELSEIF") == 0)
  566:         {
  567:             if (test_analyse(l_base_pile, AN_THEN) == d_faux)
  568:             {
  569:                 liberation_analyse(l_base_pile);
  570: 
  571:                 (*s_etat_processus).autorisation_empilement_programme =
  572:                         registre;
  573: 
  574:                 (*s_etat_processus).erreur_compilation =
  575:                         d_ec_erreur_instruction_elseif;
  576:                 return(d_erreur);
  577:             }
  578: 
  579:             (*l_base_pile).condition = AN_ELSEIF;
  580:         }
  581:         else if (strcmp(instruction, "END") == 0)
  582:         {
  583:             if ((test_analyse(l_base_pile, AN_UNTIL) == d_faux) &&
  584:                     (test_analyse(l_base_pile, AN_REPEAT) == d_faux) &&
  585:                     (test_analyse(l_base_pile, AN_DEFAULT) == d_faux) &&
  586:                     (test_analyse(l_base_pile, AN_SELECT) == d_faux) &&
  587:                     (test_analyse(l_base_pile, AN_THEN) == d_faux) &&
  588:                     (test_analyse(l_base_pile, AN_CRITICAL) == d_faux) &&
  589:                     (test_analyse(l_base_pile, AN_ELSE) == d_faux))
  590:             {
  591:                 liberation_analyse(l_base_pile);
  592: 
  593:                 (*s_etat_processus).autorisation_empilement_programme =
  594:                         registre;
  595: 
  596:                 (*s_etat_processus).erreur_compilation =
  597:                         d_ec_erreur_instruction_end;
  598:                 return(d_erreur);
  599:             }
  600: 
  601:             l_base_pile = depilement_analyse(l_base_pile);
  602:         }
  603:         else if (strcmp(instruction, "DO") == 0)
  604:         {
  605:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile, AN_DO))
  606:                     == NULL)
  607:             {
  608:                 liberation_analyse(l_base_pile);
  609: 
  610:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  611:                 return(d_erreur);
  612:             }
  613: 
  614:             l_base_pile = l_nouvelle_base_pile;
  615:         }
  616:         else if (strcmp(instruction, "UNTIL") == 0)
  617:         {
  618:             if (test_analyse(l_base_pile, AN_DO) == d_faux)
  619:             {
  620:                 liberation_analyse(l_base_pile);
  621: 
  622:                 (*s_etat_processus).autorisation_empilement_programme =
  623:                         registre;
  624: 
  625:                 (*s_etat_processus).erreur_compilation =
  626:                         d_ec_erreur_instruction_until;
  627:                 return(d_erreur);
  628:             }
  629: 
  630:             (*l_base_pile).condition = AN_UNTIL;
  631:         }
  632:         else if (strcmp(instruction, "WHILE") == 0)
  633:         {
  634:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
  635:                     AN_WHILE)) == NULL)
  636:             {
  637:                 liberation_analyse(l_base_pile);
  638: 
  639:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  640:                 return(d_erreur);
  641:             }
  642: 
  643:             l_base_pile = l_nouvelle_base_pile;
  644:         }
  645:         else if (strcmp(instruction, "REPEAT") == 0)
  646:         {
  647:             if (test_analyse(l_base_pile, AN_WHILE) == d_faux)
  648:             {
  649:                 liberation_analyse(l_base_pile);
  650: 
  651:                 (*s_etat_processus).autorisation_empilement_programme =
  652:                         registre;
  653: 
  654:                 (*s_etat_processus).erreur_compilation =
  655:                         d_ec_erreur_instruction_while;
  656:                 return(d_erreur);
  657:             }
  658: 
  659:             (*l_base_pile).condition = AN_REPEAT;
  660:         }
  661:         else if (strcmp(instruction, "SELECT") == 0)
  662:         {
  663:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
  664:                     AN_SELECT)) == NULL)
  665:             {
  666:                 liberation_analyse(l_base_pile);
  667: 
  668:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  669:                 return(d_erreur);
  670:             }
  671: 
  672:             l_base_pile = l_nouvelle_base_pile;
  673:         }
  674:         else if (strcmp(instruction, "CASE") == 0)
  675:         {
  676:             if (test_analyse(l_base_pile, AN_SELECT) == d_faux)
  677:             {
  678:                 liberation_analyse(l_base_pile);
  679: 
  680:                 (*s_etat_processus).autorisation_empilement_programme =
  681:                         registre;
  682: 
  683:                 (*s_etat_processus).erreur_compilation =
  684:                         d_ec_erreur_instruction_case;
  685:                 return(d_erreur);
  686:             }
  687: 
  688:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
  689:                     AN_CASE)) == NULL)
  690:             {
  691:                 liberation_analyse(l_base_pile);
  692: 
  693:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  694:                 return(d_erreur);
  695:             }
  696: 
  697:             l_base_pile = l_nouvelle_base_pile;
  698:         }
  699:         else if (strcmp(instruction, "DEFAULT") == 0)
  700:         {
  701:             if (test_analyse(l_base_pile, AN_SELECT) == d_faux)
  702:             {
  703:                 liberation_analyse(l_base_pile);
  704: 
  705:                 (*s_etat_processus).autorisation_empilement_programme =
  706:                         registre;
  707: 
  708:                 (*s_etat_processus).erreur_compilation =
  709:                         d_ec_erreur_instruction_select;
  710:                 return(d_erreur);
  711:             }
  712: 
  713:             (*l_base_pile).condition = AN_DEFAULT;
  714:         }
  715:         else if (strcmp(instruction, "<<") == 0)
  716:         {
  717:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile, AN_UP))
  718:                     == NULL)
  719:             {
  720:                 liberation_analyse(l_base_pile);
  721: 
  722:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  723:                 return(d_erreur);
  724:             }
  725: 
  726:             l_base_pile = l_nouvelle_base_pile;
  727:         }
  728:         else if (strcmp(instruction, ">>") == 0)
  729:         {
  730:             if (test_analyse(l_base_pile, AN_UP) == d_faux)
  731:             {
  732:                 liberation_analyse(l_base_pile);
  733: 
  734:                 (*s_etat_processus).autorisation_empilement_programme =
  735:                         registre;
  736: 
  737:                 (*s_etat_processus).erreur_compilation =
  738:                         d_ec_source_incoherent;
  739:                 return(d_erreur);
  740:             }
  741: 
  742:             l_base_pile = depilement_analyse(l_base_pile);
  743:         }
  744:         else if (strcmp(instruction, "FOR") == 0)
  745:         {
  746:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile, AN_FOR))
  747:                     == NULL)
  748:             {
  749:                 liberation_analyse(l_base_pile);
  750: 
  751:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  752:                 return(d_erreur);
  753:             }
  754: 
  755:             l_base_pile = l_nouvelle_base_pile;
  756:         }
  757:         else if (strcmp(instruction, "START") == 0)
  758:         {
  759:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
  760:                     AN_START)) == NULL)
  761:             {
  762:                 liberation_analyse(l_base_pile);
  763: 
  764:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  765:                 return(d_erreur);
  766:             }
  767: 
  768:             l_base_pile = l_nouvelle_base_pile;
  769:         }
  770:         else if (strcmp(instruction, "FORALL") == 0)
  771:         {
  772:             if ((l_nouvelle_base_pile = empilement_analyse(l_base_pile,
  773:                     AN_FORALL)) == NULL)
  774:             {
  775:                 liberation_analyse(l_base_pile);
  776: 
  777:                 (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
  778:                 return(d_erreur);
  779:             }
  780: 
  781:             l_base_pile = l_nouvelle_base_pile;
  782:         }
  783:         else if (strcmp(instruction, "NEXT") == 0)
  784:         {
  785:             if ((test_analyse(l_base_pile, AN_FOR) == d_faux) &&
  786:                     (test_analyse(l_base_pile, AN_FORALL) == d_faux) &&
  787:                     (test_analyse(l_base_pile, AN_START) == d_faux))
  788:             {
  789:                 liberation_analyse(l_base_pile);
  790: 
  791:                 (*s_etat_processus).autorisation_empilement_programme =
  792:                         registre;
  793: 
  794:                 (*s_etat_processus).erreur_compilation =
  795:                         d_ec_erreur_boucle_definie;
  796:                 return(d_erreur);
  797:             }
  798: 
  799:             l_base_pile = depilement_analyse(l_base_pile);
  800:         }
  801:         else if (strcmp(instruction, "STEP") == 0)
  802:         {
  803:             if ((test_analyse(l_base_pile, AN_FOR) == d_faux) &&
  804:                     (test_analyse(l_base_pile, AN_START) == d_faux))
  805:             {
  806:                 liberation_analyse(l_base_pile);
  807: 
  808:                 (*s_etat_processus).autorisation_empilement_programme =
  809:                         registre;
  810: 
  811:                 (*s_etat_processus).erreur_compilation =
  812:                         d_ec_erreur_boucle_definie;
  813:                 return(d_erreur);
  814:             }
  815: 
  816:             l_base_pile = depilement_analyse(l_base_pile);
  817:         }
  818: 
  819:         // Invalidation de l'instruction courante dans le fichier rpl-core
  820:         free((*s_etat_processus).instruction_courante);
  821:         (*s_etat_processus).instruction_courante = NULL;
  822:         free(instruction);
  823:     }
  824: 
  825:     (*s_etat_processus).autorisation_empilement_programme = registre;
  826: 
  827:     if (l_base_pile != NULL)
  828:     {
  829:         liberation_analyse(l_base_pile);
  830: 
  831:         (*s_etat_processus).autorisation_empilement_programme = registre;
  832:         (*s_etat_processus).erreur_compilation = d_ec_source_incoherent;
  833:         return(d_erreur);
  834:     }
  835: 
  836:     return(d_absence_erreur);
  837: }
  838: 
  839: 
  840: /*
  841: ================================================================================
  842:   Procédure de d'analyse syntaxique du source pour readline
  843: ================================================================================
  844:   Entrées :
  845: --------------------------------------------------------------------------------
  846:   Sorties :
  847:     - rl_done à 0 ou à 1.
  848: --------------------------------------------------------------------------------
  849:   Effets de bord :
  850: ================================================================================
  851: */
  852: 
  853: static char                 *ligne = NULL;
  854: static unsigned int         niveau = 0;
  855: 
  856: int
  857: readline_analyse_syntaxique(int count, int key)
  858: {
  859:     char                        prompt[] = "+ %03d> ";
  860:     char                        prompt2[8];
  861:     char                        *registre;
  862: 
  863:     struct_processus            s_etat_processus;
  864: 
  865:     if ((*rl_line_buffer) == d_code_fin_chaine)
  866:     {
  867:         if (ligne == NULL)
  868:         {
  869:             rl_done = 1;
  870:         }
  871:         else
  872:         {
  873:             rl_done = 0;
  874:         }
  875:     }
  876:     else
  877:     {
  878:         if (ligne == NULL)
  879:         {
  880:             if ((ligne = malloc((strlen(rl_line_buffer) + 1)
  881:                     * sizeof(char))) == NULL)
  882:             {
  883:                 rl_done = 1;
  884:                 return(0);
  885:             }
  886: 
  887:             strcpy(ligne, rl_line_buffer);
  888:         }
  889:         else
  890:         {
  891:             registre = ligne;
  892: 
  893:             if ((ligne = malloc((strlen(registre)
  894:                     + strlen(rl_line_buffer) + 2) * sizeof(char))) == NULL)
  895:             {
  896:                 rl_done = 1;
  897:                 return(0);
  898:             }
  899: 
  900:             sprintf(ligne, "%s %s", registre, rl_line_buffer);
  901:         }
  902: 
  903:         rl_replace_line("", 1);
  904: 
  905:         s_etat_processus.definitions_chainees = ligne;
  906:         s_etat_processus.debug = d_faux;
  907:         s_etat_processus.erreur_systeme = d_es;
  908:         s_etat_processus.erreur_execution = d_ex;
  909: 
  910:         if (analyse_syntaxique(&s_etat_processus) == d_absence_erreur)
  911:         {
  912:             rl_done = 1;
  913:         }
  914:         else
  915:         {
  916:             if (s_etat_processus.erreur_systeme != d_es)
  917:             {
  918:                 rl_done = 1;
  919:             }
  920:             else
  921:             {
  922:                 rl_done = 0;
  923:                 rl_crlf();
  924: 
  925:                 sprintf(prompt2, prompt, ++niveau);
  926: 
  927:                 rl_expand_prompt(prompt2);
  928:                 rl_on_new_line();
  929:             }
  930:         }
  931:     }
  932: 
  933:     if (rl_done != 0)
  934:     {
  935:         uprintf("\n");
  936: 
  937:         if (ligne != NULL)
  938:         {
  939:             rl_replace_line(ligne, 1);
  940: 
  941:             free(ligne);
  942:             ligne = NULL;
  943:         }
  944: 
  945:         niveau = 0;
  946:     }
  947: 
  948:     return(0);
  949: }
  950: 
  951: int
  952: readline_effacement(int count, int key)
  953: {
  954:     rl_done = 0;
  955:     rl_replace_line("", 1);
  956: 
  957:     free(ligne);
  958:     ligne = NULL;
  959:     niveau = 0;
  960: 
  961:     uprintf("^G\n");
  962:     rl_expand_prompt("RPL/2> ");
  963:     rl_on_new_line();
  964:     return(0);
  965: }
  966: 
  967: 
  968: /*
  969: ================================================================================
  970:   Routine d'échange de deux variables
  971: ================================================================================
  972:   Entrées :
  973:     -   pointeurs génériques sur les deux variables,
  974:     -   longueur en octet des objets à permuter.
  975: --------------------------------------------------------------------------------
  976:   Sorties : idem.
  977: --------------------------------------------------------------------------------
  978:   Effets de bord : néant.
  979: ================================================================================
  980: */
  981: 
  982: void
  983: swap(void *variable_1, void *variable_2, integer8 taille)
  984: {
  985:     register unsigned char      *t_var_1;
  986:     register unsigned char      *t_var_2;
  987:     register unsigned char      variable_temporaire;
  988: 
  989:     register integer8           i;
  990: 
  991:     t_var_1 = (unsigned char *) variable_1;
  992:     t_var_2 = (unsigned char *) variable_2;
  993: 
  994:     for(i = 0; i < taille; i++)
  995:     {
  996:         variable_temporaire = (*t_var_1);
  997:         (*(t_var_1++)) = (*t_var_2);
  998:         (*(t_var_2++)) = variable_temporaire;
  999:     }
 1000: 
 1001:     return;
 1002: }
 1003: 
 1004: 
 1005: /*
 1006: ================================================================================
 1007:   Routine recherchant l'instruction suivante dans le programme compilé
 1008: ================================================================================
 1009:   Entrée :
 1010: --------------------------------------------------------------------------------
 1011:   Sortie :
 1012: --------------------------------------------------------------------------------
 1013:   Effets de bord : néant.
 1014: ================================================================================
 1015: */
 1016: 
 1017: logical1
 1018: recherche_instruction_suivante(struct_processus *s_etat_processus)
 1019: {
 1020:     logical1                    drapeau_fin_objet;
 1021:     logical1                    erreur;
 1022:     logical1                    erreur_analyse;
 1023:     logical1                    erreur_format;
 1024: 
 1025:     unsigned char               base_binaire;
 1026:     unsigned char               *pointeur_caractere_courant;
 1027:     unsigned char               *pointeur_caractere_destination;
 1028:     unsigned char               *pointeur_debut_instruction;
 1029:     unsigned char               *pointeur_fin_instruction;
 1030: 
 1031:     signed long                 niveau;
 1032:     signed long                 niveau_annexe;
 1033: 
 1034:     erreur_analyse = d_ex;
 1035:     erreur_format = d_ex;
 1036:     erreur = d_absence_erreur;
 1037: 
 1038:     drapeau_fin_objet = d_faux;
 1039:     niveau = 0;
 1040: 
 1041:     pointeur_caractere_courant = (*s_etat_processus).definitions_chainees +
 1042:             (*s_etat_processus).position_courante;
 1043: 
 1044:     while(((*pointeur_caractere_courant) == d_code_espace) &&
 1045:             ((*pointeur_caractere_courant) != d_code_fin_chaine))
 1046:     {
 1047:         pointeur_caractere_courant++;
 1048:     }
 1049: 
 1050:     if ((*pointeur_caractere_courant) == d_code_fin_chaine)
 1051:     {
 1052:         (*s_etat_processus).instruction_courante = (unsigned char *)
 1053:                 malloc(sizeof(unsigned char));
 1054: 
 1055:         if ((*s_etat_processus).instruction_courante == NULL)
 1056:         {
 1057:             erreur = d_erreur;
 1058:             (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 1059:         }
 1060:         else
 1061:         {
 1062:             erreur = d_absence_erreur;
 1063:             (*(*s_etat_processus).instruction_courante) = d_code_fin_chaine;
 1064:             (*s_etat_processus).position_courante = pointeur_caractere_courant
 1065:                     - (*s_etat_processus).definitions_chainees;
 1066:         }
 1067: 
 1068:         return(erreur);
 1069:     }
 1070: 
 1071:     pointeur_debut_instruction = pointeur_caractere_courant;
 1072: 
 1073:     while(((*pointeur_caractere_courant) != d_code_espace) &&
 1074:             ((*pointeur_caractere_courant) != d_code_fin_chaine) &&
 1075:             (drapeau_fin_objet == d_faux) &&
 1076:             (erreur_analyse == d_ex) &&
 1077:             (erreur_format == d_ex))
 1078:     {
 1079:         switch(*pointeur_caractere_courant++)
 1080:         {
 1081:             case ']' :
 1082:             case '}' :
 1083:             {
 1084:                 break;
 1085:             }
 1086: 
 1087:             case ')' :
 1088:             {
 1089:                 erreur_format = d_ex_syntaxe;
 1090:                 break;
 1091:             }
 1092: 
 1093:             case '"' :
 1094:             {
 1095:                 if (pointeur_debut_instruction !=
 1096:                         (pointeur_caractere_courant - 1))
 1097:                 {
 1098:                     erreur_format = d_ex_syntaxe;
 1099:                 }
 1100: 
 1101:                 while((*pointeur_caractere_courant != '"') &&
 1102:                         ((*pointeur_caractere_courant) != d_code_fin_chaine))
 1103:                 {
 1104:                     if (*pointeur_caractere_courant == '\\')
 1105:                     {
 1106:                         pointeur_caractere_courant++;
 1107: 
 1108:                         switch(*pointeur_caractere_courant)
 1109:                         {
 1110:                             case '\\' :
 1111:                             case '"' :
 1112:                             {
 1113:                                 pointeur_caractere_courant++;
 1114:                                 break;
 1115:                             }
 1116:                         }
 1117:                     }
 1118:                     else
 1119:                     {
 1120:                         pointeur_caractere_courant++;
 1121:                     }
 1122:                 }
 1123: 
 1124:                 if ((*pointeur_caractere_courant) != '"')
 1125:                 {
 1126:                     erreur_analyse = d_ex_syntaxe;
 1127:                 }
 1128: 
 1129:                 if (erreur_analyse == d_ex)
 1130:                 {
 1131:                     pointeur_caractere_courant++;
 1132:                 }
 1133: 
 1134:                 drapeau_fin_objet = d_vrai;
 1135:                 break;
 1136:             }
 1137: 
 1138:             case '\'' :
 1139:             {
 1140:                 if (pointeur_debut_instruction !=
 1141:                         (pointeur_caractere_courant - 1))
 1142:                 {
 1143:                     erreur_format = d_ex_syntaxe;
 1144:                 }
 1145: 
 1146:                 while(((*pointeur_caractere_courant) != '\'') &&
 1147:                         ((*pointeur_caractere_courant) != d_code_fin_chaine))
 1148:                 {
 1149:                     if ((*pointeur_caractere_courant) == '(')
 1150:                     {
 1151:                         niveau++;
 1152:                     }
 1153:                     else if ((*pointeur_caractere_courant) == ')')
 1154:                     {
 1155:                         niveau--;
 1156:                     }
 1157: 
 1158:                     pointeur_caractere_courant++;
 1159:                 }
 1160: 
 1161:                 if ((*pointeur_caractere_courant) != '\'')
 1162:                 {
 1163:                     erreur_analyse = d_ex_syntaxe;
 1164:                 }
 1165:                 else if (niveau != 0)
 1166:                 {
 1167:                     erreur_analyse = d_ex_syntaxe;
 1168:                 }
 1169: 
 1170:                 if (erreur_analyse == d_ex)
 1171:                 {
 1172:                     pointeur_caractere_courant++;
 1173:                 }
 1174: 
 1175:                 drapeau_fin_objet = d_vrai;
 1176:                 break;
 1177:             }
 1178: 
 1179:             case '(' :
 1180:             {
 1181:                 if (pointeur_debut_instruction !=
 1182:                         (pointeur_caractere_courant - 1))
 1183:                 {
 1184:                     erreur_format = d_ex_syntaxe;
 1185:                 }
 1186: 
 1187:                 while(((*pointeur_caractere_courant) != ')') &&
 1188:                         ((*pointeur_caractere_courant) != d_code_fin_chaine)
 1189:                         && (erreur_analyse == d_ex))
 1190:                 {
 1191:                     switch(*pointeur_caractere_courant)
 1192:                     {
 1193:                         case '0' :
 1194:                         case '1' :
 1195:                         case '2' :
 1196:                         case '3' :
 1197:                         case '4' :
 1198:                         case '5' :
 1199:                         case '6' :
 1200:                         case '7' :
 1201:                         case '8' :
 1202:                         case '9' :
 1203:                         case 'e' :
 1204:                         case 'E' :
 1205:                         case ',' :
 1206:                         case '.' :
 1207:                         case ' ' :
 1208:                         case '-' :
 1209:                         case '+' :
 1210:                         case ')' :
 1211:                         {
 1212:                             break;
 1213:                         }
 1214: 
 1215:                         default :
 1216:                         {
 1217:                             erreur_analyse = d_ex_syntaxe;
 1218:                             break;
 1219:                         }
 1220:                     }
 1221: 
 1222:                     pointeur_caractere_courant++;
 1223:                 }
 1224: 
 1225:                 if ((*pointeur_caractere_courant) != ')')
 1226:                 {
 1227:                     erreur_analyse = d_ex_syntaxe;
 1228:                 }
 1229: 
 1230:                 if (erreur_analyse == d_ex)
 1231:                 {
 1232:                     pointeur_caractere_courant++;
 1233:                 }
 1234: 
 1235:                 drapeau_fin_objet = d_vrai;
 1236:                 break;
 1237:             }
 1238: 
 1239:             case '#' :
 1240:             {
 1241:                 if (pointeur_debut_instruction !=
 1242:                         (pointeur_caractere_courant - 1))
 1243:                 {
 1244:                     erreur_format = d_ex_syntaxe;
 1245:                 }
 1246: 
 1247:                 while(((*pointeur_caractere_courant) != 'b') &&
 1248:                         ((*pointeur_caractere_courant) != 'o') &&
 1249:                         ((*pointeur_caractere_courant) != 'd') &&
 1250:                         ((*pointeur_caractere_courant) != 'h') &&
 1251:                         ((*pointeur_caractere_courant) !=
 1252:                         d_code_fin_chaine) &&
 1253:                         (erreur_analyse == d_ex))
 1254:                 {
 1255:                     switch(*pointeur_caractere_courant)
 1256:                     {
 1257:                         case ' ' :
 1258:                         case '0' :
 1259:                         case '1' :
 1260:                         case '2' :
 1261:                         case '3' :
 1262:                         case '4' :
 1263:                         case '5' :
 1264:                         case '6' :
 1265:                         case '7' :
 1266:                         case '8' :
 1267:                         case '9' :
 1268:                         case 'A' :
 1269:                         case 'B' :
 1270:                         case 'C' :
 1271:                         case 'D' :
 1272:                         case 'E' :
 1273:                         case 'F' :
 1274:                         case 'b' :
 1275:                         case 'o' :
 1276:                         case 'd' :
 1277:                         case 'h' :
 1278:                         {
 1279:                             break;
 1280:                         }
 1281: 
 1282:                         default :
 1283:                         {
 1284:                             erreur_analyse = d_ex_syntaxe;
 1285:                             break;
 1286:                         }
 1287:                     }
 1288: 
 1289:                     pointeur_caractere_courant++;
 1290:                 }
 1291: 
 1292:                 base_binaire = (*pointeur_caractere_courant);
 1293:                 pointeur_caractere_courant++;
 1294: 
 1295:                 if (((*pointeur_caractere_courant) != d_code_fin_chaine) &&
 1296:                         ((*pointeur_caractere_courant) != ' '))
 1297:                 {
 1298:                     erreur_analyse = d_ex_syntaxe;
 1299:                 }
 1300:                 else
 1301:                 {
 1302:                     pointeur_caractere_courant = pointeur_debut_instruction + 1;
 1303: 
 1304:                     switch(base_binaire)
 1305:                     {
 1306:                         case 'b' :
 1307:                         case 'o' :
 1308:                         case 'd' :
 1309:                         case 'h' :
 1310:                         {
 1311:                             break;
 1312:                         }
 1313: 
 1314:                         default :
 1315:                         {
 1316:                             erreur_analyse = d_ex_syntaxe;
 1317:                             break;
 1318:                         }
 1319:                     }
 1320:                 }
 1321: 
 1322:                 while(((*pointeur_caractere_courant) != base_binaire) &&
 1323:                         ((*pointeur_caractere_courant) != d_code_fin_chaine) &&
 1324:                         (erreur_analyse == d_ex))
 1325:                 {
 1326:                     if (base_binaire == 'b')
 1327:                     {
 1328:                         switch(*pointeur_caractere_courant)
 1329:                         {
 1330:                             case ' ' :
 1331:                             case '0' :
 1332:                             case '1' :
 1333:                             {
 1334:                                 break;
 1335:                             }
 1336: 
 1337:                             default :
 1338:                             {
 1339:                                 erreur_analyse = d_ex_syntaxe;
 1340:                                 break;
 1341:                             }
 1342:                         }
 1343:                     }
 1344:                     else if (base_binaire == 'o')
 1345:                     {
 1346:                         switch(*pointeur_caractere_courant)
 1347:                         {
 1348:                             case ' ' :
 1349:                             case '0' :
 1350:                             case '1' :
 1351:                             case '2' :
 1352:                             case '3' :
 1353:                             case '4' :
 1354:                             case '5' :
 1355:                             case '6' :
 1356:                             case '7' :
 1357:                             {
 1358:                                 break;
 1359:                             }
 1360: 
 1361:                             default :
 1362:                             {
 1363:                                 erreur_analyse = d_ex_syntaxe;
 1364:                                 break;
 1365:                             }
 1366:                         }
 1367:                     }
 1368:                     else if (base_binaire == 'd')
 1369:                     {
 1370:                         switch(*pointeur_caractere_courant)
 1371:                         {
 1372:                             case ' ' :
 1373:                             case '0' :
 1374:                             case '1' :
 1375:                             case '2' :
 1376:                             case '3' :
 1377:                             case '4' :
 1378:                             case '5' :
 1379:                             case '6' :
 1380:                             case '7' :
 1381:                             case '8' :
 1382:                             case '9' :
 1383:                             {
 1384:                                 break;
 1385:                             }
 1386: 
 1387:                             default :
 1388:                             {
 1389:                                 erreur_analyse = d_ex_syntaxe;
 1390:                                 break;
 1391:                             }
 1392:                         }
 1393:                     }
 1394:                     else if (base_binaire != 'h')
 1395:                     {
 1396:                         erreur_analyse = d_ex_syntaxe;
 1397:                     }
 1398: 
 1399:                     pointeur_caractere_courant++;
 1400:                 }
 1401: 
 1402:                 if (erreur_analyse == d_ex)
 1403:                 {
 1404:                     pointeur_caractere_courant++;
 1405:                 }
 1406: 
 1407:                 drapeau_fin_objet = d_vrai;
 1408:                 break;
 1409:             }
 1410: 
 1411:             case '{' :
 1412:             {
 1413:                 if (pointeur_debut_instruction !=
 1414:                         (pointeur_caractere_courant - 1))
 1415:                 {
 1416:                     erreur_format = d_ex_syntaxe;
 1417:                 }
 1418: 
 1419:                 niveau = 1;
 1420:                 niveau_annexe = 0;
 1421: 
 1422:                 while((niveau != 0) && ((*pointeur_caractere_courant) !=
 1423:                         d_code_fin_chaine))
 1424:                 {
 1425:                     (*s_etat_processus).position_courante =
 1426:                             pointeur_caractere_courant
 1427:                             - (*s_etat_processus).definitions_chainees;
 1428: 
 1429:                     if (recherche_instruction_suivante(s_etat_processus)
 1430:                             == d_erreur)
 1431:                     {
 1432:                         if ((*s_etat_processus).instruction_courante
 1433:                                 != NULL)
 1434:                         {
 1435:                             free((*s_etat_processus).instruction_courante);
 1436:                         }
 1437: 
 1438:                         return(d_erreur);
 1439:                     }
 1440: 
 1441:                     pointeur_caractere_courant =
 1442:                             (*s_etat_processus).definitions_chainees +
 1443:                             (*s_etat_processus).position_courante;
 1444: 
 1445:                     if (strcmp((*s_etat_processus).instruction_courante, "{")
 1446:                             == 0)
 1447:                     {
 1448:                         if (niveau_annexe == 0)
 1449:                         {
 1450:                             niveau++;
 1451:                         }
 1452:                         else
 1453:                         {
 1454:                             erreur_analyse = d_ex_syntaxe;
 1455:                         }
 1456:                     }
 1457:                     else if (strcmp((*s_etat_processus).instruction_courante,
 1458:                             "}") == 0)
 1459:                     {
 1460:                         if (niveau_annexe == 0)
 1461:                         {
 1462:                             niveau--;
 1463:                         }
 1464:                         else
 1465:                         {
 1466:                             erreur_analyse = d_ex_syntaxe;
 1467:                         }
 1468:                     }
 1469:                     else if (strcmp((*s_etat_processus).instruction_courante,
 1470:                             "<[") == 0)
 1471:                     {
 1472:                         niveau++;
 1473:                     }
 1474:                     else if (strcmp((*s_etat_processus).instruction_courante,
 1475:                             "]>") == 0)
 1476:                     {
 1477:                         niveau--;
 1478:                     }
 1479:                     else if (strcmp((*s_etat_processus).instruction_courante,
 1480:                             "[") == 0)
 1481:                     {
 1482:                         niveau_annexe++;
 1483: 
 1484:                         if (niveau_annexe > 2)
 1485:                         {
 1486:                             erreur_analyse = d_ex_syntaxe;
 1487:                         }
 1488:                     }
 1489:                     else if (strcmp((*s_etat_processus).instruction_courante,
 1490:                             "[[") == 0)
 1491:                     {
 1492:                         niveau_annexe += 2;
 1493: 
 1494:                         if (niveau_annexe > 2)
 1495:                         {
 1496:                             erreur_analyse = d_ex_syntaxe;
 1497:                         }
 1498:                     }
 1499:                     else if (strcmp((*s_etat_processus).instruction_courante,
 1500:                             "]") == 0)
 1501:                     {
 1502:                         niveau_annexe--;
 1503: 
 1504:                         if (niveau_annexe < 0)
 1505:                         {
 1506:                             erreur_analyse = d_ex_syntaxe;
 1507:                         }
 1508:                     }
 1509:                     else if (strcmp((*s_etat_processus).instruction_courante,
 1510:                             "]]") == 0)
 1511:                     {
 1512:                         niveau_annexe -= 2;
 1513: 
 1514:                         if (niveau_annexe < 0)
 1515:                         {
 1516:                             erreur_analyse = d_ex_syntaxe;
 1517:                         }
 1518:                     }
 1519:                     else if ((*s_etat_processus).instruction_courante[0] == '"')
 1520:                     {
 1521:                         if (niveau_annexe != 0)
 1522:                         {
 1523:                             erreur_analyse = d_ex_syntaxe;
 1524:                         }
 1525:                     }
 1526: 
 1527:                     free((*s_etat_processus).instruction_courante);
 1528:                 }
 1529: 
 1530:                 if ((niveau != 0) || (niveau_annexe != 0))
 1531:                 {
 1532:                     erreur_analyse = d_ex_syntaxe;
 1533:                 }
 1534: 
 1535:                 drapeau_fin_objet = d_vrai;
 1536:                 break;
 1537:             }
 1538: 
 1539:             case '[' :
 1540:             {
 1541:                 if (pointeur_debut_instruction !=
 1542:                         (pointeur_caractere_courant - 1))
 1543:                 {
 1544:                     erreur_format = d_ex_syntaxe;
 1545:                 }
 1546: 
 1547:                 niveau = 1;
 1548: 
 1549:                 while((niveau > 0) && ((*pointeur_caractere_courant) !=
 1550:                         d_code_fin_chaine) && (erreur_analyse == d_ex))
 1551:                 {
 1552:                     switch(*pointeur_caractere_courant)
 1553:                     {
 1554:                         case '[' :
 1555:                         {
 1556:                             niveau++;
 1557:                             break;
 1558:                         }
 1559: 
 1560:                         case ']' :
 1561:                         {
 1562:                             niveau--;
 1563:                             break;
 1564:                         }
 1565: 
 1566:                         case '0' :
 1567:                         case '1' :
 1568:                         case '2' :
 1569:                         case '3' :
 1570:                         case '4' :
 1571:                         case '5' :
 1572:                         case '6' :
 1573:                         case '7' :
 1574:                         case '8' :
 1575:                         case '9' :
 1576:                         case '+' :
 1577:                         case '-' :
 1578:                         case 'e' :
 1579:                         case 'E' :
 1580:                         case '.' :
 1581:                         case ',' :
 1582:                         case '(' :
 1583:                         case ')' :
 1584:                         case ' ' :
 1585:                         {
 1586:                             break;
 1587:                         }
 1588: 
 1589:                         default :
 1590:                         {
 1591:                             erreur_analyse = d_ex_syntaxe;
 1592:                             break;
 1593:                         }
 1594:                     }
 1595: 
 1596:                     if (niveau < 0)
 1597:                     {
 1598:                         erreur_analyse = d_ex_syntaxe;
 1599:                     }
 1600:                     else if (niveau > 2)
 1601:                     {
 1602:                         erreur_format = d_ex_syntaxe;
 1603:                     }
 1604: 
 1605:                     pointeur_caractere_courant++;
 1606:                 }
 1607: 
 1608:                 if (niveau != 0)
 1609:                 {
 1610:                     erreur_analyse = d_ex_syntaxe;
 1611:                 }
 1612: 
 1613:                 drapeau_fin_objet = d_vrai;
 1614:                 break;
 1615:             }
 1616: 
 1617:             case '<' :
 1618:             {
 1619:                 if (((*s_etat_processus).autorisation_empilement_programme
 1620:                         == 'Y') && ((*pointeur_caractere_courant) == '<'))
 1621:                 { // Cas << >>
 1622:                     if (pointeur_debut_instruction !=
 1623:                             (pointeur_caractere_courant - 1))
 1624:                     {
 1625:                         erreur_format = d_ex_syntaxe;
 1626:                     }
 1627: 
 1628:                     niveau = 1;
 1629: 
 1630:                     while((niveau != 0) && ((*pointeur_caractere_courant) !=
 1631:                             d_code_fin_chaine))
 1632:                     {
 1633:                         (*s_etat_processus).position_courante =
 1634:                                 pointeur_caractere_courant
 1635:                                 - (*s_etat_processus).definitions_chainees;
 1636: 
 1637:                         if (recherche_instruction_suivante(s_etat_processus)
 1638:                                 == d_erreur)
 1639:                         {
 1640:                             if ((*s_etat_processus).instruction_courante
 1641:                                     != NULL)
 1642:                             {
 1643:                                 free((*s_etat_processus).instruction_courante);
 1644:                             }
 1645: 
 1646:                             return(d_erreur);
 1647:                         }
 1648: 
 1649:                         pointeur_caractere_courant =
 1650:                                 (*s_etat_processus).definitions_chainees +
 1651:                                 (*s_etat_processus).position_courante;
 1652: 
 1653:                         if (strcmp((*s_etat_processus).instruction_courante,
 1654:                                 "<<") == 0)
 1655:                         {
 1656:                             niveau++;
 1657:                         }
 1658:                         else if (strcmp((*s_etat_processus)
 1659:                                 .instruction_courante, ">>") == 0)
 1660:                         {
 1661:                             niveau--;
 1662:                         }
 1663: 
 1664:                         free((*s_etat_processus).instruction_courante);
 1665:                     }
 1666: 
 1667:                     if (niveau != 0)
 1668:                     {
 1669:                         erreur_analyse = d_ex_syntaxe;
 1670:                     }
 1671: 
 1672:                     drapeau_fin_objet = d_vrai;
 1673:                 }
 1674:                 else if ((*pointeur_caractere_courant) == '[')
 1675:                 { // Cas <[ ]>
 1676:                     if (pointeur_debut_instruction !=
 1677:                             (pointeur_caractere_courant - 1))
 1678:                     {
 1679:                         erreur_format = d_ex_syntaxe;
 1680:                     }
 1681: 
 1682:                     pointeur_caractere_courant++;
 1683:                     drapeau_fin_objet = d_faux;
 1684: 
 1685:                     while(((*pointeur_caractere_courant) != d_code_fin_chaine)
 1686:                             && (erreur_format == d_absence_erreur))
 1687:                     {
 1688:                         while((*pointeur_caractere_courant) == d_code_espace)
 1689:                         {
 1690:                             pointeur_caractere_courant++;
 1691:                         }
 1692: 
 1693:                         if ((*pointeur_caractere_courant) == ']')
 1694:                         {
 1695:                             if ((*(++pointeur_caractere_courant)) == '>')
 1696:                             {
 1697:                                 drapeau_fin_objet = d_vrai;
 1698:                             }
 1699:                             else
 1700:                             {
 1701:                                 erreur_analyse = d_ex_syntaxe;
 1702:                             }
 1703: 
 1704:                             pointeur_caractere_courant++;
 1705:                             break;
 1706:                         }
 1707: 
 1708:                         if ((erreur_format == d_absence_erreur) &&
 1709:                                 (drapeau_fin_objet == d_faux))
 1710:                         {
 1711:                             (*s_etat_processus).position_courante =
 1712:                                     pointeur_caractere_courant
 1713:                                     - (*s_etat_processus).definitions_chainees;
 1714: 
 1715:                             if ((erreur = recherche_instruction_suivante(
 1716:                                     s_etat_processus)) != d_absence_erreur)
 1717:                             {
 1718:                                 if ((*s_etat_processus).instruction_courante
 1719:                                         != NULL)
 1720:                                 {
 1721:                                     free((*s_etat_processus)
 1722:                                             .instruction_courante);
 1723:                                 }
 1724: 
 1725:                                 return(d_erreur);
 1726:                             }
 1727: 
 1728:                             pointeur_caractere_courant = (*s_etat_processus)
 1729:                                     .definitions_chainees + (*s_etat_processus)
 1730:                                     .position_courante;
 1731: 
 1732:                             free((*s_etat_processus).instruction_courante);
 1733:                         }
 1734:                     }
 1735: 
 1736:                     if (drapeau_fin_objet == d_faux)
 1737:                     {
 1738:                         erreur_analyse = d_ex_syntaxe;
 1739:                         drapeau_fin_objet = d_vrai;
 1740:                     }
 1741:                 }
 1742: 
 1743:                 break;
 1744:             }
 1745:         }
 1746:     }
 1747: 
 1748:     pointeur_fin_instruction = pointeur_caractere_courant;
 1749: 
 1750:     (*s_etat_processus).instruction_courante = (unsigned char *)
 1751:                 malloc((((size_t) (pointeur_fin_instruction
 1752:                 - pointeur_debut_instruction)) + 1) * sizeof(unsigned char));
 1753: 
 1754:     if ((*s_etat_processus).instruction_courante == NULL)
 1755:     {
 1756:         erreur = d_erreur;
 1757:         (*s_etat_processus).erreur_systeme = d_es_allocation_memoire;
 1758:     }
 1759:     else if (pointeur_fin_instruction != pointeur_debut_instruction)
 1760:     {
 1761:         pointeur_caractere_courant = pointeur_debut_instruction;
 1762:         pointeur_caractere_destination =
 1763:                 (*s_etat_processus).instruction_courante;
 1764: 
 1765:         do
 1766:         {
 1767:             *pointeur_caractere_destination++ = *pointeur_caractere_courant++;
 1768:         } while(pointeur_caractere_courant < pointeur_fin_instruction);
 1769: 
 1770:         (*pointeur_caractere_destination) = d_code_fin_chaine;
 1771: 
 1772:         erreur = ((erreur_analyse == d_ex) && (erreur_format == d_ex))
 1773:                 ? d_absence_erreur : d_erreur;
 1774:         (*s_etat_processus).erreur_execution = erreur_analyse;
 1775:     }
 1776:     else
 1777:     {
 1778:         (*(*s_etat_processus).instruction_courante) = d_code_fin_chaine;
 1779:     }
 1780: 
 1781:     (*s_etat_processus).position_courante = pointeur_fin_instruction
 1782:             - (*s_etat_processus).definitions_chainees;
 1783: 
 1784:     return(erreur);
 1785: }
 1786: 
 1787: 
 1788: /*
 1789: ================================================================================
 1790:   Routine mettant la chaine d'entrée en majuscule
 1791: ================================================================================
 1792:   Entrée : pointeur sur une chaine en minuscules.
 1793: --------------------------------------------------------------------------------
 1794:   Sortie : pointeur sur la chaine en majuscules. Si le pointeur retourné
 1795:     est nul, il s'est produit une erreur. L'allocation est faite dans la
 1796:     routine.
 1797: --------------------------------------------------------------------------------
 1798:   Effets de bord : néant.
 1799: ================================================================================
 1800: */
 1801: 
 1802: unsigned char *
 1803: conversion_majuscule(unsigned char *chaine)
 1804: {
 1805:     register unsigned char      *caractere_courant;
 1806:     register unsigned char      *caractere_courant_converti;
 1807:     register unsigned char      *chaine_convertie;
 1808: 
 1809:     unsigned long               longueur_chaine_plus_terminaison;
 1810: 
 1811:     longueur_chaine_plus_terminaison = 0;
 1812:     caractere_courant = chaine;
 1813: 
 1814:     while((*caractere_courant) != d_code_fin_chaine)
 1815:     {
 1816:         caractere_courant++;
 1817:         longueur_chaine_plus_terminaison++;
 1818:     }
 1819: 
 1820:     caractere_courant = chaine;
 1821:     caractere_courant_converti = chaine_convertie = (unsigned char *) malloc(
 1822:             (longueur_chaine_plus_terminaison + 1) * sizeof(unsigned char));
 1823: 
 1824:     if (chaine_convertie != NULL)
 1825:     {
 1826:         while((*caractere_courant) != d_code_fin_chaine)
 1827:         {
 1828:             if (isalpha((*caractere_courant)))
 1829:             {
 1830:                 (*caractere_courant_converti) = (unsigned char)
 1831:                         toupper((*caractere_courant));
 1832:             }
 1833:             else
 1834:             {
 1835:                 (*caractere_courant_converti) = (*caractere_courant);
 1836:             }
 1837: 
 1838:             caractere_courant++;
 1839:             caractere_courant_converti++;
 1840:         }
 1841: 
 1842:         (*caractere_courant_converti) = d_code_fin_chaine;
 1843:     }
 1844: 
 1845:     return(chaine_convertie);
 1846: }
 1847: 
 1848: void
 1849: conversion_majuscule_limitee(unsigned char *chaine_entree,
 1850:         unsigned char *chaine_sortie, integer8 longueur)
 1851: {
 1852:     integer8            i;
 1853: 
 1854:     for(i = 0; i < longueur; i++)
 1855:     {
 1856:         if (isalpha((*chaine_entree)))
 1857:         {
 1858:             (*chaine_sortie) = (unsigned char) toupper((*chaine_entree));
 1859:         }
 1860:         else
 1861:         {
 1862:             (*chaine_sortie) = (*chaine_entree);
 1863:         }
 1864: 
 1865:         if ((*chaine_entree) == d_code_fin_chaine)
 1866:         {
 1867:             break;
 1868:         }
 1869: 
 1870:         chaine_entree++;
 1871:         chaine_sortie++;
 1872:     }
 1873: 
 1874:     return;
 1875: }
 1876: 
 1877: 
 1878: /*
 1879: ================================================================================
 1880:   Initialisation de l'état du calculateur
 1881:     Configuration par défaut d'un calculateur HP-28S
 1882: ================================================================================
 1883:   Entrée : pointeur sur la structure struct_processus
 1884: --------------------------------------------------------------------------------
 1885:   Sortie : néant
 1886: --------------------------------------------------------------------------------
 1887:   Effets de bord : néant
 1888: ================================================================================
 1889: */
 1890: 
 1891: void
 1892: initialisation_drapeaux(struct_processus *s_etat_processus)
 1893: {
 1894:     unsigned long                   i;
 1895: 
 1896:     for(i = 0; i < 31; cf(s_etat_processus, (unsigned char) i++));
 1897: 
 1898:     if ((*s_etat_processus).lancement_interactif == d_vrai)
 1899:     {
 1900:         sf(s_etat_processus, 31);
 1901:                                 /* LAST autorisé                            */
 1902:     }
 1903:     else
 1904:     {
 1905:         cf(s_etat_processus, 31);
 1906:                                 /* LAST invalidé                            */
 1907:     }
 1908: 
 1909:     cf(s_etat_processus, 32);   /* Impression automatique                   */
 1910:     cf(s_etat_processus, 33);   /* CR automatique (disp)                    */
 1911:     sf(s_etat_processus, 34);   /* Évaluation des caractères de contrôle    */
 1912:     sf(s_etat_processus, 35);   /* Évaluation symbolique des constantes     */
 1913:     sf(s_etat_processus, 36);   /* Évaluation symbolique des fonctions      */
 1914:     sf(s_etat_processus, 37);   /* Taille de mot pour les entiers binaires  */
 1915:     sf(s_etat_processus, 38);   /* Taille de mot pour les entiers binaires  */
 1916:     sf(s_etat_processus, 39);   /* Taille de mot pour les entiers binaires  */
 1917:     sf(s_etat_processus, 40);   /* Taille de mot pour les entiers binaires  */
 1918:     sf(s_etat_processus, 41);   /* Taille de mot pour les entiers binaires  */
 1919:     sf(s_etat_processus, 42);   /* Taille de mot pour les entiers binaires  */
 1920: /*
 1921: 37 : bit de poids faible
 1922: 42 : bit de poids fort
 1923: Les six drapeaux peuvent être nuls. Dans ce cas, la longueur des mots
 1924: binaires reste de un bit.
 1925: */
 1926:     cf(s_etat_processus, 43);   /* Base de numération binaire               */
 1927:     cf(s_etat_processus, 44);   /* Base de numération binaire               */
 1928: /*
 1929: 43 44 = 00 => décimal
 1930: 43 44 = 01 => binaire
 1931: 43 44 = 10 => octal
 1932: 43 44 = 11 => hexadécimal
 1933: */
 1934:     sf(s_etat_processus, 45);   /* Affichage multiligne du niveau 1         */
 1935:     cf(s_etat_processus, 46);   /* Réservé                                  */
 1936:     cf(s_etat_processus, 47);   /* Réservé                                  */
 1937: /*
 1938: 46 et 47 réservés sur le calculateur HP28S
 1939: 46 47 = 00 => système rectangulaire
 1940: 46 47 = 01 => système cylindrique
 1941: 46 47 = 10 => système sphérique
 1942: */
 1943:     cf(s_etat_processus, 48);   /* Séparateur décimal                       */
 1944:     cf(s_etat_processus, 49);   /* Format des nombres réels                 */
 1945:     cf(s_etat_processus, 50);   /* Format des nombres réels                 */
 1946: /*
 1947: 49 50 = 00 => standard
 1948: 49 50 = 01 => scientifique
 1949: 49 50 = 10 => virgule fixe
 1950: 49 50 = 11 => ingénieur
 1951: */
 1952:     cf(s_etat_processus, 51);   /* Tonalité                                 */
 1953:     cf(s_etat_processus, 52);   /* REDRAW automatique                       */
 1954:     cf(s_etat_processus, 53);   /* Nombre de chiffres décimaux              */
 1955:     cf(s_etat_processus, 54);   /* Nombre de chiffres décimaux              */
 1956:     cf(s_etat_processus, 55);   /* Nombre de chiffres décimaux              */
 1957:     cf(s_etat_processus, 56);   /* Nombre de chiffres décimaux              */
 1958: /*
 1959: 53 : bit de poids faible
 1960: 56 : bit de poids fort
 1961: */
 1962:     cf(s_etat_processus, 57);   /* Underflow traité normalement             */
 1963:     cf(s_etat_processus, 58);   /* Overflow traité normalement              */
 1964:     sf(s_etat_processus, 59);   /* Infinite result traité normalement       */
 1965:     sf(s_etat_processus, 60);   /* Angles                                   */
 1966: /*
 1967: 60 = 0 => degrés
 1968: 60 = 1 => radians
 1969: */
 1970:     cf(s_etat_processus, 61);   /* Underflow- traité en exception           */
 1971:     cf(s_etat_processus, 62);   /* Underflow+ traité en exception           */
 1972:     cf(s_etat_processus, 63);   /* Overflow traité en exception             */
 1973:     cf(s_etat_processus, 64);   /* Infinite result traité en exception      */
 1974: }
 1975: 
 1976: // vim: ts=4

CVSweb interface <joel.bertrand@systella.fr>