Subversion Repositories tendra.SVN

/*
                 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


/*
    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 PROTO_S ( ( unsigned ) ) ;
extern type *make_type PROTO_S ( ( char *, int, int ) ) ;
extern type *find_type PROTO_S ( ( char *, int, int, int ) ) ;
extern type *make_subtype PROTO_S ( ( type *, int ) ) ;
extern type *inject_type PROTO_S ( ( type *, type * ) ) ;
extern type *check_type PROTO_S ( ( type *, int ) ) ;
extern type *expand_type PROTO_S ( ( type * ) ) ;
extern field *make_field PROTO_S ( ( char *, int, type *, type * ) ) ;
extern type *special_type PROTO_S ( ( char * ) ) ;
extern void init_types PROTO_S ( ( void ) ) ;


#endif