00001 /* Flexiport 00002 * 00003 * Header file for some types that are not defined on Windows. 00004 * 00005 * Copyright 2008-2011 Geoffrey Biggs geoffrey.biggs@aist.go.jp 00006 * RT-Synthesis Research Group 00007 * Intelligent Systems Research Institute, 00008 * National Institute of Advanced Industrial Science and Technology (AIST), 00009 * Japan 00010 * All rights reserved. 00011 * 00012 * This file is part of Flexiport. 00013 * 00014 * Flexiport is free software; you can redistribute it and/or modify it 00015 * under the terms of the GNU Lesser General Public License as published 00016 * by the Free Software Foundation; either version 2.1 of the License, 00017 * or (at your option) any later version. 00018 * 00019 * Flexiport is distributed in the hope that it will be useful, but 00020 * WITHOUT ANY WARRANTY; without even the implied warranty of 00021 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00022 * Lesser General Public License for more details. 00023 * 00024 * You should have received a copy of the GNU Lesser General Public 00025 * License along with Flexiport. If not, see 00026 * <http://www.gnu.org/licenses/>. 00027 */ 00028 00029 #ifndef __FLEXIPORT_TYPES_H 00030 #define __FLEXIPORT_TYPES_H 00031 00032 #if defined (WIN32) 00033 typedef unsigned char uint8_t; 00034 typedef unsigned int uint32_t; 00035 #if defined (_WIN64) 00036 typedef __int64 ssize_t; 00037 #else 00038 typedef _W64 int ssize_t; 00039 #endif 00040 #else 00041 #include <stdint.h> 00042 #include <sys/types.h> 00043 #endif 00044 00045 #endif // __FLEXIPORT_TYPES_H 00046