/*------------------------------------------------------------\
|                                                             |
| tool    :                     fmi                           |
|                                                             |
| file    :                  fmi_parse.c                      |
|                                                             |
| authors :                jacomme ludovic                    |
|                                                             |
| date    :                   04.12.96                        |
|                                                             |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
|                                                             |
|                         include files                       |
|                                                             |
\------------------------------------------------------------*/

# include <stdio.h>
# include <stdlib.h>
# include <string.h>
# include <ctype.h>

# include "mut.h"
# include "aut.h"
# include "abl.h"
# include "bdd.h"
# include "fsm.h"
# include "ftl.h"

# include "fmi_parse.h"

/*------------------------------------------------------------\
|                                                             |
|                           constants                         |
|                                                             |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
|                                                             |
|                            types                            |
|                                                             |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
|                                                             |
|                          variables                          |
|                                                             |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
|                                                             |
|                      private variables                      |
|                                                             |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
|                                                             |
|                          functions                          |
|                                                             |
\------------------------------------------------------------*/
/*------------------------------------------------------------\
|                                                             |
|                        parse fsm file                       |
|                                                             |
\------------------------------------------------------------*/

fsmfig_list  *FmiParseFsm( FsmFilename )

  char *FsmFilename;
{
  fsmfig_list *FsmFigure;
  fsmstate_list  *ScanState;

  
  FsmFigure = getfsmfig( FsmFilename );

  if ( IsFsmFigMulti( FsmFigure ) )
  {
    fprintf( stderr, "Multi FSM not supported !\n" );
    autexit( 1 );
  }

 /* on detache l'état star */
  
  ScanState = FsmFigure->STAR_STATE;

  if ( ScanState != (fsmstate_list *)0 )
  {
    *ScanState->PREV = ScanState->NEXT;

    if ( ScanState->NEXT != (fsmstate_list *)0 )
    {
      ScanState->NEXT->PREV = ScanState->PREV;
    }

    FsmFigure->NUMBER_STATE--;
  }

  ScanState = FsmFigure->STATE;
  
  simpfsmablexpr( FsmFigure );

  return( FsmFigure );
}