/*

* Copyright (c) 2005-2006 Nokia Corporation and/or its subsidiary(-ies).

* All rights reserved.

* This component and the accompanying materials are made available

* under the terms of the License "Eclipse Public License v1.0"

* which accompanies this distribution, and is available

* at the URL "http://www.eclipse.org/legal/epl-v10.html".

*

* Initial Contributors:

* Nokia Corporation - initial contribution.

*

* Contributors:

*

* Description:  Symbian definitions for the core engine data types

*

*/

#ifndef AM_PLATFORM_LIBRARIES_H

#define AM_PLATFORM_LIBRARIES_H

#ifndef __KERNEL_MODE__

#include <e32base.h>

#else

#include <kernel.h>

#endif // __KERNEL__MODE

/**

* The basic types cannot be included from EAPOL because

* they include user-space headers that is prohibited in

* kernel code.

*

* Therefore, we simply copy the basic types for kernel

* code.

*/

/** JPHC++ definitions */

typedef signed char i8_t;

typedef unsigned char u8_t;

typedef short int i16_t;

typedef unsigned short int u16_t;

typedef long int i32_t;

typedef unsigned long int u32_t;

#if defined(__WINSCW__)

	/// This is signed 64-bit integer.

	typedef long long i64_t;

#elif defined(__GNUC__)

	/// This is signed 64-bit integer.

	typedef long long i64_t;

#else

	/// This is signed 64-bit integer.

	typedef __int64 i64_t;	

#endif

#if defined(__WINSCW__)

	/// This is unsigned 64-bit integer.

	typedef unsigned long long u64_t;	

#elif defined(__GNUC__)

	/// This is unsigned 64-bit integer.

	typedef unsigned long long u64_t;	

#else

	/// This is unsigned 64-bit integer. Actually there is not unsigned version.

	typedef __int64 u64_t;

#endif

/** NOC++ definitions */

typedef int int_t;

typedef unsigned int uint_t;

typedef unsigned char text8_t;

typedef unsigned short int text16_t;

typedef int bool_t;

enum _false_t { false_t = 0 };

enum _true_t { true_t = 1 };

#endif // AM_PLATFORM_LIBRARIES_H