00001 /* 00002 * plint/share.h : plint share 00003 * 00004 * Time-stamp: <2002-09-16 02:50:00 gseba> 00005 * 00006 * Copyright (C) Sebastian Glita, email: gseba@users.sourceforge.net 00007 * 00008 * This file is part of plint. 00009 * 00010 * plint is free software; you can redistribute it and/or modify it under the 00011 * terms of the GNU General Public License as published by the Free Software 00012 * Foundation; either version 2, or (at your option) any later version. 00013 * 00014 * plint is distributed in the hope that it will be useful, but WITHOUT 00015 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or 00016 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for 00017 * more details. 00018 * 00019 * You should have received a copy of the GNU General Public License along 00020 * with plint; see the file COPYING. If not, write to the Free Software 00021 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA USA. 00022 * 00023 */ 00024 00025 #ifndef PLINT_SHARE_H 00026 #define PLINT_SHARE_H 00027 00028 #include "data.h" 00029 #include "prog.h" 00030 #include "parse.h" 00031 #include "misc.h" 00032 00033 00034 __BEGIN_DECLS 00035 00036 void plint_share_init(); 00037 void plint_share_finish(); 00038 00039 __END_DECLS 00040 00041 00042 #endif