Sesame: type_check.h Source File

00001 /*******************************************************************\
00002 
00003                    SESAME project software license
00004 
00005               Copyright (C) 2002 University of Amsterdam
00006 
00007     This program is free software; you can redistribute it and/or
00008      modify it under the terms of the GNU General Public License
00009     as published by the Free Software Foundation; either version 2
00010         of the License, or (at your option) any later version.
00011 
00012    This program is distributed in the hope that it will be useful,
00013     but WITHOUT ANY WARRANTY; without even the implied warranty of
00014     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
00015              GNU General Public License for more details.
00016 
00017   You should have received a copy of the GNU General Public License
00018      along with this program; if not, write to the Free Software
00019       Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
00020                            02111-1307, USA.
00021 
00022       For information regarding the SESAME software project see
00023               http://sesamesim.sourceforge.net or email
00024                     jcofflan@users.sourceforge.net
00025 
00026 \*******************************************************************/
00027 #ifndef TYPE_CHECK_H
00028 #define TYPE_CHECK_H
00029 
00030 #include "symboldef.h"
00031 
00032 typex *roottype(typex *tp);
00033 typex *tc_var(parsex *var);
00034 typex *tc_atomic(parsex *at_expr);
00035 typex *tc_send(parsex *send_expr);
00036 typex *tc_func_call(parsex *func_call);
00037 typex *tc_block(parsex *block_expr);
00038 typex *tc_blockt(parsex *blockt_expr);
00039 typex *tc_if (parsex *if_expr, bool break_ok, bool return_ok, bool reply_ok);
00040 typex *tc_for (parsex *for_expr, bool return_ok, bool reply_ok);
00041 typex *tc_while (parsex *while_expr, bool return_ok, bool reply_ok);
00042 void tc_labels(parsex *labels, typex *sw_type, bool *with_default);
00043 typex *tc_choices(parsex *choices, typex *sw_type, bool *with_default,
00044                   bool return_ok, bool reply_ok);
00045 typex *tc_switch (parsex *sw_expr, bool return_ok, bool reply_ok);
00046 typex *tc_expr(parsex *expr, bool break_ok, bool return_ok, bool reply_ok);
00047 void tc_var_inits(symboltable *variables);
00048 void tc_func_meth(symboltable *func_meths);
00049 void type_check(symboltable *classes, symboltable *functions,
00050                 symboltable *variables);
00051 
00052 #endif // TYPE_CHECK_H