1 /* Copyright (C) 1993, 1995, 1997, 1998 Aladdin Enterprises. All rights reserved. 2 3 This software is provided AS-IS with no warranty, either express or 4 implied. 5 6 This software is distributed under license and may not be copied, 7 modified or distributed except as expressly authorized under the terms 8 of the license contained in the file LICENSE in this distribution. 9 10 For more information about licensing, please refer to 11 http://www.ghostscript.com/licensing/. For information on 12 commercial licensing, go to http://www.artifex.com/licensing/ or 13 contact Artifex Software, Inc., 101 Lucas Valley Road #110, 14 San Rafael, CA 94903, U.S.A., +1(415)492-9861. 15 */ 16 17 /* $Id: opcheck.h,v 1.6 2003/09/03 03:22:59 giles Exp $ */ 18 /* Definitions for operator operand checking */ 19 /* Requires ialloc.h (for imemory), iref.h, ierrors.h */ 20 21 #ifndef opcheck_INCLUDED 22 # define opcheck_INCLUDED 23 24 /* 25 * Check the type of an object. Operators almost always use check_type, 26 * which is defined in oper.h; check_type_only is for checking 27 * subsidiary objects obtained from places other than the stack. 28 */ 29 #define check_type_only(rf,typ)\ 30 BEGIN if ( !r_has_type(&rf,typ) ) return_error(e_typecheck); END 31 #define check_stype_only(rf,styp)\ 32 BEGIN if ( !r_has_stype(&rf,imemory,styp) ) return_error(e_typecheck); END 33 /* Check for array */ 34 #define check_array_else(rf,errstat)\ 35 BEGIN if ( !r_has_type(&rf, t_array) ) errstat; END 36 #define check_array_only(rf)\ 37 check_array_else(rf, return_error(e_typecheck)) 38 /* Check for procedure. check_proc_failed includes the stack underflow */ 39 /* check, but it doesn't do any harm in the off-stack case. */ 40 int check_proc_failed(const ref *); 41 42 #define check_proc(rf)\ 43 BEGIN if ( !r_is_proc(&rf) ) return_error(check_proc_failed(&rf)); END 44 #define check_proc_only(rf) check_proc(rf) 45 46 /* Check for read, write, or execute access. */ 47 #define check_access(rf,acc1)\ 48 BEGIN if ( !r_has_attr(&rf,acc1) ) return_error(e_invalidaccess); END 49 #define check_read(rf) check_access(rf,a_read) 50 #define check_write(rf) check_access(rf,a_write) 51 #define check_execute(rf) check_access(rf,a_execute) 52 #define check_type_access_only(rf,typ,acc1)\ 53 BEGIN\ 54 if ( !r_has_type_attrs(&rf,typ,acc1) )\ 55 return_error((!r_has_type(&rf,typ) ? e_typecheck : e_invalidaccess));\ 56 END 57 #define check_read_type_only(rf,typ)\ 58 check_type_access_only(rf,typ,a_read) 59 #define check_write_type_only(rf,typ)\ 60 check_type_access_only(rf,typ,a_write) 61 62 /* Check for an integer value within an unsigned bound. */ 63 #define check_int_leu(orf, u)\ 64 BEGIN\ 65 check_type(orf, t_integer);\ 66 if ( (ulong)(orf).value.intval > (u) ) return_error(e_rangecheck);\ 67 END 68 #define check_int_leu_only(rf, u)\ 69 BEGIN\ 70 check_type_only(rf, t_integer);\ 71 if ( (ulong)(rf).value.intval > (u) ) return_error(e_rangecheck);\ 72 END 73 #define check_int_ltu(orf, u)\ 74 BEGIN\ 75 check_type(orf, t_integer);\ 76 if ( (ulong)(orf).value.intval >= (u) ) return_error(e_rangecheck);\ 77 END 78 79 #endif /* opcheck_INCLUDED */ 80