Subversion Repositories tendra.SVN

/*

 * Copyright (c) 2002-2006 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 C_TYPES_INCLUDED

#define C_TYPES_INCLUDED

/*

 * CLEAN UP NAMESPACE

 *

 * Certain symbols need to be undefined on some systems. It is convenient to

 * do this here as this header is usually included directly after any system

 * headers.

 */

#ifdef FLOAT

#undef FLOAT

#endif

#ifdef ulong

#undef ulong

#endif

/*

 * BASIC TYPES

 *

 * All characters and strings within the program are represented in terms of

 * the type character. In particular, the type string is defined to be

 * chararacter *. ulong is defined as a macro to avoid duplicate definitions

 * in the system headers.

 */

typedef unsigned char character;

#define ulong ulong_type

#define CONST_S CONST

/*

 * CONST TOKENS

 *

 * The tokens generated by the calculus toolset use const to indicate run-time

 * constant expression tokens. Older versions of the TenDRA C producer which

 * do not understand const tokens may suppress them by defining

 * NO_CONST_TOKEN.

 */

#ifdef NO_CONST_TOKEN

#define const

#endif

/*

 *  MAIN TYPE SYSTEM

 *

 *  The main type system is generated using the calculus tool. See c_class.alg

 *  for more details.

 */

#include "c_class.h"

/*

 * DEBUG MEMORY ALLOCATION ROUTINES

 *

 * In debug mode an alternative memory allocation scheme allowing for run-time

 * type information is implemented.

 */

#ifdef RUNTIME

#if c_class_IMPLEMENTATION

extern c_class *debug_c_class(unsigned, unsigned);

#undef GEN_c_class

#define GEN_c_class(A, B)	debug_c_class((unsigned)(A), (B))

#define TYPEID(A)		((A)[-1].ag_tag)

#define TYPEID_free		((unsigned)42)

#endif

#endif

/*

 * SYNONYMS FOR CALCULUS CONSTRUCTS

 *

 * These macros give synonyms for various constructs defined within the

 * calculus plus some other useful constructs.

 */

#define btype_struct		btype_struct_

#define btype_union		btype_union_

#define btype_enum		btype_enum_

#define cinfo_struct		cinfo_struct_

#define cinfo_union		cinfo_union_

#define destroy			destroy_c_class

#define null_tag		((unsigned)0xffff)

#define NULL_string		((string)NULL)

#if LANGUAGE_C

#define cv_lang			cv_c

#define dspec_lang		dspec_c

#define btype_lang		btype_struct

#define ERR_ALTERNATE		1

#else

#define cv_lang			cv_cpp

#define dspec_lang		dspec_cpp

#define btype_lang		btype_class

#endif

/*

 * DISTINGUISHED LINKAGE VALUES

 *

 * These values are used as distinguished linkage numbers for use in the

 * output routines. Unassigned linkage numbers are given the value LINK_NONE.

 * External linkage numbers are or-ed with the value LINK_EXTERN to

 * distinguish them from internal linkage numbers.

 */

#if FS_NUMBER_SUFFIX

#define LINK_NONE		((ulong)0xffffffffUL)

#define LINK_EXTERN		((ulong)0x80000000UL)

#define LINK_ZERO		((ulong)0xfffffffeUL)

#define LINK_TOKDEF		((ulong)0xfffffffdUL)

#else

#define LINK_NONE		((ulong)0xffffffff)

#define LINK_EXTERN		((ulong)0x80000000)

#define LINK_ZERO		((ulong)0xfffffffe)

#define LINK_TOKDEF		((ulong)0xfffffffd)

#endif

/**

 * TYPE REPRESENTING A CHECKING SCOPE

 *

 * This type is used to represent a checking scope, describing which checks

 * should be applied in a particular part of the program. It consists of an

 * array of option states - one for each option which can be set - plus a

 * pointer to the enclosing checking scope. A scope may have an associated

 * name. Also a list of all scopes is maintained.

 */

typedef unsigned char OPTION;

typedef struct opt_tag {

	OPTION *opt;

	OPTION *set;

	DECL_SPEC lnk_opt[2];

	unsigned long val_opt[1];

	struct opt_tag *prev;

	HASHID name;

	struct opt_tag *next;

} OPTIONS;

/**

 * TYPE REPRESENTING A PREPROCESSING TOKEN

 *

 * This type represents a preprocessing token. This consists of a token value,

 * corresponding to the macros defined in syntax.h, plus any associated data.

 * In some instances the space field is used to indicate that the token is

 * preceded by a white-space. The next field points to the next token.

 */

typedef struct pptok_tag {

	int tok;

	struct pptok_tag *next;

	union {

		/* Associated data */

		int sint;

		string text;

		unsigned uint;

		character buff[8];

		EXP exp;

		NAT nat;

		FLOAT flt;

		NAMESPACE ns;

		STRING strlit;

		TYPE type;

		struct {

			/* Identifier */

			HASHID hash;

			IDENTIFIER use;

		} id;

		struct {

			/* String */

			string start;

			string end;

		} str;

		struct {

			/* Macro parameter */

			HASHID hash;

			unsigned long no;

		} par;

		struct {

			/* Location */

			unsigned long line;

			PTR(POSITION)posn;

		} loc;

		struct {

			/* Token application */

			IDENTIFIER id;

			struct pptok_tag *args;

		} tok;

	} pp_data;

	unsigned long pp_space;

	OPTIONS *pp_opts;

} PPTOKEN;

/**

 * TYPE REPRESENTING A SERIES OF BITS

 *

 * A bitstream consists of an array of characters comprising the bits

 * themselves, plus the current offset (in bytes and bits) of the end of these

 * bits. A pointer to the previous bitstream is used to chain bitstreams

 * together.

*/

typedef struct bits_tag {

	string text;

	unsigned bytes;

	unsigned bits;

	unsigned size;

	FILE *file;

	gen_ptr link;

	struct bits_tag *prev;

} BITSTREAM;

/**

 * TYPE REPRESENTING A CHARACTER BUFFER

 *

 * A character buffer consists of an array of characters and a pointer to the

 * current position in the buffer.

 */

typedef struct buff_tag {

	string start;

	string posn;

	string end;

	FILE *file;

} BUFFER;

#define NULL_buff	{ NULL, NULL, NULL, NULL }

#endif