/Users/trevorw/projects/release/covered-0.7.4/src/arc.h

Go to the documentation of this file.

#ifndef __ARC_H__
#define __ARC_H__

/*
 Copyright (c) 2006-2009 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_table* arc_create();

void arc_add(
  fsm_table*    table,
  const vector* fr_st,
  const vector* to_st,
  int           hit,
  bool          exclude
);

int arc_find_from_state(
            const fsm_table* table,
            const vector*    st
);

int arc_find_to_state(
            const fsm_table* table,
            const vector*    st
);

int arc_find_arc(
  const fsm_table* table,
  unsigned int     fr_index,
  unsigned int     to_index
);

int arc_find_arc_by_exclusion_id(
  const fsm_table* table,
  int              id
);

void arc_get_stats(
            const fsm_table* table,
  /*@out@*/ int*             state_hits,
  /*@out@*/ int*             state_total,
  /*@out@*/ int*             arc_hits,
  /*@out@*/ int*             arc_total,
  /*@out@*/ int*             arc_excluded
);

void arc_db_write(
  const fsm_table* table,
  FILE*            file
);

void arc_db_read(
  fsm_table** table,
  char**      line
);

void arc_db_merge(
  fsm_table* table,
  char**     line
);

void arc_merge(
  fsm_table*       base,
  const fsm_table* other
);

void arc_get_states(
  char***          fr_states,
  unsigned int*    fr_state_size,
  char***          to_states,
  unsigned int*    to_state_size,
  const fsm_table* table,
  bool             hit,
  bool             any
);

void arc_get_transitions(
  /*@out@*/ char***          from_states,
  /*@out@*/ char***          to_states,
  /*@out@*/ int**            ids,
  /*@out@*/ int**            excludes,
  /*@out@*/ char***          reasons,
  /*@out@*/ int*             arc_size,
            const fsm_table* table,
            func_unit*       funit,
            bool             hit,
            bool             any
);

bool arc_are_any_excluded(
  const fsm_table* table
);

void arc_dealloc(
  /*@only@*/ fsm_table* table
);

#endif

---