1 /*------------------------------------------------------------\ 2 | | 3 | This file is part of the Alliance CAD System Copyright | 4 | (C) Laboratoire LIP6 - D�partement ASIM Universite P&M Curie| 5 | | 6 | Home page : http://www-asim.lip6.fr/alliance/ | 7 | E-mail : mailto:alliance-users@asim.lip6.fr | 8 | | 9 | This progam is free software; you can redistribute it | 10 | and/or modify it under the terms of the GNU General Public | 11 | License as published by the Free Software Foundation; | 12 | either version 2 of the License, or (at your option) any | 13 | later version. | 14 | | 15 | Alliance VLSI CAD System is distributed in the hope that | 16 | it will be useful, but WITHOUT ANY WARRANTY; | 17 | without even the implied warranty of MERCHANTABILITY or | 18 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General | 19 | Public License for more details. | 20 | | 21 | You should have received a copy of the GNU General Public | 22 | License along with the GNU C Library; see the file COPYING. | 23 | If not, write to the Free Software Foundation, Inc., | 24 | 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. | 25 | | 26 \------------------------------------------------------------*/ 27 28 /*------------------------------------------------------------\ 29 | | 30 | Tool : VASY | 31 | | 32 | File : vasy_error.h | 33 | | 34 | Authors : Jacomme Ludovic | 35 | | 36 | Date : 25.08.97 | 37 | | 38 \------------------------------------------------------------*/ 39 40 /*------------------------------------------------------------\ 41 | | 42 | Constants | 43 | | 44 \------------------------------------------------------------*/ 45 46 # ifndef VASY_ERROR_H 47 # define VASY_ERROR_H 48 49 /*------------------------------------------------------------\ 50 | | 51 | Errors | 52 | | 53 \------------------------------------------------------------*/ 54 55 # define VASY_ILLEGAL_ASSIGN_ERROR 0 56 # define VASY_NO_WAIT_IN_PROCESS_ERROR 1 57 # define VASY_NOT_YET_IMPLEMENTED_ERROR 2 58 # define VASY_LOOP_IN_SIMULATION 3 59 # define VASY_ERROR_IN_SIMULATION 4 60 # define VASY_ERROR_IN_SUPPORT 5 61 # define VASY_ERROR_IN_VEX2BDD 6 62 # define VASY_ERROR_IN_ABL2VEX 7 63 # define VASY_ERROR_IN_DRVVEX 8 64 # define VASY_ERROR_OPERATOR_NOT_SUPPORTED 9 65 # define VASY_ERROR_IN_UNROLL_LOOP 10 66 # define VASY_LOOP_IN_REDUCTION 11 67 # define VASY_ERROR_ILLEGAL_USE_OF 12 68 # define VASY_ERROR_CONVERT_WRONG_TYPE 13 69 70 # define VASY_WARNING_IN_SIMULATION 1 71 72 /*------------------------------------------------------------\ 73 | | 74 | Warnings | 75 | | 76 \------------------------------------------------------------*/ 77 /*------------------------------------------------------------\ 78 | | 79 | Macro | 80 | | 81 \------------------------------------------------------------*/ 82 83 # define VasyError( E, T ) \ 84 \ 85 VasyDisplayError( basename(__FILE__), __LINE__, (E), (vpnline_list *)0, (T) ) 86 87 # define VasyWarning( W, T ) \ 88 \ 89 VasyDisplayWarning( basename(__FILE__), __LINE__, (W), (vpnline_list *)0, (T) ) 90 91 # define VasyErrorLine( E, L, T ) \ 92 \ 93 VasyDisplayError( basename(__FILE__), __LINE__, (E), (vpnline_list *)(L), (T) ) 94 95 # define VasyWarningLine( W, L, T ) \ 96 \ 97 VasyDisplayWarning( basename(__FILE__), __LINE__, (W), (vpnline_list *)(L), (T) ) 98 99 /*------------------------------------------------------------\ 100 | | 101 | Types | 102 | | 103 \------------------------------------------------------------*/ 104 /*------------------------------------------------------------\ 105 | | 106 | Variables | 107 | | 108 \------------------------------------------------------------*/ 109 /*------------------------------------------------------------\ 110 | | 111 | Functions | 112 | | 113 \------------------------------------------------------------*/ 114 115 extern void VasyDisplayError(); 116 extern void VasyDisplayWarning(); 117 extern void VasyDisplayLines(); 118 119 # endif 120