fsm.h

Go to the documentation of this file.

#ifndef __FSM_H__
#define __FSM_H__

/*
 Copyright (c) 2006-2010 Trevor Williams

 This program is free software; you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by the Free Software
 Foundation; either version 2 of the License, or (at your option) any later version.

 This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
 without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
 See the GNU General Public License for more details.

 You should have received a copy of the GNU General Public License along with this program;
 if not, write to the Free Software Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
*/

#include <stdio.h>

#include "defines.h"

fsm* fsm_create(
  expression* from_state,
  expression* to_state,
  int         line,
  bool        exclude
);

void fsm_add_arc(
  fsm*        table,
  expression* from_state,
  expression* to_state
);

void fsm_create_tables(
  fsm* table
);

void fsm_db_write(
  fsm*  table,
  FILE* file,
  bool  ids_issued
);

void fsm_db_read(
             char**     line,
  /*@null@*/ func_unit* funit
);

void fsm_db_merge(
  fsm*   base,
  char** line
);

void fsm_merge(
  fsm* base,
  fsm* other
);

void fsm_table_set(
  expression*     expr,
  const sim_time* time
);

void fsm_get_stats(
            fsm_link* table,
  /*@out@*/ int*      state_hit,
  /*@out@*/ int*      state_total,
  /*@out@*/ int*      arc_hit,
  /*@out@*/ int*      arc_total,
  /*@out@*/ int*      arc_excluded
);

void fsm_get_funit_summary(
            func_unit* funit,
  /*@out@*/ int*       hit,
  /*@out@*/ int*       excluded,
  /*@out@*/ int*       total
);

void fsm_get_inst_summary(
            funit_inst* inst,
  /*@out@*/ int*        hit,
  /*@out@*/ int*        excluded,
  /*@out@*/ int*        total
);

void fsm_collect(
            func_unit* funit,
            int        cov,
  /*@out@*/ sig_link** sig_head,
  /*@out@*/ sig_link** sig_tail,
  /*@out@*/ int**      expr_ids,
  /*@out@*/ int**      excludes
);

void fsm_get_coverage(
            func_unit*    funit,
            int           expr_id,
  /*@out@*/ char***       total_fr_states,
  /*@out@*/ unsigned int* total_fr_state_num,
  /*@out@*/ char***       total_to_states,
  /*@out@*/ unsigned int* total_to_state_num,
  /*@out@*/ char***       hit_fr_states,
  /*@out@*/ unsigned int* hit_fr_state_num,
  /*@out@*/ char***       hit_to_states,
  /*@out@*/ unsigned int* hit_to_state_num,
  /*@out@*/ char***       total_from_arcs,
  /*@out@*/ char***       total_to_arcs,
  /*@out@*/ int**         total_ids,
  /*@out@*/ int**         excludes,
  /*@out@*/ char***       reasons,
  /*@out@*/ int*          total_arc_num,
  /*@out@*/ char***       hit_from_arcs,
  /*@out@*/ char***       hit_to_arcs,
  /*@out@*/ int*          hit_arc_num,
  /*@out@*/ char***       input_state,
  /*@out@*/ unsigned int* input_size,
  /*@out@*/ char***       output_state,
  /*@out@*/ unsigned int* output_size
);

void fsm_report(
  FILE* ofile,
  bool  verbose
);

void fsm_dealloc(
  fsm* table
);

#endif