1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
/*---------------------------------------------------------------------------*
* smtrdns.i - LIBERO dialog interpreter for smtrdns.c. *
* Generated by LIBERO 2.4 on 11 Oct, 2010, 17:15. *
* Schema file used: smtschm.c. *
*---------------------------------------------------------------------------*/
if (agent_lookup (AGENT_NAME))
return (0); /* Agent already declared */
if ((agent = agent_declare (AGENT_NAME)) == NULL)
return (-1); /* Could not declare agent */
#if (defined (SINGLE_THREADED))
agent-> tcb_size = 0; /* No context block */
agent-> max_threads = 1; /* and max. 1 thread */
#else
agent-> tcb_size = sizeof (TCB);
#endif
agent-> initialise = initialise_the_thread;
agent-> maxevent = 26;
agent-> maxmodule = 45;
agent-> maxstate = 19;
agent-> priority = SMT_PRIORITY_NORMAL;
agent-> LR_defaults = 17;
agent-> LR_nextst = &_LR_nextst [0][0];
agent-> LR_action = &_LR_action [0][0];
agent-> LR_offset = _LR_offset;
agent-> LR_vector = _LR_vector;
agent-> LR_module = _LR_module;
agent-> LR_mname = _LR_mname;
agent-> LR_sname = _LR_sname;
agent-> LR_ename = _LR_ename;
#if (defined (SMT_PROFILE))
agent-> LR_count = &_LR_count [0];
agent-> LR_time = &_LR_time [0];
agent-> LR_flow = &_LR_flow [0][0];
memset (_LR_count, 0, sizeof (_LR_count));
memset (_LR_time, 0, sizeof (_LR_time));
#endif
|
