/usr/include/freehdl/vaul-pool.h is in libfreehdl0-dev 0.0.8-2.2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 | /* a pool of design units
Copyright (C) 1994-1997 University of Dortmund
Department of Electrical Engineering, AG SIV
VAUL is free software; you can redistribute it and/or modify it
under the terms of the GNU Library General Public License as
published by the Free Software Foundation; either version 2 of the
License, or (at your option) any later version.
VAUL 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 Library General
Public License for more details.
You should have received a copy of the GNU Library General Public
License along with VAUL; see the file COPYING.LIB. If not, write
to the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
Boston, MA 02111-1307 USA.
*/
#ifndef FREEHDL_VAUL_POOL_H
#define FREEHDL_VAUL_POOL_H
#include <freehdl/vaul-errors.h>
#include <freehdl/vaul-dunit.h>
struct vaul_pool {
vaul_pool ();
virtual ~vaul_pool ();
virtual vaul_design_unit *get (char *library, char *name);
vaul_design_unit *get_package_body (char *library, char *package_name);
vaul_design_unit *get_architecture (char *library,
char *entity_name, char *arch_name);
virtual char *package_body_name (char *package_name);
virtual char *architecture_name (char *entity_name, char *arch_name);
virtual void insert (vaul_design_unit *du);
virtual void clear ();
virtual void flush ();
void begin_session (char *work_library);
char *get_work_library ();
void end_session ();
private:
struct entry {
entry *link;
vaul_design_unit *du;
};
entry *contents;
struct session {
session *prev;
char *work_library;
};
session *cur_ses;
};
#endif
|