Flexiport 2.0.0
flexiport_types.h
Go to the documentation of this file.
1/* Flexiport
2 *
3 * Header file for some types that are not defined on Windows.
4 *
5 * Copyright 2008-2011 Geoffrey Biggs geoffrey.biggs@aist.go.jp
6 * RT-Synthesis Research Group
7 * Intelligent Systems Research Institute,
8 * National Institute of Advanced Industrial Science and Technology (AIST),
9 * Japan
10 * All rights reserved.
11 *
12 * This file is part of Flexiport.
13 *
14 * Flexiport is free software; you can redistribute it and/or modify it
15 * under the terms of the GNU Lesser General Public License as published
16 * by the Free Software Foundation; either version 2.1 of the License,
17 * or (at your option) any later version.
18 *
19 * Flexiport is distributed in the hope that it will be useful, but
20 * WITHOUT ANY WARRANTY; without even the implied warranty of
21 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
22 * Lesser General Public License for more details.
23 *
24 * You should have received a copy of the GNU Lesser General Public
25 * License along with Flexiport. If not, see
26 * <http://www.gnu.org/licenses/>.
27 */
28
29#ifndef __FLEXIPORT_TYPES_H
30#define __FLEXIPORT_TYPES_H
31
32#if defined (WIN32)
33 typedef unsigned char uint8_t;
34 typedef unsigned int uint32_t;
35 #if defined (_WIN64)
36 typedef __int64 ssize_t;
37 #else
38 typedef _W64 int ssize_t;
39 #endif
40#else
41 #include <stdint.h>
42 #include <sys/types.h>
43#endif
44
45#endif // __FLEXIPORT_TYPES_H
46