]> rtime.felk.cvut.cz Git - frescor/frsh-forb.git/blob - include/fosa_opaque_types.h
Global update of license text in FOSA for src_marte and include directories
[frescor/frsh-forb.git] / include / fosa_opaque_types.h
1 //----------------------------------------------------------------------
2 //  Copyright (C) 2006 - 2007 by the FRESCOR consortium:
3 //
4 //    Universidad de Cantabria,              SPAIN
5 //    University of York,                    UK
6 //    Scuola Superiore Sant'Anna,            ITALY
7 //    Kaiserslautern University,             GERMANY
8 //    Univ. Politecnica  Valencia,           SPAIN
9 //    Czech Technical University in Prague,  CZECH REPUBLIC
10 //    ENEA                                   SWEDEN
11 //    Thales Communication S.A.              FRANCE
12 //    Visual Tools S.A.                      SPAIN
13 //    Rapita Systems Ltd                     UK
14 //    Evidence                               ITALY
15 //
16 //    See http://www.frescor.org
17 //
18 //        The FRESCOR project (FP6/2005/IST/5-034026) is funded
19 //        in part by the European Union Sixth Framework Programme
20 //        The European Union is not liable of any use that may be
21 //        made of this code.
22 //
23 //
24 //  based on previous work (FSF) done in the FIRST project
25 //
26 //   Copyright (C) 2005  Mälardalen University, SWEDEN
27 //                       Scuola Superiore S.Anna, ITALY
28 //                       Universidad de Cantabria, SPAIN
29 //                       University of York, UK
30 //
31 // This file is part of FOSA (Frsh Operating System Abstraction)
32 //
33 // FOSA is free software; you can redistribute it and/or modify it
34 // under terms of the GNU General Public License as published by the
35 // Free Software Foundation; either version 2, or (at your option) any
36 // later version.  FOSA is distributed in the hope that it will be
37 // useful, but WITHOUT ANY WARRANTY; without even the implied warranty
38 // of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
39 // General Public License for more details. You should have received a
40 // copy of the GNU General Public License along with FOSA; see file
41 // COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
42 // Cambridge, MA 02139, USA.
43 //
44 // As a special exception, including FOSA header files in a file,
45 // instantiating FOSA generics or templates, or linking other files
46 // with FOSA objects to produce an executable application, does not
47 // by itself cause the resulting executable application to be covered
48 // by the GNU General Public License. This exception does not
49 // however invalidate any other reasons why the executable file might be
50 // covered by the GNU Public License.
51 // -----------------------------------------------------------------------
52 //fosa_opaque_types.h
53 //==============================================
54 //  ********  ******    ********  **********
55 //  **///// /**    **  **//////  /**     /**
56 //  **      /**    ** /**        /**     /**
57 //  ******* /**    ** /********* /**********
58 //  **////  /**    ** ////////** /**//////**
59 //  **      /**    **        /** /**     /**
60 //  **      /**    **  ********  /**     /**
61 //  //       /******/  ////////   //      //
62 //
63 // FOSA(Frescor Operating System Adaptation layer)
64 //================================================
65
66 // Implementation dependent definitions
67
68 #ifndef _FOSA_OPAQUE_TYPES_H_
69 #define _FOSA_OPAQUE_TYPES_H_
70
71 #include <stdbool.h>
72
73 /////////////////////// RT_LINUX, MARTE_OS & AQuoSA ///////////////////////////
74
75 #if defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
76
77 #include <pthread.h>
78 #include <signal.h>
79 #include <time.h>
80 #include <sched.h>
81
82 #ifdef RT_LINUX
83 #include <rtl_timer.h>
84 #endif
85
86 #define    FOSA_CLOCK_ID_T_OPAQUE    clockid_t
87 #define    FOSA_SYSTEM_CLOCK_OPAQUE  CLOCK_MONOTONIC
88
89 #define    FOSA_TIMER_ID_T_OPAQUE    timer_t
90
91 #define    FOSA_COND_T_OPAQUE        pthread_cond_t
92
93 /*********
94  *  ADS
95  *********/
96
97 #ifdef MARTE_OS
98 typedef struct {
99     posix_appsched_actions_t actions;
100     struct timespec * timeout_ptr;
101     struct timespec timeout;
102     bool rejected;
103     bool suspended;
104     bool activated;
105 } fosa_ads_actions_internal_t;
106
107
108 #define FOSA_ADS_ACTIONS_T_OPAQUE fosa_ads_actions_internal_t
109 #else
110
111 /* hack to get AQuoSA sources compile without having none
112  * of the application level scheduler header files and symbols */
113 #ifdef AQuoSA
114 #define posix_appsched_actions_t int
115 #endif
116
117 #define FOSA_ADS_ACTIONS_T_OPAQUE posix_appsched_actions_t
118 #endif
119
120
121 #endif
122
123 ////////////////// END OF RT_LINUX, MARTE_OS and AQuoSA //////////////////////
124
125
126 ////////////////////////// DUMMY_OS    //////////////////////////////////////
127
128 #if defined(DUMMY_OS)
129
130 /* With this define we make sure that we are truly POSIX and OSE */
131 /* independent at the FRSH code.                                 */
132 /*****************************************************************/
133
134 #define    FOSA_CLOCK_ID_T_OPAQUE    int
135 #define    FOSA_SYSTEM_CLOCK_OPAQUE  42
136
137 #define    FOSA_TIMER_ID_T_OPAQUE    int
138
139 #define    FOSA_COND_T_OPAQUE        int
140
141 /*********
142  *  ADS
143  *********/
144
145 #define FOSA_ADS_ACTIONS_T_OPAQUE  int
146
147
148
149
150 #endif /* DUMMY */
151 //////////////////////////End of DUMMY_OS ////////////////////////////////////
152
153
154
155
156 #endif // _FOSA_OPAQUE_TYPES_H_