Subversion Repositories tendra.SVN

/*
 * Copyright (c) 2002-2005 The TenDRA Project <http://www.tendra.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,
 *    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.
 * 3. Neither the name of The TenDRA Project nor the names of its contributors
 *    may be used to endorse or promote products derived from this software
 *    without specific, prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS ``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 COPYRIGHT HOLDERS OR
 * CONTRIBUTORS 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.
 *
 * $Id$
 */
/*
                 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.
*/


#ifndef TYPE_INCLUDED
#define TYPE_INCLUDED

#ifndef OBJECT_INCLUDED
#include "object.h"
#endif

/*
    TYPE REPRESENTING A C TYPE

    A type consists of a type identifier followed by a union of different
    information, depending on the identifier.
*/

typedef struct type_tag {
    int id;
    union {
        object *obj;
        struct type_tag *subtype;
    } u;
    union {
        int no;
        char *str;
        object *obj2;
        struct type_tag *next;
    } v;
    boolean state;
} type;


/*
    TYPE REPRESENTING A STRUCTURE OR UNION FIELD

    A field of a structure or union consists of an object, giving the
    corresponding token, a field name, a field type, and the parent
    structure or union type.
*/

typedef struct field_tag {
    object *obj;
    char *fname;
    type *ftype;
    type *stype;
} field;


/*
    TYPE IDENTIFIERS

    These are the valid type identifiers.  The first set consists of the
    base types, the second of the compound type constructors.
*/

#define TYPE_VOID               0
#define TYPE_INT                1
#define TYPE_SIGNED             2
#define TYPE_UNSIGNED           3
#define TYPE_FLOAT              4
#define TYPE_ARITH              5
#define TYPE_SCALAR             6
#define TYPE_STRUCT             7
#define TYPE_STRUCT_TAG         8
#define TYPE_UNION              9
#define TYPE_UNION_TAG          10
#define TYPE_ENUM               11
#define TYPE_ENUM_TAG           12
#define TYPE_GENERIC            13
#define TYPE_DEFINED            14

#define TYPE_ARRAY              15
#define TYPE_BITFIELD           16
#define TYPE_LIST               17
#define TYPE_LVALUE             18
#define TYPE_PROC               19
#define TYPE_PROMOTE            20
#define TYPE_PTR                21
#define TYPE_QUALIFIER          22
#define TYPE_RVALUE             23



/*
    BASE TYPE SPECIFIERS

    The basic type specifiers are represented as combinations of these
    values.
*/

#define BTYPE_CHAR              ((unsigned)0x0001)
#define BTYPE_SHORT             ((unsigned)0x0002)
#define BTYPE_INT               ((unsigned)0x0004)
#define BTYPE_LONG              ((unsigned)0x0008)
#define BTYPE_LLONG             ((unsigned)0x0010)
#define BTYPE_SIGNED            ((unsigned)0x0020)
#define BTYPE_UNSIGNED          ((unsigned)0x0040)
#define BTYPE_FLOAT             ((unsigned)0x0080)
#define BTYPE_DOUBLE            ((unsigned)0x0100)
#define BTYPE_VOID              ((unsigned)0x0200)
#define BTYPE_ERROR             ((unsigned)0x0400)


/*
    FUNDAMENTAL TYPES

    These types represent the basic C types.
*/

#define BUILTIN(TYPE, NAME, VERS, ID)   extern type *TYPE
#include "builtin.h"


/*
    PROCEDURE DECLARATIONS

    These routines are concerned with creating and manipulating types.
*/

extern type *basic_type(unsigned);
extern type *make_type(char *, int, int);
extern type *find_type(char *, int, int, int);
extern type *make_subtype(type *, int);
extern type *inject_type(type *, type *);
extern type *check_type(type *, int);
extern type *expand_type(type *);
extern field *make_field(char *, int, type *, type *);
extern type *special_type(char *);
extern void init_types(void);


#endif