DAL Header file

1. #ifndef DAL_H

2. #define DAL_H

4. struct _process;

5. typedef struct _local_states *LocalState;

7. typedef void (*ProcessInit)(struct _process*);

8. typedef void (*ProcessFinish)(struct _process*);

9. typedef int (*ProcessFire)(struct _process*);

10. typedef void *WPTR;

12. // process handler

13. typedef struct _process {

14.     LocalState     local;  (*@ \label{process_local} @*)

15.     ProcessInit    init;   (*@ \label{process_init} @*)

16.     ProcessFinish  finish; (*@ \label{process_finish} @*)

17.     ProcessFire    fire;   (*@ \label{process_fire} @*)

18.     WPTR           wptr;   (*@ \label{process_wptr} @*)

19. } DALProcess;

21. #endif