1
|
#include <stdlib.h>
|
2
|
#include <assert.h>
|
3
|
#include "arrow_spec.h"
|
4
|
|
5
|
struct _arrow_mem * _arrow_alloc () {
|
6
|
struct _arrow_mem *_alloc;
|
7
|
_alloc = (struct _arrow_mem *) malloc(sizeof(struct _arrow_mem *));
|
8
|
assert (_alloc);
|
9
|
return _alloc;
|
10
|
}
|
11
|
|
12
|
void _arrow_dealloc (struct _arrow_mem * _alloc) {
|
13
|
free (_alloc);
|
14
|
}
|
15
|
|
16
|
_Bool _arrow_step(struct _arrow_mem *self)
|
17
|
/*@ ghost (struct _arrow_mem_ghost \ghost *mem) */
|
18
|
{
|
19
|
if (self->_reg._first) {
|
20
|
self->_reg._first = 0;
|
21
|
//@ ghost _arrow_step_ghost(*mem);
|
22
|
return 1;
|
23
|
}
|
24
|
return 0;
|
25
|
}
|