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

Go to the documentation of this file.

#ifndef __FUNC_UNIT_H__
#define __FUNC_UNIT_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"


func_unit* funit_create();

func_unit* funit_get_curr_module( func_unit* funit );

const func_unit* funit_get_curr_module_safe( const func_unit* funit );

func_unit* funit_get_curr_function( func_unit* funit );

func_unit* funit_get_curr_task( func_unit* funit );

int funit_get_port_count( func_unit* funit );

mod_parm* funit_find_param( char* name, func_unit* funit );

vsignal* funit_find_signal( char* name, func_unit* funit );

void funit_remove_stmt_blks_calling_stmt( func_unit* funit, statement* stmt );

char* funit_gen_task_function_namedblock_name( char* orig_name, func_unit* parent );

void funit_size_elements( func_unit* funit, funit_inst* inst, bool gen_all, bool alloc_exprs );

void funit_db_write(
  func_unit*  funit,
  char*       scope,
  bool        name_diff,
  FILE*       file,
  funit_inst* inst,
  bool        report_save,
  bool        ids_issued
);

void funit_db_read(
            func_unit* funit,
  /*@out@*/ char*      scope,
  /*@out@*/ bool*      name_diff,
            char**     line
);

void funit_version_db_read(
  func_unit* funit,
  char**     line
);

void funit_merge(
  func_unit* base,
  func_unit* other
);

void funit_db_merge(
  func_unit* base,
  FILE*      file,
  bool       same
);

/*@shared@*/ char* funit_flatten_name( func_unit* funit );

func_unit* funit_find_by_id( int id );

bool funit_is_top_module( func_unit* funit );

bool funit_is_unnamed( func_unit* funit );

bool funit_is_unnamed_child_of( func_unit* parent, func_unit* child );

bool funit_is_child_of( func_unit* parent, func_unit* child );

void funit_display_signals( func_unit* funit );

void funit_display_expressions( func_unit* funit );

void funit_add_thread(
  func_unit* funit,
  thread*    thr
);

void funit_push_threads(
  func_unit*       funit,
  const statement* stmt,
  const sim_time*  time
);

void funit_delete_thread(
  func_unit* funit,
  thread*    thr
);

void funit_output_dumpvars(
  FILE*       vfile,
  func_unit*  funit,
  const char* scope
);

void funit_dealloc( func_unit* funit );

#endif

---