typeutl.h

/********************************************************************/
/*                                                                  */
/*  s7   Seed7 interpreter                                          */
/*  Copyright (C) 1990 - 2005  Thomas Mertes                        */
/*                                                                  */
/*  This program is free software; you can redistribute it and/or   */
/*  modify it under the terms of the GNU General Public License as  */
/*  published by the Free Software Foundation; either version 2 of  */
/*  the License, or (at your option) any later version.             */
/*                                                                  */
/*  This program 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 this program; if not, write to the           */
/*  Free Software Foundation, Inc., 51 Franklin Street,             */
/*  Fifth Floor, Boston, MA  02110-1301, USA.                       */
/*                                                                  */
/*  Module: General                                                 */
/*  File: seed7/src/typeutl.h                                       */
/*  Changes: 1999  Thomas Mertes                                    */
/*  Content: Functions to maintain objects of type typeType.        */
/*                                                                  */
/********************************************************************/

typeType new_type (progType owningProg, typeType meta_type, typeType result_type);
void close_type (progType currentProg);
typeType get_func_type (typeType meta_type, typeType basic_type);
typeType get_varfunc_type (typeType meta_type, typeType basic_type);
void add_interface (typeType basic_type, typeType interface_type);