src/Headers/mtTransferClause.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtTransferClause.h
   8 */
   9
  10 # ifndef MTTRANSFERCLAUSE_H
  11 # define MTTRANSFERCLAUSE_H
  12
  13 struct s_mtTransferClause {
  14   fileloc loc;
  15   cstring fromname;
  16   cstring toname;
  17   mtTransferAction action;
  18 } ;
  19
  20 extern cstring mtTransferClause_unparse (mtTransferClause p_node) /*@*/ ;
  21
  22 extern mtTransferClause
  23 mtTransferClause_create (/*@only@*/ mttok p_fromname, /*@only@*/ mttok p_toname,
  24                          /*@only@*/ mtTransferAction p_action) /*@*/ ;
  25
  26 extern /*@observer@*/ cstring mtTransferClause_getFrom (mtTransferClause) /*@*/ ;
  27 # define mtTransferClause_getFrom(p_trans) ((p_trans)->fromname)
  28
  29 extern /*@observer@*/ cstring mtTransferClause_getTo (mtTransferClause) /*@*/ ;
  30 # define mtTransferClause_getTo(p_trans) ((p_trans)->toname)
  31
  32 extern /*@observer@*/ mtTransferAction mtTransferClause_getAction (mtTransferClause) /*@*/ ;
  33 # define mtTransferClause_getAction(p_trans) ((p_trans)->action)
  34
  35 extern /*@observer@*/ fileloc mtTransferClause_getLoc (mtTransferClause) /*@*/ ;
  36 # define mtTransferClause_getLoc(p_trans) ((p_trans)->loc)
  37
  38 extern void mtTransferClause_free (/*@only@*/ mtTransferClause p_transfer) ;
  39
  40 # else
  41 # error "Multiple include"
  42 # endif