+++ /dev/null
-//----------------------------------------------------------------------
-// Copyright (C) 2006 - 2007 by the FRESCOR consortium:
-//
-// Universidad de Cantabria, SPAIN
-// University of York, UK
-// Scuola Superiore Sant'Anna, ITALY
-// Kaiserslautern University, GERMANY
-// Univ. Politecnica Valencia, SPAIN
-// Czech Technical University in Prague, CZECH REPUBLIC
-// ENEA SWEDEN
-// Thales Communication S.A. FRANCE
-// Visual Tools S.A. SPAIN
-// Rapita Systems Ltd UK
-// Evidence ITALY
-//
-// See http://www.frescor.org
-//
-// The FRESCOR project (FP6/2005/IST/5-034026) is funded
-// in part by the European Union Sixth Framework Programme
-// The European Union is not liable of any use that may be
-// made of this code.
-//
-//
-// based on previous work (FSF) done in the FIRST project
-//
-// Copyright (C) 2005 Mälardalen University, SWEDEN
-// Scuola Superiore S.Anna, ITALY
-// Universidad de Cantabria, SPAIN
-// University of York, UK
-//
-// This file is part of FOSA (Frsh Operating System Abstraction)
-//
-// FOSA is free software; you can redistribute it and/or modify it
-// under terms of the GNU General Public License as published by the
-// Free Software Foundation; either version 2, or (at your option) any
-// later version. FOSA is distributed in the hope that it will be
-// useful, but WITHOUT ANY WARRANTY; without even the implied warranty
-// of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-// General Public License for more details. You should have received a
-// copy of the GNU General Public License along with FOSA; see file
-// COPYING. If not, write to the Free Software Foundation, 675 Mass Ave,
-// Cambridge, MA 02139, USA.
-//
-// As a special exception, including FOSA header files in a file,
-// instantiating FOSA generics or templates, or linking other files
-// with FOSA objects to produce an executable application, does not
-// by itself cause the resulting executable application to be covered
-// by the GNU General Public License. This exception does not
-// however invalidate any other reasons why the executable file might be
-// covered by the GNU Public License.
-// -----------------------------------------------------------------------
-//fosa_opaque_types.h
-//==============================================
-// ******** ****** ******** **********
-// **///// /** ** **////// /** /**
-// ** /** ** /** /** /**
-// ******* /** ** /********* /**********
-// **//// /** ** ////////** /**//////**
-// ** /** ** /** /** /**
-// ** /** ** ******** /** /**
-// // /******/ //////// // //
-//
-// FOSA(Frescor Operating System Adaptation layer)
-//================================================
-
-// Implementation dependent definitions
-
-#ifndef _FOSA_OPAQUE_TYPES_H_
-#define _FOSA_OPAQUE_TYPES_H_
-
-#include <stdbool.h>
-
-/////////////////////// RT_LINUX, MARTE_OS & AQuoSA ///////////////////////////
-
-#if defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
-
-#include <pthread.h>
-#include <signal.h>
-#include <time.h>
-#include <sched.h>
-
-#ifdef RT_LINUX
-#include <rtl_timer.h>
-#endif // RT_LINUX
-
-#define FOSA_CLOCK_ID_T_OPAQUE clockid_t
-#define FOSA_SYSTEM_CLOCK_OPAQUE CLOCK_MONOTONIC
-
-#define FOSA_TIMER_ID_T_OPAQUE timer_t
-
-#define FOSA_COND_T_OPAQUE pthread_cond_t
-
-/*********
- * ADS
- *********/
-
-#ifdef MARTE_OS
-typedef struct {
- posix_appsched_actions_t actions;
- struct timespec * timeout_ptr;
- struct timespec timeout;
- bool rejected;
- bool suspended;
- bool activated;
-} fosa_ads_actions_internal_t;
-
-
-#define FOSA_ADS_ACTIONS_T_OPAQUE fosa_ads_actions_internal_t
-
-
-///////////////////
-// Long jumps
-///////////////////
-
-#include "marte_non_local_jmp.h"
-
-#define FOSA_LONG_JUMP_CONTEXT_T_OPAQUE struct { \
- marte_nonlocaljmp_context_t marte_context; \
- frsh_thread_id_t tid; \
-}
-
-#else // MARTE_OS
-
-/* hack to get AQuoSA sources compile without having none
- * of the application level scheduler header files and symbols */
-#ifdef AQuoSA
-#define posix_appsched_actions_t int
-#endif // AQuoSA
-
-#define FOSA_ADS_ACTIONS_T_OPAQUE posix_appsched_actions_t
-#endif // MARTE_OS
-
-
-
-#endif // defined(RT_LINUX) || defined(MARTE_OS) || defined(AQuoSA)
-
-////////////////// END OF RT_LINUX, MARTE_OS and AQuoSA //////////////////////
-
-
-////////////////////////// DUMMY_OS //////////////////////////////////////
-
-#if defined(DUMMY_OS)
-
-/* With this define we make sure that we are truly POSIX and OSE */
-/* independent at the FRSH code. */
-/*****************************************************************/
-
-#define FOSA_CLOCK_ID_T_OPAQUE int
-#define FOSA_SYSTEM_CLOCK_OPAQUE 42
-
-#define FOSA_TIMER_ID_T_OPAQUE int
-
-#define FOSA_COND_T_OPAQUE int
-
-
-/*********
- * ADS
- *********/
-
-#define FOSA_ADS_ACTIONS_T_OPAQUE int
-
-
-
-
-#endif /* DUMMY */
-//////////////////////////End of DUMMY_OS ////////////////////////////////////
-
-
-
-
-#endif // _FOSA_OPAQUE_TYPES_H_