src/Headers/varNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 */
   5
   6 # ifndef VARNODE_H
   7 # define VARNODE_H
   8
   9 typedef struct { /* with sort, useful in quantified */
  10   ltoken varid;
  11   bool isObj;
  12   lclTypeSpecNode type;
  13   sort sort;
  14 } *varNode;
  15
  16 extern varNode varNode_copy (varNode p_x);
  17 extern void varNode_free (/*@only@*/ /*@null@*/ varNode p_x);
  18
  19 # else
  20 # error "Multiple include"
  21 # endif