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

Go to the documentation of this file.

#ifndef __STMT_BLK_H__
#define __STMT_BLK_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 "defines.h"


void stmt_blk_add_to_remove_list( statement* stmt );

void stmt_blk_remove();

void stmt_blk_specify_removal_reason(
  logic_rm_type type,   
  const char*   file,   
  int           line,   
  const char*   cfile,  
  int           cline   
);

#endif

---