Project

General

Profile

Download (540 Bytes) Statistics
| Branch: | Tag: | Revision:
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
}
(6-6/20)