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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
/*---------------------------------------------------------------------------*
* smtsimu.d - LIBERO dialog data definitions for smtsimu.c. *
* Generated by LIBERO 2.4 on 11 Oct, 2010, 17:15. *
* Schema file used: smtschm.c. *
*---------------------------------------------------------------------------*/
/*- Symbolic constants and event numbers ------------------------------------*/
#define _LR_STOP 0xFFFFL
#define _LR_NULL_EVENT -2
#define _LR_NULL_STATE -1
#define terminate_event -1
#define alarm_event 0
#define error_event 1
#define ok_event 2
#define shutdown_event 3
#define _LR_STATE_after_init 0
#define _LR_STATE_getting_event 1
#define _LR_STATE_defaults 2
#define _LR_defaults_state 2
/*- Function prototypes and macros ------------------------------------------*/
#ifndef MODULE
#define MODULE static void /* Libero dialog modules */
#endif
MODULE initialise_the_thread (THREAD *thread);
MODULE terminate_the_thread (THREAD *thread);
MODULE make_socket_call (THREAD *thread);
MODULE get_next_event_from_queue (THREAD *thread);
#define the_next_event _the_next_event
#define the_exception_event _the_exception_event
#define the_external_event _the_external_event
#define exception_raised _exception_raised
#define io_completed _io_completed
/*- Static areas shared by all threads --------------------------------------*/
static word _LR_nextst [3][4] =
{
{ 0,0,1,0 },
{ 1,0,0,0 },
{ 0,0,0,2 }
};
static word _LR_action [3][4] =
{
{ 0,2,1,0 },
{ 3,0,0,0 },
{ 0,0,0,2 }
};
#if (defined (SMT_PROFILE))
static word _LR_count [3];
static long _LR_time [3];
static word _LR_flow [3][4];
#endif
static word _LR_offset [] =
{
0,
0,
1,
3
};
static word _LR_vector [] =
{
_LR_STOP,
0,_LR_STOP,
1,2,_LR_STOP
};
static HOOK *_LR_module [3] = {
terminate_the_thread,
make_socket_call,
get_next_event_from_queue
};
#if (defined (DEBUG))
static char *_LR_mname [3] =
{
"Terminate-The-Thread",
"Make-Socket-Call",
"Get-Next-Event-From-Queue"
};
static char *_LR_sname [3] =
{
"After-Init",
"Getting-Event",
"Defaults"
};
static char *_LR_ename [4] =
{
"Alarm-Event",
"Error-Event",
"Ok-Event",
"Shutdown-Event"
};
#else
static char *_LR_mname [3] =
{
"0",
"1",
"2"
};
static char *_LR_sname [3] =
{
"0",
"1",
"2"
};
static char *_LR_ename [4] =
{
"0",
"1",
"2",
"3"
};
#endif
|
