1 | OS {
|
---|
2 | ENUM [STANDARD, EXTENDED] STATUS = EXTENDED;
|
---|
3 | BOOLEAN STARTUPHOOK = FALSE;
|
---|
4 | BOOLEAN ERRORHOOK = FALSE;
|
---|
5 | BOOLEAN SHUTDOWNHOOK = FALSE;
|
---|
6 | BOOLEAN PRETASKHOOK = FALSE;
|
---|
7 | BOOLEAN POSTTASKHOOK = FALSE;
|
---|
8 | BOOLEAN USEGETSERVICEID = TRUE;
|
---|
9 | BOOLEAN USEPARAMETERACCESS = TRUE;
|
---|
10 | BOOLEAN USERESSCHEDULER = FALSE;
|
---|
11 | };
|
---|
12 |
|
---|
13 | APPMODE { };
|
---|
14 |
|
---|
15 | TASK {
|
---|
16 | BOOLEAN [
|
---|
17 | TRUE {
|
---|
18 | APPMODE_TYPE APPMODE[];
|
---|
19 | },
|
---|
20 | FALSE
|
---|
21 | ] AUTOSTART = FALSE;
|
---|
22 |
|
---|
23 | UINT32 [0..7] PRIORITY = NO_DEFAULT;
|
---|
24 | UINT32 [1..256] ACTIVATION = NO_DEFAULT;
|
---|
25 | ENUM [NON, FULL] SCHEDULE = NO_DEFAULT;
|
---|
26 | EVENT_TYPE EVENT[];
|
---|
27 | RESOURCE_TYPE RESOURCE[];
|
---|
28 | // MESSAGE_TYPE MESSAGE[];
|
---|
29 |
|
---|
30 | UINT32 STACKSIZE = 1024;
|
---|
31 | };
|
---|
32 |
|
---|
33 | ISR {
|
---|
34 | UINT32 [1, 2] CATEGORY = NO_DEFAULT;
|
---|
35 | UINT32 PRIORITY = NO_DEFAULT;
|
---|
36 | UINT32 ENTRY = NO_DEFAULT;
|
---|
37 | RESOURCE_TYPE RESOURCE[];
|
---|
38 | // MESSAGE_TYPE MESSAGE[];
|
---|
39 | };
|
---|
40 |
|
---|
41 | COUNTER {
|
---|
42 | UINT32 MINCYCLE = NO_DEFAULT;
|
---|
43 | UINT32 [1..2147483647] MAXALLOWEDVALUE = NO_DEFAULT;
|
---|
44 | UINT32 TICKSPERBASE = NO_DEFAULT;
|
---|
45 | };
|
---|
46 |
|
---|
47 | ALARM {
|
---|
48 | COUNTER_TYPE COUNTER;
|
---|
49 | ENUM [
|
---|
50 | ACTIVATETASK {
|
---|
51 | TASK_TYPE TASK;
|
---|
52 | },
|
---|
53 | SETEVENT {
|
---|
54 | TASK_TYPE TASK;
|
---|
55 | EVENT_TYPE EVENT;
|
---|
56 | },
|
---|
57 | ALARMCALLBACK {
|
---|
58 | SYMBOLNAME ALARMCALLBACKNAME = NO_DEFAULT;
|
---|
59 | }
|
---|
60 | ] ACTION = NO_DEFAULT;
|
---|
61 |
|
---|
62 | BOOLEAN [
|
---|
63 | TRUE {
|
---|
64 | UINT32 ALARMTIME = NO_DEFAULT;
|
---|
65 | UINT32 CYCLETIME = NO_DEFAULT;
|
---|
66 | APPMODE_TYPE APPMODE[];
|
---|
67 | },
|
---|
68 | FALSE
|
---|
69 | ] AUTOSTART = FALSE;
|
---|
70 | };
|
---|
71 |
|
---|
72 | EVENT {
|
---|
73 | UINT32 WITH_AUTO MASK = AUTO;
|
---|
74 | };
|
---|
75 |
|
---|
76 | RESOURCE {
|
---|
77 | ENUM [
|
---|
78 | STANDARD,
|
---|
79 | LINKED {
|
---|
80 | RESOURCE_TYPE LINKEDRESOURCE;
|
---|
81 | },
|
---|
82 | INTERNAL
|
---|
83 | ] RESOURCEPROPERTY = NO_DEFAULT;
|
---|
84 | };
|
---|
85 |
|
---|