exclude.h

Go to the documentation of this file.

#ifndef __EXCLUDE_H__
#define __EXCLUDE_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 "defines.h"


bool exclude_is_line_excluded(
  func_unit* funit,
  int        line
);

void exclude_set_line_exclude(
            func_unit* funit,
            int        line,
            int        value,
            char*      reason,
  /*@out@*/ statistic* stat
);

bool exclude_is_toggle_excluded(
  func_unit* funit,
  char*      sig_name
);

void exclude_set_toggle_exclude(
            func_unit*  funit,
            const char* sig_name,
            int         value,
            char        type,
            char*       reason,
  /*@out@*/ statistic*  stat
);

bool exclude_is_comb_excluded(
  func_unit* funit,
  int        expr_id,
  int        uline_id
);

void exclude_set_comb_exclude(
            func_unit* funit,
            int        expr_id,
            int        uline_id,
            int        value,
            char*      reason,
  /*@out@*/ statistic* stat
);

bool exclude_is_fsm_excluded(
  func_unit* funit,
  int        expr_id,
  char*      from_state,
  char*      to_state
);

void exclude_set_fsm_exclude(
            func_unit* funit,
            int        expr_id,
            char*      from_state,
            char*      to_state,
            int        value,
            char*      reason,
  /*@out@*/ statistic* stat
);

bool exclude_is_assert_excluded(
  func_unit* funit,
  char*      inst_name,
  int        expr_id
);

void exclude_set_assert_exclude(
            func_unit* funit,
            char*      inst_name,
            int        expr_id,
            int        value,
            char*      reason,
  /*@out@*/ statistic* stat
);

exclude_reason* exclude_find_exclude_reason(
  char       type,
  int        id,
  func_unit* funit
);

char* exclude_format_reason(
  const char* old_str
);

void exclude_db_write(
  exclude_reason* er,
  FILE*           ofile
);

void exclude_db_read(
  char**     line,
  func_unit* curr_funit
);

void exclude_db_merge(
  func_unit* base,
  char**     line
);

void exclude_merge(
  func_unit*      base,
  exclude_reason* er
);

void command_exclude(
  int          argc,
  int          last_arg,
  const char** argv
);

#endif