typecheck.h

Go to the documentation of this file.

/*************************************************************************
 *
 *  Copyright (c) 2023 Rajit Manohar
 *
 *  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.
 *
 **************************************************************************
 */
#ifndef __ACT_CHECK_H__
#define __ACT_CHECK_H__
 
#define T_ERR         -1    
 
#define T_ARRAYOF    0x20   
 
#define T_STRICT     0x40   
 
#define T_PARAM      0x80   
 
#define T_INT        0x1    
#define T_REAL       0x2    
#define T_BOOL       0x4    
#define T_PROC       0x5    
#define T_CHAN       0x6    
#define T_DATA_INT   0x7    
#define T_DATA_BOOL  0x8    
#define T_SELF       0x9    
#define T_DATA       0xa    
#define T_DATA_ENUM  0xb    
#define T_PTYPE      0x10   
 
#define T_MASK       0x1f   
 
#define T_FIXBASETYPE(x)  ((((x) & T_MASK) == T_DATA_BOOL) ? T_BOOL : ((((x) & T_MASK) == T_DATA_INT) ? T_INT : ((x) & T_MASK)))
 
#define T_BASETYPE(x) ((x) & T_MASK)
 
#define T_BASETYPE_ISNUM(x) (T_FIXBASETYPE (x) == T_INT || T_BASETYPE (x) == T_REAL)
 
#define T_BASETYPE_INT(x) (T_FIXBASETYPE(x) == T_INT)
 
#define T_BASETYPE_BOOL(x) (T_FIXBASETYPE(x) == T_BOOL)
 
#define T_BASETYPE_ISINTBOOL(x) (T_BASETYPE_INT(x) || T_BASETYPE_BOOL(x))
 
 
int act_type_expr (Scope *s, Expr *e, int *width, int only_chan = 0);
 
 
int act_type_var (Scope *s, ActId *id, InstType **xit);
 
int act_type_chan (Scope *sc, Chan *ch, int is_send, Expr *e, ActId *id,
                   int override_id);
 
int act_type_conn (Scope *, ActId *, AExpr *);
 
int act_type_conn (Scope *, AExpr *, AExpr *);
 
 
int type_connectivity_check (InstType *lhs, InstType *rhs, int skip_last_array = 0);
 
int type_chp_check_assignable (InstType *lhs, InstType *rhs);
 
InstType *act_expr_insttype (Scope *s, Expr *e, int *islocal, int only_chan);
 
InstType *act_actual_insttype (Scope *s, ActId *id, int *islocal);
 
void type_set_position (int l, int c, char *n);
 
const char *act_type_errmsg (void);
 
void typecheck_err (const char *s, ...);
 
#endif /* __ACT_CHECK_H__ */