Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tree: b7a8c28ab2
Fetching contributors…

Cannot retrieve contributors at this time

32 lines (30 sloc) 1.465 kB
/*---------------------------------------------------------------------------*
* smttst1.i - LIBERO dialog interpreter for smttst1.c. *
* Generated by LIBERO 2.4 on 22 Jul, 2004, 16:52. *
* 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-> stack_size = 0;
agent-> initialise = initialise_the_thread;
agent-> maxevent = 4;
agent-> maxmodule = 2;
agent-> maxstate = 3;
agent-> priority = SMT_PRIORITY_NORMAL;
agent-> LR_defaults = 2;
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;
Jump to Line
Something went wrong with that request. Please try again.