ovl.h

Go to the documentation of this file.

#ifndef __OVL_H__
#define __OVL_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 ovl_is_assertion_module( const func_unit* funit );

bool ovl_is_coverage_point( const expression* exp );

void ovl_add_assertions_to_no_score_list( bool rm_tasks );

void ovl_get_funit_stats(
            const func_unit* funit,
  /*@out@*/ unsigned int*    hit,
  /*@out@*/ unsigned int*    excludes,
  /*@out@*/ unsigned int*    total
);

void ovl_display_verbose(
  FILE*            ofile,
  const func_unit* funit,
  rpt_type         rtype
);

void ovl_collect(
                 func_unit*    funit,
                 int           cov,
  /*@null out@*/ char***       inst_names,
  /*@out@*/      int**         excludes,
  /*@out@*/      unsigned int* inst_size
);

void ovl_get_coverage(
            const func_unit* funit,
            const char*      inst_name,
  /*@out@*/ char**           assert_mod,
  /*@out@*/ str_link**       cp_head,
  /*@out@*/ str_link**       cp_tail
);

#endif