/*------------------------------------------------------------\ | | | This file is part of the Alliance CAD System Copyright | | (C) Laboratoire LIP6 - Département ASIM Universite P&M Curie| | | | Home page : http://www-asim.lip6.fr/alliance/ | | E-mail : mailto:alliance-users@asim.lip6.fr | | | | This progam 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. | | | | Alliance VLSI CAD System 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 the GNU C Library; see the file COPYING. | | If not, write to the Free Software Foundation, Inc., | | 675 Mass Ave, Cambridge, MA 02139, USA. | | | \------------------------------------------------------------*/ /* ###--------------------------------------------------------------### */ /* */ /* file : beh_error.c */ /* date : Jun 13 1994 */ /* version : v107 */ /* authors : Pirouz BAZARGAN SABET */ /* content : low-level function */ /* */ /* ###--------------------------------------------------------------### */ #include /* ###--------------------------------------------------------------### */ /* function : beh_error */ /* description : print an errorr message */ /* called func. : none */ /* ###--------------------------------------------------------------### */ int beh_error (code, str1) int code; char *str1; { (void) fprintf (stderr, "BEH : Error %d :", code); switch (code) { case 1: (void) fprintf (stderr, "combinatory loop: `%s`\n", str1); break; case 2: (void) fprintf (stderr, "cannot make bdd of empty expression\n"); break; case 3: (void) fprintf (stderr, "cannot find terminal `%s`\n", str1); break; case 4: (void) fprintf (stderr, "illegal use of STABLE attribute\n"); break; case 5: (void) fprintf (stderr, "cannot simplify internal signals\n"); break; case 40: (void) fprintf (stderr,"signal `%s` never assigned\n",str1); break; case 68: (void) fprintf (stderr,"port `%s` has unknwon type\n", str1); break; case 69: (void) fprintf (stderr,"port `%s` has unknwon mode\n", str1); break; case 100: (void) fprintf (stderr,"cannot find `%s`\n",str1); break; case 107: (void) fprintf (stderr,"cannot open result file\n"); break; default: (void) fprintf (stderr, "syntax error\n"); break; } return (1); }