src/Headers/sigNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6
   7 typedef struct {
   8   ltoken tok;
   9   ltokenList domain;
  10   ltoken range;
  11   unsigned long int key;
  12 } *sigNode;
  13
  14 extern /*@only@*/ cstring sigNode_unparse (/*@null@*/ sigNode p_n) /*@*/ ;
  15 extern void sigNode_free (/*@only@*/ /*@null@*/ sigNode p_x);
  16 extern /*@only@*/ sigNode sigNode_copy (sigNode p_s) /*@*/ ;
  17 extern void sigNode_markOwned (/*@owned@*/ sigNode p_n);
  18