Prefix escaped identifiers in VCD and LXT(2) output with a back slash.
[iverilog.git] / vpi / vcd_priv.h
blob14a201cf87502fdf25c4e78ed4968d74e71ac3d1
1 #ifndef __vcd_priv_H
2 #define __vcd_priv_H
3 /*
4 * Copyright (c) 2003 Stephen Williams (steve@icarus.com)
6 * This source code is free software; you can redistribute it
7 * and/or modify it in source code form under the terms of the GNU
8 * General Public License as published by the Free Software
9 * Foundation; either version 2 of the License, or (at your option)
10 * any later version.
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with this program; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
21 #ifdef HAVE_CVS_IDENT
22 #ident "$Id: vcd_priv.h,v 1.2 2003/02/13 18:13:28 steve Exp $"
23 #endif
25 extern int is_escaped_id(const char *name);
27 struct vcd_names_s;
28 extern struct stringheap_s name_heap;
30 struct vcd_names_list_s {
31 struct vcd_names_s *vcd_names_list;
32 const char **vcd_names_sorted;
33 int listed_names, sorted_names;
36 extern void vcd_names_add(struct vcd_names_list_s*tab, const char *name);
38 extern const char *vcd_names_search(struct vcd_names_list_s*tab,
39 const char *key);
41 extern void vcd_names_sort(struct vcd_names_list_s*tab);
44 extern const char*find_nexus_ident(int nex);
45 extern void set_nexus_ident(int nex, const char *id);
47 #endif