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

Go to the documentation of this file.

#ifndef __DB_H__
#define __DB_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"


db* db_create();

void db_close();

bool db_check_for_top_module();

void db_write(
  const char* file,
  bool        parse_mode,
  bool        issue_ids,
  bool        report_save
);

void db_read(
  const char* file,
  int         read_mode
);

void db_merge_instance_trees();

uint64 db_scale_to_precision( uint64 value, func_unit* funit );

void db_set_timescale( int unit, int precision );

func_unit* db_get_curr_funit();

unsigned int db_get_exclusion_id_size();

char* db_gen_exclusion_id(
  char type,
  int  id
);

char* db_create_unnamed_scope();

bool db_is_unnamed_scope( char* scope );

void db_add_file_version(
  const char* file,
  const char* version
);

void db_output_dumpvars( FILE* vfile );

func_unit* db_add_instance( char* scope, char* name, int type, vector_width* range );

void db_add_module( char* name, char* file, int start_line );

bool db_add_function_task_namedblock( int type, char* name, char* file, int start_line );

void db_end_function_task_namedblock( int end_line );

void db_add_declared_param( bool is_signed, static_expr* msb, static_expr* lsb, char* name, expression* expr, bool local );

void db_add_override_param( char* inst_name, expression* expr, char* param_name );

void db_add_defparam( char* name, expression* expr );

void db_add_signal( char* name, int type, sig_range* prange, sig_range* urange, bool is_signed, bool mba, int line, int col, bool handled );

statement* db_add_fork_join( statement* stmt );

void db_add_enum( vsignal* enum_sig, static_expr* value );

void db_end_enum_list();

void db_add_typedef( const char* name, bool is_signed, bool is_handled, bool is_sizable, sig_range* prange, sig_range* urange );

void db_end_module( int end_line );

void db_end_function_task( int end_line );

vsignal* db_find_signal( char* name, bool okay_if_not_found );

void db_add_gen_item_block( gen_item* gi );

gen_item* db_find_gen_item( gen_item* root, gen_item* gi );

typedef_item* db_find_typedef( const char* name );

gen_item* db_get_curr_gen_block();

expression* db_create_expression( expression* right, expression* left, exp_op_type op, bool lhs, int line, int first, int last, char* sig_name );

void db_bind_expr_tree( expression* root, char* sig_name );

expression* db_create_expr_from_static( static_expr* se, int line, int first_col, int last_col );

void db_add_expression( expression* root );

expression* db_create_sensitivity_list( statement* stmt );

statement* db_parallelize_statement( statement* stmt );

statement* db_create_statement( expression* exp, unsigned int ppline );

void db_add_statement( statement* stmt, statement* start );

void db_remove_statement_from_current_funit( statement* stmt );

void db_remove_statement( statement* stmt );

void db_gen_item_connect_true( gen_item* gi1, gen_item* gi2 );

void db_gen_item_connect_false( gen_item* gi1, gen_item* gi2 );

void db_gen_item_connect( gen_item* gi1, gen_item* gi2 );

bool db_statement_connect( statement* curr_stmt, statement* next_stmt );

void db_connect_statement_true( statement* stmt, statement* exp_true );

void db_connect_statement_false( statement* stmt, statement* exp_false );

attr_param* db_create_attr_param( char* name, expression* expr );

void db_parse_attribute( attr_param* ap );

void db_remove_stmt_blks_calling_statement( statement* stmt );

void db_sync_curr_instance();

void db_set_vcd_scope( const char* scope );

void db_vcd_upscope();

void db_assign_symbol( const char* name, const char* symbol, int msb, int lsb );

void db_set_symbol_char( const char* sym, char value );

void db_set_symbol_string( const char* sym, const char* value );

bool db_do_timestep( uint64 time, bool final ); 

#endif

---