Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 1664 | pj | 1 | #define _SIM_AREA_HEADER_ |
| 2 | |||
| 3 | #ifndef _INPUT_ |
||
| 4 | #include "input.h" |
||
| 5 | #endif |
||
| 6 | |||
| 7 | #ifndef _CONST_ |
||
| 8 | #include "constants.h" |
||
| 9 | #endif |
||
| 10 | |||
| 11 | #ifndef _ATCSIM_HEADER_ |
||
| 12 | #include "atcsim.h" |
||
| 13 | #endif |
||
| 14 | |||
| 15 | #include <kernel/kern.h> //include the SHARK kernel header |
||
| 16 | #include <drivers/glib.h> //include the graphics library |
||
| 17 | #include <drivers/keyb.h> //include the keyboard library |
||
| 18 | #include <semaphore.h> //include the semaphore library |
||
| 19 | #include <stdlib.h> //include the standard library |
||
| 20 | #include <math.h> //include the math library for random |
||
| 21 | #include <string.h> |
||
| 22 | |||
| 23 | /* useful colors... */ |
||
| 24 | extern int white; |
||
| 25 | extern int black; |
||
| 26 | extern int red; |
||
| 27 | extern int gray; |
||
| 28 | extern int green; |
||
| 29 | extern int blue; |
||
| 30 | |||
| 31 | extern int number_of_planes; |
||
| 32 | extern int plane_period; |
||
| 33 | extern int plane_wcet; |
||
| 34 | extern sem_t graphics_mutex; |
||
| 35 | |||
| 36 | extern airport airports[NUM_OF_AIRPORTS]; |
||
| 37 | extern void init_simulation(); |
||
| 38 | |||
| 39 | extern mutex_t mut_STARTSIM; |
||
| 40 | |||
| 41 | extern int STARTSIM; |