src/Headers/mtLoseReference.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtLoseReference.h
   8 */
   9
  10 # ifndef MTLoseReference_H
  11 # define MTLoseReference_H
  12
  13 struct s_mtLoseReference {
  14   fileloc loc;
  15   cstring fromname;
  16   mtTransferAction action;
  17 } ;
  18
  19 extern cstring mtLoseReference_unparse (mtLoseReference p_node) /*@*/ ;
  20
  21 extern mtLoseReference
  22 mtLoseReference_create (/*@only@*/ mttok p_fromname,
  23                          /*@only@*/ mtTransferAction p_action) /*@*/ ;
  24
  25 extern /*@observer@*/ cstring mtLoseReference_getFrom (mtLoseReference) /*@*/ ;
  26 # define mtLoseReference_getFrom(p_trans) ((p_trans)->fromname)
  27
  28 extern /*@observer@*/ mtTransferAction mtLoseReference_getAction (mtLoseReference) /*@*/ ;
  29 # define mtLoseReference_getAction(p_trans) ((p_trans)->action)
  30
  31 extern /*@observer@*/ fileloc mtLoseReference_getLoc (mtLoseReference) /*@*/ ;
  32 # define mtLoseReference_getLoc(p_trans) ((p_trans)->loc)
  33
  34 extern void mtLoseReference_free (/*@only@*/ mtLoseReference p_transfer) ;
  35
  36 # else
  37 # error "Multiple include"
  38 # endif