- __deque= new_spec_list();
- tag = new_id_tag(); // Beginning of available id
- @DefineFunc:
- tag_elem_t* new_tag_elem(call_id_t id, int data) {
- tag_elem_t *e = (tag_elem_t*) CMODEL_MALLOC(sizeof(tag_elem_t));
- e->id = id;
- e->data = data;
- return e;
- }
- @DefineFunc:
- call_id_t get_id(void *wrapper) {
- return ((tag_elem_t*) wrapper)->id;
- }
- @DefineFunc:
- int get_data(void *wrapper) {
- return ((tag_elem_t*) wrapper)->data;
- }
+ __deque = createIntegerList();
+ @Finalize:
+ if (__deque)
+ destroyIntegerList(__deque);
+ return true;
+ @DefineFunc:
+ bool succ(int res) {
+ return res != EMPTY && res != ABORT;
+ }