Context Navigation

← Previous Revision
Latest Revision
Next Revision →
Blame
Revision Log

kernel.cdl@ 388

Last change on this file since 388 was 388, checked in by coas-nagasima, 5 years ago
Azure IoT Hub Device C SDK を使ったサンプルの追加
Property svn:eol-style set to `native` Property svn:keywords set to `Id` Property svn:mime-type set to `text/plain`
File size: 21.1 KB

Line
1	/*
2	* TOPPERS/ASP Kernel
3	* Toyohashi Open Platform for Embedded Real-Time Systems/
4	* Advanced Standard Profile Kernel
5	*
6	* Copyright (C) 2015,2016 by Ushio Laboratory
7	* Graduate School of Engineering Science, Osaka Univ., JAPAN
8	* Copyright (C) 2015-2017 by Embedded and Real-Time Systems Laboratory
9	* Graduate School of Information Science, Nagoya Univ., JAPAN
10	*
11	* ä¸è¨èä½æ¨©è
12	ã¯ï¼ä»¥ä¸ã®(1)ï½(4)ã®æ¡ä»¶ãæºããå ´åã«éãï¼æ¬ã½ããã¦ã§
13	* ã¢ï¼æ¬ã½ããã¦ã§ã¢ãæ¹å¤ãããã®ãå«ãï¼ä»¥ä¸åãï¼ãä½¿ç¨ã»è¤è£½ã»æ¹
14	* å¤ã»åé
15	å¸ï¼ä»¥ä¸ï¼å©ç¨ã¨å¼ã¶ï¼ãããã¨ãç¡åã§è¨±è«¾ããï¼
16	* (1) æ¬ã½ããã¦ã§ã¢ãã½ã¼ã¹ã³ã¼ãã®å½¢ã§å©ç¨ããå ´åã«ã¯ï¼ä¸è¨ã®èä½
17	* æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãï¼ãã®ã¾ã¾ã®å½¢ã§ã½ã¼
18	* ã¹ã³ã¼ãä¸ã«å«ã¾ãã¦ãããã¨ï¼
19	* (2) æ¬ã½ããã¦ã§ã¢ãï¼ã©ã¤ãã©ãªå½¢å¼ãªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
20	* ç¨ã§ããå½¢ã§åé
21	å¸ããå ´åã«ã¯ï¼åé
22	å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨
23	* è
24	ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®èä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨
25	* ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
26	* (3) æ¬ã½ããã¦ã§ã¢ãï¼æ©å¨ã«çµã¿è¾¼ããªã©ï¼ä»ã®ã½ããã¦ã§ã¢éçºã«ä½¿
27	* ç¨ã§ããªãå½¢ã§åé
28	å¸ããå ´åã«ã¯ï¼æ¬¡ã®ããããã®æ¡ä»¶ãæºããã
29	* ã¨ï¼
30	* (a) åé
31	å¸ã«ä¼´ãããã¥ã¡ã³ãï¼å©ç¨è
32	ããã¥ã¢ã«ãªã©ï¼ã«ï¼ä¸è¨ã®è
33	* ä½æ¨©è¡¨ç¤ºï¼ãã®å©ç¨æ¡ä»¶ããã³ä¸è¨ã®ç¡ä¿è¨¼è¦å®ãæ²è¼ãããã¨ï¼
34	* (b) åé
35	å¸ã®å½¢æ
36	ãï¼å¥ã«å®ããæ¹æ³ã«ãã£ã¦ï¼TOPPERSããã¸ã§ã¯ãã«
37	* å ±åãããã¨ï¼
38	* (4) æ¬ã½ããã¦ã§ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæ
39	* å®³ãããï¼ä¸è¨èä½æ¨©è
40	ããã³TOPPERSããã¸ã§ã¯ããå
41	è²¬ãããã¨ï¼
42	* ã¾ãï¼æ¬ã½ããã¦ã§ã¢ã®ã¦ã¼ã¶ã¾ãã¯ã¨ã³ãã¦ã¼ã¶ããã®ãããªãç
43	* ç±ã«åºã¥ãè«æ±ãããï¼ä¸è¨èä½æ¨©è
44	ããã³TOPPERSããã¸ã§ã¯ãã
45	* å
46	è²¬ãããã¨ï¼
47	*
48	* æ¬ã½ããã¦ã§ã¢ã¯ï¼ç¡ä¿è¨¼ã§æä¾ããã¦ãããã®ã§ããï¼ä¸è¨èä½æ¨©è
49	ã
50	* ãã³TOPPERSããã¸ã§ã¯ãã¯ï¼æ¬ã½ããã¦ã§ã¢ã«é¢ãã¦ï¼ç¹å®ã®ä½¿ç¨ç®ç
51	* ã«å¯¾ããé©åæ§ãå«ãã¦ï¼ãããªãä¿è¨¼ãè¡ããªãï¼ã¾ãï¼æ¬ã½ããã¦ã§
52	* ã¢ã®å©ç¨ã«ããç´æ¥çã¾ãã¯éæ¥çã«çãããããªãæå®³ã«é¢ãã¦ãï¼ã
53	* ã®è²¬ä»»ãè² ããªãï¼
54	*
55	* $Id: kernel.cdl 388 2019-05-22 11:25:18Z coas-nagasima $
56	*/
57
58	/*
59	* TOPPERS/ASPã«ã¼ãã«ãªãã¸ã§ã¯ã ã³ã³ãã¼ãã³ãè¨è¿°ãã¡ã¤ã«
60	*/
61
62	/*
63	* ã«ã¼ãã«ãªãã¸ã§ã¯ãã®ã³ã³ãã¼ãã³ãåã®ããã®ããããã¡ã¤ã«
64	*/
65	import_C("tecs_kernel.h");
66
67	/*
68	* ã«ã¼ãã«æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
69	*/
70	signature sKernel {
71	ER getExtendedInformation([out] intptr_t *p_exinf);
72
73	ER sleep(void);
74	ER sleepTimeout([in] TMO timeout);
75	ER delay([in] RELTIM delayTime);
76
77	ER exit(void);
78	ER disableTerminate(void);
79	ER enableTerminate(void);
80	bool_t senseTerminate(void);
81
82	ER setTime([in] SYSTIM systemTime);
83	ER getTime([out] SYSTIM *p_systemTime);
84	ER adjustTime([in] int32_t adjustTime);
85	HRTCNT fetchHighResolutionTimer(void);
86
87	ER rotateReadyQueue([in] PRI taskPriority);
88	ER getTaskId([out] ID *p_taskId);
89	ER getLoad([in] PRI taskPriority, [out] uint_t *p_load);
90	ER getNthTask([in] PRI taskPriority, [in] uint_t nth,
91	[out] ID *p_taskID);
92	ER lockCpu(void);
93	ER unlockCpu(void);
94	ER disableDispatch(void);
95	ER enableDispatch(void);
96	bool_t senseContext(void);
97	bool_t senseLock(void);
98	bool_t senseDispatch(void);
99	bool_t senseDispatchPendingState(void);
100	bool_t senseKernel(void);
101	ER exitKernel(void);
102
103	ER changeInterruptPriorityMask([in] PRI interruptPriority);
104	ER getInterruptPriorityMask([out] PRI *p_interruptPriority);
105	};
106
107	/*
108	* ã«ã¼ãã«æä½ã®ã·ã°ããã£ï¼éã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
109	*/
110	[context("non-task")]
111	signature siKernel {
112	HRTCNT fetchHighResolutionTimer(void);
113
114	ER rotateReadyQueue([in] PRI taskPriority);
115	ER getTaskId([out]ID *p_taskId);
116	ER lockCpu(void);
117	ER unlockCpu(void);
118	bool_t senseContext(void);
119	bool_t senseLock(void);
120	bool_t senseDispatch(void);
121	bool_t senseDispatchPendingState(void);
122	bool_t senseKernel(void);
123	ER exitKernel(void);
124
125	/* CPUä¾å¤ãã³ãã©ä¸ã§ä½¿ç¨ãã */
126	bool_t exceptionSenseDispatchPendingState
127	([in] const void *p_exceptionInformation);
128	};
129
130	/*
131	* ã«ã¼ãã«ã®ã»ã«ã¿ã¤ã
132	*/
133	[singleton]
134	celltype tKernel {
135	[inline] entry sKernel eKernel;
136	[inline] entry siKernel eiKernel;
137	};
138
139	/*
140	* ã¿ã¤ã ã¤ãã³ãéç¥ãåãåãããã®ã·ã°ããã£
141	*/
142	[context("non-task")]
143	signature siNotificationHandler {
144	};
145
146	/*
147	* ã¿ã¹ã¯æ¬ä½ã®ã·ã°ããã£
148	*/
149	signature sTaskBody {
150	void main(void);
151	};
152
153	/*
154	* ã¿ã¹ã¯æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
155	*/
156	signature sTask {
157	ER activate(void);
158	ER_UINT cancelActivate(void);
159	ER getTaskState([out] STAT *p_tskstat);
160	ER changePriority([in] PRI priority);
161	ER getPriority([out] PRI *p_priority);
162	ER refer([out] T_RTSK *pk_taskStatus);
163
164	ER wakeup(void);
165	ER_UINT cancelWakeup(void);
166	ER releaseWait(void);
167	ER suspend(void);
168	ER resume(void);
169
170	ER raiseTerminate(void);
171	ER terminate(void);
172	};
173
174	/*
175	* ã¿ã¹ã¯æä½ã®ã·ã°ããã£ï¼éã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
176	*/
177	[context("non-task")]
178	signature siTask {
179	ER activate(void);
180	ER wakeup(void);
181	ER releaseWait(void);
182	};
183
184	/*
185	* ã¿ã¹ã¯ã®ã»ã«ã¿ã¤ã
186	*/
187	[active]
188	celltype tTask {
189	[inline] entry sTask eTask;
190	[inline] entry siTask eiTask;
191	call sTaskBody cTaskBody;
192
193	[inline] entry siNotificationHandler eiActivateNotificationHandler;
194	[inline] entry siNotificationHandler eiWakeUpNotificationHandler;
195
196	attr {
197	ID id = C_EXP("TSKID_$id$");
198	[omit] ATR attribute = C_EXP("TA_NULL");
199	[omit] PRI priority;
200	[omit] size_t stackSize;
201	};
202
203	factory {
204	write("tecsgen.cfg",
205	"CRE_TSK(%s, { %s, $cbp$, tTask_start, %s, %s, NULL });",
206	id, attribute, priority, stackSize);
207	};
208	FACTORY {
209	write("tecsgen.cfg", "#include \"$ct$_tecsgen.h\"");
210	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
211	};
212	};
213
214	/*
215	* ã»ããã©æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
216	*/
217	signature sSemaphore {
218	ER signal(void);
219	ER wait(void);
220	ER waitPolling(void);
221	ER waitTimeout([in] TMO timeout);
222	ER initialize(void);
223	ER refer([out] T_RSEM *pk_semaphoreStatus);
224	};
225
226	/*
227	* ã»ããã©æä½ã®ã·ã°ããã£ï¼éã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
228	*/
229	[context("non-task")]
230	signature siSemaphore {
231	ER signal(void);
232	};
233
234	/*
235	* ã»ããã©ã®ã»ã«ã¿ã¤ã
236	*/
237	celltype tSemaphore {
238	[inline] entry sSemaphore eSemaphore;
239	[inline] entry siSemaphore eiSemaphore;
240
241	[inline] entry siNotificationHandler eiNotificationHandler;
242
243	attr {
244	ID id = C_EXP("SEMID_$id$");
245	[omit] ATR attribute = C_EXP("TA_NULL");
246	[omit] uint_t initialCount;
247	[omit] uint_t maxCount = 1;
248	};
249
250	factory {
251	write("tecsgen.cfg", "CRE_SEM(%s, { %s, %s, %s });",
252	id, attribute, initialCount, maxCount);
253	};
254	FACTORY {
255	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
256	};
257	};
258
259	/*
260	* ã¤ãã³ããã©ã°æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
261	*/
262	signature sEventflag {
263	ER set([in] FLGPTN setPattern);
264	ER clear([in] FLGPTN clearPattern);
265	ER wait([in] FLGPTN waitPattern, [in] MODE waitMode,
266	[out] FLGPTN *p_flagPattern);
267	ER waitPolling([in] FLGPTN waitPattern, [in] MODE waitMode,
268	[out] FLGPTN *p_flagPattern);
269	ER waitTimeout([in] FLGPTN waitPattern, [in] MODE waitMode,
270	[out] FLGPTN *p_flagPattern, [in] TMO timeout);
271	ER initialize(void);
272	ER refer([out] T_RFLG *pk_eventflagStatus);
273	};
274
275	/*
276	* ã¤ãã³ããã©ã°æä½ã®ã·ã°ããã£ï¼éã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
277	*/
278	[context("non-task")]
279	signature siEventflag {
280	ER set([in] FLGPTN setPattern);
281	};
282
283	/*
284	* ã¤ãã³ããã©ã°ã®ã»ã«ã¿ã¤ã
285	*/
286	celltype tEventflag {
287	[inline] entry sEventflag eEventflag;
288	[inline] entry siEventflag eiEventflag;
289
290	[inline] entry siNotificationHandler eiNotificationHandler;
291
292	attr {
293	ID id = C_EXP("FLGID_$id$");
294	[omit] ATR attribute = C_EXP("TA_NULL");
295	[omit] FLGPTN flagPattern;
296	};
297
298	factory {
299	write("tecsgen.cfg", "CRE_FLG(%s, { %s, %s });",
300	id, attribute, flagPattern);
301	};
302	FACTORY {
303	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
304	};
305	};
306
307	/*
308	* ãã¼ã¿ãã¥ã¼æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
309	*/
310	signature sDataqueue {
311	ER send([in] intptr_t data);
312	ER sendPolling([in] intptr_t data);
313	ER sendTimeout([in] intptr_t data, [in] TMO timeout);
314	ER sendForce([in] intptr_t data);
315	ER receive([out] intptr_t *p_data);
316	ER receivePolling([out] intptr_t *p_Data);
317	ER receiveTimeout([out] intptr_t *p_data, [in] TMO timeout);
318	ER initialize(void);
319	ER refer([out] T_RDTQ *pk_dataqueueStatus);
320	};
321
322	/*
323	* ãã¼ã¿ãã¥ã¼æä½ã®ã·ã°ããã£ï¼éã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
324	*/
325	[context("non-task")]
326	signature siDataqueue {
327	ER sendPolling([in] intptr_t data);
328	ER sendForce([in] intptr_t data);
329	};
330
331	/*
332	* ãã¼ã¿ãã¥ã¼ã®ã»ã«ã¿ã¤ã
333	*/
334	celltype tDataqueue {
335	[inline] entry sDataqueue eDataqueue;
336	[inline] entry siDataqueue eiDataqueue;
337
338	[inline] entry siNotificationHandler eiNotificationHandler;
339
340	attr {
341	ID id = C_EXP("DTQID_$id$");
342	[omit] ATR attribute = C_EXP("TA_NULL");
343	[omit] uint_t dataCount = 1;
344	[omit] void *dataqueueManagementBuffer = C_EXP("NULL");
345	};
346
347	factory {
348	write("tecsgen.cfg", "CRE_DTQ(%s, { %s, %s, %s });",
349	id, attribute, dataCount, dataqueueManagementBuffer);
350	};
351	FACTORY {
352	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
353	};
354	};
355
356	/*
357	* åªå
358	åº¦ãã¼ã¿ãã¥ã¼æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
359	*/
360	signature sPriorityDataqueue {
361	ER send([in] intptr_t data, [in] PRI dataPriority);
362	ER sendPolling([in] intptr_t data, [in] PRI dataPriority);
363	ER sendTimeout([in] intptr_t data, [in] PRI dataPriority,
364	[in] TMO timeout);
365	ER receive([out] intptr_t p_data, [out] PRI p_dataPriority);
366	ER receivePolling([out] intptr_t p_data, [out] PRI p_dataPriority);
367	ER receiveTimeout([out] intptr_t p_data, [out] PRI p_dataPriority,
368	[in] TMO timeout);
369	ER initialize(void);
370	ER refer([out] T_RPDQ *pk_priorityDataqueueStatus);
371	};
372
373	/*
374	* åªå
375	åº¦ãã¼ã¿ãã¥ã¼æä½ã®ã·ã°ããã£ï¼éã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
376	*/
377	[context("non-task")]
378	signature siPriorityDataqueue {
379	ER sendPolling([in] intptr_t data, [in] PRI dataPriority);
380	};
381
382	/*
383	* åªå
384	åº¦ãã¼ã¿ãã¥ã¼ã®ã»ã«ã¿ã¤ã
385	*/
386	celltype tPriorityDataqueue {
387	[inline] entry sPriorityDataqueue ePriorityDataqueue;
388	[inline] entry siPriorityDataqueue eiPriorityDataqueue;
389
390	attr {
391	ID id = C_EXP("PDTQID_$id$");
392	[omit] ATR attribute = C_EXP("TA_NULL");
393	[omit] uint_t dataCount = 1;
394	[omit] PRI maxDataPriority;
395	[omit] void *priorityDataqueueManagementBuffer = C_EXP("NULL");
396	};
397
398	factory {
399	write("tecsgen.cfg", "CRE_PDQ(%s, { %s, %s, %s, %s});",
400	id, attribute, dataCount, maxDataPriority,
401	priorityDataqueueManagementBuffer);
402	};
403	FACTORY {
404	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
405	};
406	};
407
408	/*
409	* ãã¥ã¼ããã¯ã¹æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
410	*/
411	signature sMutex {
412	ER lock(void);
413	ER lockPolling(void);
414	ER lockTimeout([in] TMO timeout);
415	ER unlock(void);
416	ER initialize(void);
417	ER refer([out] T_RSEM *pk_mutexStatus);
418	};
419
420	/*
421	* ãã¥ã¼ããã¯ã¹ã®ã»ã«ã¿ã¤ã
422	*/
423	celltype tMutex {
424	[inline] entry sMutex eMutex;
425
426	attr {
427	ID id = C_EXP("MTXID_$id$");
428	[omit] ATR attribute = C_EXP("TA_NULL");
429	[omit] PRI ceilingPriority;
430	};
431
432	factory {
433	write("tecsgen.cfg", "CRE_MTX(%s, { %s, %s });",
434	id, attribute, ceilingPriority);
435	};
436	FACTORY {
437	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
438	};
439	};
440
441	/*
442	* åºå®é·ã¡ã¢ãªã¡ã¢ãªãã¼ã«æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
443	*/
444	[deviate]
445	signature sFixedSizeMemoryPool {
446	ER get([out] void **p_block);
447	ER getPolling([out] void **p_block);
448	ER getTimeout([out] void **p_block, [in] TMO timeout);
449	ER release([in] const void *block);
450	ER initialize(void);
451	ER refer([out] T_RMPF *pk_fixedSizeMemoryPoolStatus);
452	};
453
454	/*
455	* åºå®é·ã¡ã¢ãªãã¼ã«ã®ã»ã«ã¿ã¤ã
456	*/
457	celltype tFixedSizeMemoryPool {
458	[inline] entry sFixedSizeMemoryPool eFixedSizeMemoryPool;
459
460	attr {
461	ID id = C_EXP("MPFID_$id$");
462	[omit] ATR attribute = C_EXP("TA_NULL");
463	[omit] uint_t blockCount;
464	[omit] uint_t blockSize;
465	[omit] MPF_T *memoryPool = C_EXP("NULL");
466	[omit] void *memoryPoolManagementBuffer = C_EXP("NULL");
467	};
468
469	factory {
470	write("tecsgen.cfg", "CRE_MPF(%s, {%s, %s, %s, %s, %s});",
471	id, attribute, blockCount, blockSize,
472	memoryPool, memoryPoolManagementBuffer);
473	};
474	FACTORY {
475	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
476	};
477	};
478
479	/*
480	* ãã³ãã©æ¬ä½ã®ã·ã°ããã£
481	*/
482	[context("non-task")]
483	signature siHandlerBody {
484	void main(void);
485	};
486
487	/*
488	* ã¿ã¤ã ã¤ãã³ããã³ãã©ãæå®ããããã®ã»ã«ã¿ã¤ã
489	*/
490	celltype tTimeEventHandler {
491	entry siNotificationHandler eiNotificationHandler;
492	[omit] call siHandlerBody ciHandlerBody;
493
494	FACTORY {
495	write("tecsgen.cfg", "#include \"$ct$_tecsgen.h\"");
496	};
497	};
498
499	/*
500	* å¨æéç¥ãæä½ããããã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
501	*/
502	signature sCyclic {
503	ER start(void);
504	ER stop(void);
505	ER refer([out]T_RCYC *pk_cyclicHandlerStatus);
506	};
507
508	/*
509	* å¨æéç¥ã®ã»ã«ã¿ã¤ã
510	*/
511	[active, generate(NotifierPlugin,
512	"factory=\"CRE_CYC({{id}}, { {{attribute}}, { {{_handler_params_}} }, "
513	"{{cycleTime}}, {{cyclePhase}} });\", output_file=tecsgen.cfg")]
514	celltype tCyclicNotifier {
515	[inline] entry sCyclic eCyclic;
516
517	call siNotificationHandler ciNotificationHandler;
518	[optional] call siNotificationHandler ciErrorNotificationHandler;
519
520	attr {
521	ID id = C_EXP("ALMID_$id$");
522	[omit] ATR attribute = C_EXP("TA_NULL");
523	[omit] bool_t ignoreErrors = false;
524	[omit] RELTIM cycleTime;
525	[omit] RELTIM cyclePhase = 0;
526
527	/* å¤æ°ã®è¨å®ã«ããéç¥ï¼TNFY_SETVARï¼*/
528	[omit] intptr_t *setVariableAddress = 0;
529	[omit] intptr_t setVariableValue = 0;
530
531	/* å¤æ°ã®ã¤ã³ã¯ãªã¡ã³ãã«ããéç¥ï¼TNFY_INCVARï¼*/
532	[omit] intptr_t *incrementedVariableAddress = 0;
533
534	/* ã¤ãã³ããã©ã°ã®ã»ããã«ããéç¥ï¼TNFY_SETFLGï¼*/
535	[omit] FLGPTN flagPattern = 0;
536
537	/* ãã¼ã¿ãã¥ã¼ã¸ã®éä¿¡ã«ããéç¥ï¼TNFY_SNDDTQï¼*/
538	[omit] intptr_t dataqueueSentValue = 0;
539
540	/* å¤æ°ã®è¨å®ã«ããã¨ã©ã¼éç¥ï¼TENFY_SETVARï¼*/
541	[omit] intptr_t *setVariableAddressForError = 0;
542
543	/* å¤æ°ã®ã¤ã³ã¯ãªã¡ã³ãã«ããã¨ã©ã¼éç¥ï¼TENFY_INCVARï¼*/
544	[omit] intptr_t *incrementedVariableAddressForError = 0;
545
546	/* ã¤ãã³ããã©ã°ã®ã»ããã«ããã¨ã©ã¼éç¥ï¼TENFY_SETFLGï¼*/
547	[omit] FLGPTN flagPatternForError = 0;
548	};
549
550	FACTORY {
551	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
552	};
553	};
554
555	/*
556	* å¨æéç¥ã«ã¦ã¼ã¶ã¼ãã³ãã©ãæå®ããããã®è¤åã»ã«ã¿ã¤ã
557	*/
558	[active]
559	composite tCyclicHandler {
560	entry sCyclic eCyclic;
561	[omit] call siHandlerBody ciHandlerBody;
562
563	attr {
564	ID id = C_EXP("ALMID_$id$");
565	[omit] ATR attribute = C_EXP("TA_NULL");
566	[omit] RELTIM cycleTime;
567	[omit] RELTIM cyclePhase = 0;
568	};
569
570	cell tCyclicNotifier CyclicNotifier {
571	id = composite.id;
572	attribute = composite.attribute;
573	ciNotificationHandler = TimeEventHandler.eiNotificationHandler;
574	cycleTime = composite.cycleTime;
575	cyclePhase = composite.cyclePhase;
576	};
577
578	cell tTimeEventHandler TimeEventHandler {
579	ciHandlerBody => composite.ciHandlerBody;
580	};
581
582	eCyclic => CyclicNotifier.eCyclic;
583	};
584
585	/*
586	* ã¢ã©ã¼ã éç¥ãæä½ããããã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
587	*/
588	signature sAlarm {
589	ER start([in] RELTIM alarmTime);
590	ER stop(void);
591	ER refer([out]T_RALM *pk_alarmStatus);
592	};
593
594	/*
595	* ã¢ã©ã¼ã éç¥ãæä½ããããã®ã·ã°ããã£ï¼éã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
596	*/
597	[context("non-task")]
598	signature siAlarm {
599	ER start([in] RELTIM alarmTime);
600	ER stop(void);
601	};
602
603	/*
604	* ã¢ã©ã¼ã éç¥ã®ã»ã«ã¿ã¤ã
605	*/
606	[active, generate(NotifierPlugin,
607	"factory=\"CRE_ALM({{id}}, { {{attribute}}, {{{_handler_params_}}} });\", "
608	"output_file=tecsgen.cfg")]
609	celltype tAlarmNotifier {
610	[inline] entry sAlarm eAlarm;
611	[inline] entry siAlarm eiAlarm;
612
613	call siNotificationHandler ciNotificationHandler;
614	[optional] call siNotificationHandler ciErrorNotificationHandler;
615
616	attr {
617	ID id = C_EXP("ALMID_$id$");
618	[omit] ATR attribute = C_EXP("TA_NULL");
619	[omit] bool_t ignoreErrors = false;
620
621	/* å¤æ°ã®è¨å®ã«ããéç¥ï¼TNFY_SETVARï¼*/
622	[omit] intptr_t *setVariableAddress = 0;
623	[omit] intptr_t setVariableValue = 0;
624
625	/* å¤æ°ã®ã¤ã³ã¯ãªã¡ã³ãã«ããéç¥ï¼TNFY_INCVARï¼*/
626	[omit] intptr_t *incrementedVariableAddress = 0;
627
628	/* ã¤ãã³ããã©ã°ã®ã»ããã«ããéç¥ï¼TNFY_SETFLGï¼*/
629	[omit] FLGPTN flagPattern = 0;
630
631	/* ãã¼ã¿ãã¥ã¼ã¸ã®éä¿¡ã«ããéç¥ï¼TNFY_SNDDTQï¼*/
632	[omit] intptr_t dataqueueSentValue = 0;
633
634	/* å¤æ°ã®è¨å®ã«ããã¨ã©ã¼éç¥ï¼TENFY_SETVARï¼*/
635	[omit] intptr_t *setVariableAddressForError = 0;
636
637	/* å¤æ°ã®ã¤ã³ã¯ãªã¡ã³ãã«ããã¨ã©ã¼éç¥ï¼TENFY_INCVARï¼*/
638	[omit] intptr_t *incrementedVariableAddressForError = 0;
639
640	/* ã¤ãã³ããã©ã°ã®ã»ããã«ããã¨ã©ã¼éç¥ï¼TENFY_SETFLGï¼*/
641	[omit] FLGPTN flagPatternForError = 0;
642	};
643
644	FACTORY {
645	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
646	};
647	};
648
649	/*
650	* ã¢ã©ã¼ã éç¥ã«ã¦ã¼ã¶ã¼ãã³ãã©ãæå®ããããã®è¤åã»ã«ã¿ã¤ã
651	*/
652	[active]
653	composite tAlarmHandler {
654	entry sAlarm eAlarm;
655	entry siAlarm eiAlarm;
656	[omit] call siHandlerBody ciHandlerBody;
657
658	attr {
659	ID id = C_EXP("ALMID_$id$");
660	[omit] ATR attribute = C_EXP("TA_NULL");
661	};
662
663	cell tAlarmNotifier AlarmNotifier {
664	id = composite.id;
665	attribute = composite.attribute;
666	ciNotificationHandler = TimeEventHandler.eiNotificationHandler;
667	};
668
669	cell tTimeEventHandler TimeEventHandler {
670	ciHandlerBody => composite.ciHandlerBody;
671	};
672
673	eAlarm => AlarmNotifier.eAlarm;
674	eiAlarm => AlarmNotifier.eiAlarm;
675	};
676
677	/*
678	* å²è¾¼ã¿è¦æ±ã©ã¤ã³æä½ã®ã·ã°ããã£ï¼ã¿ã¹ã¯ã³ã³ããã¹ãç¨ï¼
679	*/
680	signature sInterruptRequest {
681	ER disable(void);
682	ER enable(void);
683	ER clear(void);
684	ER raise(void);
685	ER_BOOL probe(void);
686	};
687
688	/*
689	* å²è¾¼ã¿è¦æ±ã©ã¤ã³ã®ã»ã«ã¿ã¤ã
690	*/
691	celltype tInterruptRequest {
692	[inline] entry sInterruptRequest eInterruptRequest;
693
694	attr {
695	INTNO interruptNumber;
696	[omit] ATR attribute = C_EXP("TA_NULL");
697	[omit] PRI interruptPriority;
698	};
699
700	factory {
701	write("tecsgen.cfg", "CFG_INT(%s, { %s, %s });",
702	interruptNumber, attribute, interruptPriority);
703	};
704	};
705
706	/*
707	* å²è¾¼ã¿ãµã¼ãã¹ã«ã¼ãã³ã®ã»ã«ã¿ã¤ã
708	*/
709	[active]
710	celltype tISR {
711	call siHandlerBody ciISRBody;
712
713	attr {
714	ID id = C_EXP("ISRID_$id$");
715	[omit] ATR attribute = C_EXP("TA_NULL");
716	[omit] INTNO interruptNumber;
717	[omit] PRI isrPriority = 1;
718	};
719
720	factory {
721	write("tecsgen.cfg", "CRE_ISR(%s, { %s, $cbp$, %s, tISR_start, %s });",
722	id, attribute, interruptNumber, isrPriority);
723	};
724	FACTORY {
725	write("tecsgen.cfg", "#include \"$ct$_tecsgen.h\"");
726	write("$ct$_factory.h", "#include \"kernel_cfg.h\"");
727	};
728	};
729
730	/*
731	* å²è¾¼ã¿ãã³ãã©ã®ã»ã«ã¿ã¤ã
732	*/
733	[active]
734	celltype tInterruptHandler {
735	call siHandlerBody ciInterruptHandlerBody;
736
737	attr {
738	INHNO interruptHandlerNumber;
739	[omit] ATR attribute = C_EXP("TA_NULL");
740	};
741
742	factory {
743	write("tecsgen.cfg",
744	"DEF_INH(%s, { %s, tInterruptHandler_start });", attribute);
745	};
746	FACTORY {
747	write("tecsgen.cfg", "#include \"$ct$_tecsgen.h\"");
748	};
749	};
750
751	/*
752	* CPUä¾å¤ãã³ãã©ã®ã»ã«ã¿ã¤ã
753	*/
754	[active]
755	celltype tCpuExceptionHandler {
756	call siHandlerBody ciCpuExceptionHandlerBody;
757
758	attr {
759	EXCNO cpuExceptionHandlerNumber;
760	[omit] ATR attribute = C_EXP("TA_NULL");
761	};
762
763	factory {
764	write("tecsgen.cfg",
765	"DEF_EXC(%s, { %s, tCpuExceptionHandler_start });", attribute);
766	};
767	FACTORY {
768	write("tecsgen.cfg", "#include \"$ct$_tecsgen.h\"");
769	};
770	};
771
772	/*
773	* åæåï¼çµäºå¦çã«ã¼ãã³æ¬ä½ã®ã·ã°ããã£
774	*/
775	signature sRoutineBody {
776	void main(void);
777	};
778
779	/*
780	* åæåã«ã¼ãã³ã®ã»ã«ã¿ã¤ã
781	*/
782	[active]
783	celltype tInitializeRoutine {
784	call sRoutineBody cInitializeRoutineBody;
785
786	attr {
787	[omit] ATR attribute = C_EXP("TA_NULL");
788	};
789
790	factory {
791	write("tecsgen.cfg",
792	"ATT_INI({ %s, $cbp$, tInitializeRoutine_start });",
793	attribute);
794	};
795	FACTORY {
796	write("tecsgen.cfg", "#include \"$ct$_tecsgen.h\"");
797	};
798	};
799
800	/*
801	* çµäºå¦çã«ã¼ãã³ã®ã»ã«ã¿ã¤ã
802	*/
803	[active]
804	celltype tTerminateRoutine {
805	call sRoutineBody cTerminateRoutineBody;
806
807	attr {
808	[omit] ATR attribute = C_EXP("TA_NULL");
809	};
810
811	factory {
812	write("tecsgen.cfg",
813	"ATT_TER({ %s, $cbp$, tTerminateRoutine_start });", attribute);
814	};
815	FACTORY {
816	write("tecsgen.cfg", "#include \"$ct$_tecsgen.h\"");
817	};
818	};

Note: See TracBrowser for help on using the repository browser.

Download in other formats:

Original Format