| iMatix home page | << | < | > | >>

SMT Version 2.81

SMT Kernel API functions

Filename: smtlib.h
Package: Libero SMT 2.x
Written: 1996/05/27 iMatix SMT kernel team smt@imatix.com
Revised: 1999/08/01
Copyright: Copyright (c) 1991-2000 iMatix Corporation

Synopsis

Defines the functions and objects used in the SMT kernel API.

List of Functions

• int smt init
  (void);
• int smt term
  (void);
• int smt exec full
  (void);
• Bool smt exec step
  (void);
• Bool smt active
  (void);
• void smt set console
  (const QID *qid);
• void smt set timer
  (const QID *qid);
• int smt atexit
  (function exit_function);
• void smt shutdown
  (void);
• char * smt crash report
  (void);
• void smt set step
  (const char *step);
• AGENT * agent declare
  (const char *agent_name);
• AGENT * agent lookup
  (const char *agent);
• int agent destroy
  (AGENT *agent);
• METHOD * method declare
  (AGENT *agent, const char *method_name, event_t number, int priority);
• METHOD * method lookup
  (const AGENT *agent, const char *method);
• int method destroy
  (METHOD *method);
• QUEUE * queue create
  (AGENT *agent, int max_events);
• QUEUE * queue lookup
  (const QID *qid);
• int queue destroy
  (QUEUE *queue);
• int queue flush
  (QUEUE *queue);
• int queue deliver
  (QUEUE *queue, THREAD *thread);
• int event send
  (const QID *to, const QID *from, char *name, byte *body, size_t body_size, char *accept, char *reject, char *expire, word timeout);
• EVENT * event accept
  (QUEUE *queue, EVENT *event);
• int event reject
  (QUEUE *queue, EVENT *event);
• int event expire
  (QUEUE *queue, EVENT *event);
• int event discard
  (QUEUE *queue, EVENT *event);
• EVENT * event iterate
  (QUEUE *queue, EVENT *event);
• int event destroy
  (EVENT *event);
• void event wait
  (void);
• THREAD * thread create
  (const char *agent, const char *thread);
• THREAD * thread lookup
  (const char *agent, const char *thread);
• int thread destroy
  (THREAD *thread, Bool cleanup);
• SEMAPH * semaph create
  (const char *name, int value);
• SEMAPH * semaph lookup
  (const char *name);
• int semaph destroy
  (SEMAPH *semaph);
• int semaph wait
  (SEMAPH *semaph);
• int semaph signal
  (SEMAPH *semaph);
• int lazy creat
  (char *path, int mode);
• int lazy creat text
  (char *path, int mode);
• int lazy open
  (char *path, int flags);
• int lazy open text
  (char *path, int flags);
• int lazy read
  (int handle, char *buffer, size_t count);
• int lazy write
  (int handle, char *buffer, size_t count);
• int lazy close
  (int handle);
• int senderr
  (const QID *to_queue);
• int sendfmt
  (const QID *to_queue, char *name, char *format,...);
• void raise exception
  (event_t event);
• void recycle module
  (Bool wanted);

List of Symbol Definitions

smtlib.h defines these symbols, possibly conditionally:

Symbol:	Defined as:
SEND(q,name,s)	event_send ((q), NULL, (name), (byte *) (s),
SMT_ACTION_STOP	0xFFFFL /* End of module list */
SMT_AGENTEXISTS	15 /* Agent already declared */
SMT_AGENTNOTREADY	16 /* Agent not initialised */
SMT_AGENT_NORMAL	0 /* 1 queue for 1 thread */
SMT_AGENT_ROUTER	1 /* 1 queue for n threads */
SMT_EVENTEXISTS	1 /* Event already declared */
SMT_INTERNALERROR	2 /* Agent had internal error */
SMT_LOOP_DETECTION	2 /* After this, we abort */
SMT_METHODEXISTS	3 /* Method already declared */
SMT_NOERRORS	0 /* No errors */
SMT_NOSUCHAGENT	8 /* Agent not defined */
SMT_NOSUCHEVENT	4 /* Unknown event name */
SMT_NOSUCHMETHOD	5 /* Unknown method name */
SMT_NOSUCHQUEUE	6 /* Event queue not defined */
SMT_NOSUCHSEMAPH	7 /* Unknown semaphore name */
SMT_NOSUCHTHREAD	9 /* Thread not declared */
SMT_NOTREADY	10 /* SMT API not initialised */
SMT_NULL_EVENT	-2 /* No event provided */
SMT_NULL_STATE	-1 /* Thread not initialised */
SMT_OUTOFMEMORY	11 /* Not enough heap memory left */
SMT_PRIORITY_HIGH	200 /* High priority */
SMT_PRIORITY_LOW	50 /* Low priority */
SMT_PRIORITY_MAX	255 /* Highest priority */
SMT_PRIORITY_MIN	1 /* Lowest priority */
SMT_PRIORITY_NORMAL	100 /* Default priority */
SMT_PRIORITY_NULL	0 /* Illegal (null) priority */
SMT_QUEUEISEMPTY	12 /* Event queue is empty */
SMT_QUEUEISFULL	13 /* Event queue is full */
SMT_SEMAPHEXISTS	14 /* Semaphore already exists */
SMT_SHUTDOWN	"w" /* Shutdown signal */
SMT_SIGNAL_ALRM	4 /* SIGALRM - timer signal */
SMT_SIGNAL_INT	1 /* SIGINT - interrupted */
SMT_SIGNAL_SEGV	3 /* SIGSEGV - segment violation */
SMT_SIGNAL_TERM	2 /* SIGTERM - cancelled */
SMT_SIGNAL_USER	5 /* User shutdown request */
SMT_TERM_EVENT	-1 /* Terminate the thread */
SMT_THREADEXISTS	17 /* Thread already declared */
SMT_THREAD_ACTIVE	1 /* Active and executing */
SMT_THREAD_PASSIVE	2 /* Passive, between states */
SMT_THREAD_WAIT_EVENT	3 /* Waiting for an event */
SMT_THREAD_WAIT_SEMAPH	4 /* Waiting for a semaphore */
SMT_TOOMANYTHREADS	18 /* Too many threads */
SMT_VERSION	"2.71" /* Main SMT version number */
_SMTLIB_INCLUDED	TRUE

List of Type Definitions

| << | < | > | >>

Copyright © 1996-99 iMatix Corporation