src/Headers/refTable-branch.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 */
   5 /*
   6 ** refTable.h
   7 */
   8
   9 # ifndef REFTABLE_H
  10 # define REFTABLE_H
  11
  12 /*@private@*/ typedef struct _refentry { int level; int index; } *refentry;
  13 /*@private@*/ typedef /*@only@*/ refentry o_refentry;
  14
  15 typedef /*@null@*/ struct s_refTable {
  16   int nelements;
  17   int nspace;
  18   o_refentry *elements;
  19 } *refTable;
  20
  21 extern /*@only@*/ refTable refTable_create (void) /*@*/ ;
  22 static void refTable_free (/*@only@*/ refTable p_x);
  23
  24
  25
  26 # else
  27 # error "Multiple include"
  28 # endif
  29
  30
  31