equal
deleted
inserted
replaced
17 * |
17 * |
18 * File created on 30/10/2010. |
18 * File created on 30/10/2010. |
19 */ |
19 */ |
20 |
20 |
21 |
21 |
22 void objcExportsInit(void); |
22 @interface ObjcExports : NSObject { |
|
23 |
|
24 } |
|
25 |
|
26 +(void) initialize; |
|
27 |
|
28 @end |
|
29 |
|
30 |
23 BOOL isGameRunning(void); |
31 BOOL isGameRunning(void); |
24 void setGameRunning(BOOL value); |
32 void setGameRunning(BOOL value); |
25 NSInteger cachedGrenadeTime(void); |
33 NSInteger cachedGrenadeTime(void); |
26 void clearView(void); |
34 void clearView(void); |
27 void setGrenadeTime(NSInteger value); |
35 void setGrenadeTime(NSInteger value); |