/*
* Copyright (c) 2002, The Tendra Project <http://www.ten15.org/>
* All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
* notice unmodified, this list of conditions, and the following
* disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
*
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
* IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
* OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
* IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
* INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
* DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
* THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
* THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*
*
* Crown Copyright (c) 1997
*
* This TenDRA(r) Computer Program is subject to Copyright
* owned by the United Kingdom Secretary of State for Defence
* acting through the Defence Evaluation and Research Agency
* (DERA). It is made available to Recipients with a
* royalty-free licence for its use, reproduction, transfer
* to other parties and amendment for any purpose not excluding
* product development provided that any such use et cetera
* shall be deemed to be acceptance of the following conditions:-
*
* (1) Its Recipients shall ensure that this Notice is
* reproduced upon any copies or amended versions of it;
*
* (2) Any amended version of it shall be clearly marked to
* show both the nature of and the organisation responsible
* for the relevant amendment or amendments;
*
* (3) Its onward transfer from a recipient to another
* party shall be deemed to be that party's acceptance of
* these conditions;
*
* (4) DERA gives no warranty or assurance as to its
* quality or suitability for any purpose and DERA accepts
* no liability whatsoever in relation to any use to which
* it may be put.
*
* $TenDRA: tendra/src/producers/common/construct/convert.h,v 1.6 2005/08/04 20:22:16 stefanf Exp $
*/
#ifndef CONVERT_INCLUDED
#define CONVERT_INCLUDED
/*
* TYPE REPRESENTING AN IMPLICIT CONVERSION SEQUENCE
*
* This type is used to represent an implicit conversion sequence. The
* main components are the two types being converted from and to, and
* the overall rank of the conversion (see below). For user-defined
* conversions, the conversion function used and the rank of the following
* standard conversion are recorded. For base class and qualification
* conversions the associated data is also recorded.
*/
typedef struct {
TYPE from, to;
unsigned rank;
unsigned std;
IDENTIFIER usr;
GRAPH base;
CV_SPEC qual;
} CONVERSION;
/*
* TYPE CONVERSION DECLARATIONS
*
* The routines in this module are concerned with the standard C and C++
* type conversions.
*/
extern TYPE arith_type(TYPE, TYPE, EXP, EXP);
extern TYPE promote_type(TYPE);
extern TYPE unpromote_type(TYPE);
extern TYPE arg_promote_type(TYPE, ERROR *);
extern TYPE ptr_common_type(TYPE, TYPE, int, int *);
extern TYPE ptr_mem_common_type(TYPE, TYPE, int *);
extern TYPE common_type(TYPE, TYPE, int *);
extern unsigned check_qualifier(TYPE, TYPE, int);
extern int is_arg_promote(TYPE);
extern int qualifier_depth;
extern EXP convert_arith(TYPE, EXP, int, int);
extern EXP convert_bitfield(EXP);
extern EXP convert_boolean(EXP, unsigned, ERROR *);
extern EXP convert_array(EXP, int, ERROR *);
extern EXP convert_lvalue(EXP);
extern EXP convert_none(EXP);
extern EXP convert_const(EXP);
extern EXP convert_promote(TYPE, EXP);
extern EXP convert_ptr_common(TYPE, EXP, int, int);
extern EXP convert_ptr_mem_common(TYPE, EXP, int, int);
extern EXP convert_reference(EXP, int);
extern TYPE convert_qual_type(TYPE);
extern unsigned convert_seq(CONVERSION *, EXP, int, int);
extern unsigned std_convert_seq(CONVERSION *, EXP, int, int);
extern int compare_seq(CONVERSION *, CONVERSION *);
extern int is_ambiguous_func(IDENTIFIER);
/*
* QUALIFICATION CONVERSION RULES
*
* These values comprise the bitpattern returned by check_qualifier. They
* indicate which of the conditions required by the qualification conversions
* are satisfied by a particular pair of types. They are also used to
* indicate whether the types are equal or equal functions.
*/
#define QUAL_SIMILAR ((unsigned) 0x01)
#define QUAL_CONST ((unsigned) 0x02)
#define QUAL_VOLATILE ((unsigned) 0x04)
#define QUAL_ALL_CONST ((unsigned) 0x08)
#define QUAL_EXACT ((unsigned) 0x10)
#define QUAL_FUNC ((unsigned) 0x20)
#define QUAL_TEMPL ((unsigned) 0x40)
#define QUAL_CV ((unsigned) 0x0e)
#define QUAL_OK ((unsigned) 0x0f)
#define QUAL_EQUAL ((unsigned) 0x1f)
#define QUAL_EQ_FUNC ((unsigned) 0x3f)
/*
* CONVERSION SEQUENCE RANKS
*
* These values are used to indicate the various ranks of implicit
* conversion sequences used within overload resolution. The upper byte
* gives the conversion rank (the higher the value, the better the
* conversion), while the lower byte gives further information on the
* dominant conversion.
*/
#define CONV_EXACT ((unsigned) 0x60)
#define CONV_QUAL ((unsigned) 0x50)
#define CONV_STRING ((unsigned) 0x51)
#define CONV_INT_PROM ((unsigned) 0x40)
#define CONV_FLT_PROM ((unsigned) 0x41)
#define CONV_BITFIELD ((unsigned) 0x42)
#define CONV_INT_INT ((unsigned) 0x30)
#define CONV_FLT_FLT ((unsigned) 0x31)
#define CONV_INT_FLT ((unsigned) 0x32)
#define CONV_FLT_INT ((unsigned) 0x33)
#define CONV_PTR_BASE ((unsigned) 0x34)
#define CONV_PTR_VOID ((unsigned) 0x35)
#define CONV_PTR_BOTTOM ((unsigned) 0x36)
#define CONV_PTR_NULL ((unsigned) 0x37)
#define CONV_PTR_MEM_BASE ((unsigned) 0x38)
#define CONV_PTR_MEM_NULL ((unsigned) 0x39)
#define CONV_BASE ((unsigned) 0x3a)
#define CONV_BOOL ((unsigned) 0x3b)
#define CONV_USER ((unsigned) 0x20)
#define CONV_USER_MULTI ((unsigned) 0x21)
#define CONV_ELLIPSIS ((unsigned) 0x10)
#define CONV_NONE ((unsigned) 0x00)
#define CONV_NULL ((unsigned) 0x01)
#define CONV_PTR_PTR ((unsigned) 0x02)
#define CONV_PTR_PTR_ALIGN ((unsigned) 0x03)
#define CONV_INT_PTR ((unsigned) 0x04)
#define CONV_PTR_INT ((unsigned) 0x05)
#define CONV_PTR_MEM_PTR_MEM ((unsigned) 0x06)
#define CONV_PTR_MEM_FUNC ((unsigned) 0x07)
#define CONV_FUNC ((unsigned) 0x08)
#define CONV_ENUM ((unsigned) 0x09)
#define CONV_REVERSE ((unsigned) 0x80)
#define CONV_RANK(A) ((A) & 0x70)
/*
* REFERENCE CONVERSION CONTEXTS
*
* These values are used in convert_reference to indicate the various
* contexts for reference conversion.
*/
#define REF_NORMAL 0
#define REF_FUNCTION 1
#define REF_ASSIGN 2
#define REF_ADDRESS 3
#endif
syntax highlighted by Code2HTML, v. 0.9.1