src/Headers/mtMergeClause.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtMergeClause.h
   8 */
   9
  10 # ifndef MTMERGECLAUSE_H
  11 # define MTMERGECLAUSE_H
  12
  13 struct s_mtMergeClause {
  14   mtMergeItem item1, item2;
  15   mtTransferAction action;
  16 } ;
  17
  18 extern cstring mtMergeClause_unparse (mtMergeClause p_node) /*@*/ ;
  19
  20 extern mtMergeClause
  21 mtMergeClause_create (/*@only@*/ mtMergeItem p_item1, /*@only@*/ mtMergeItem p_item2,
  22                       /*@only@*/ mtTransferAction p_action) ;
  23
  24 extern /*@observer@*/ mtMergeItem mtMergeClause_getItem1 (mtMergeClause) /*@*/ ;
  25 # define mtMergeClause_getItem1(p_merge) ((p_merge)->item1)
  26
  27 extern /*@observer@*/ mtMergeItem mtMergeClause_getItem2 (mtMergeClause) /*@*/ ;
  28 # define mtMergeClause_getItem2(p_merge) ((p_merge)->item2)
  29
  30 extern /*@observer@*/ mtTransferAction mtMergeClause_getAction (mtMergeClause) /*@*/ ;
  31 # define mtMergeClause_getAction(p_merge) ((p_merge)->action)
  32
  33 extern /*@observer@*/ fileloc mtMergeClause_getLoc (mtMergeClause) /*@*/ ;
  34 # define mtMergeClause_getLoc(p_merge) (mtMergeItem_getLoc ((p_merge)->item1))
  35
  36 extern void mtMergeClause_free (/*@only@*/ mtMergeClause p_merge) ;
  37
  38 # else
  39 # error "Multiple include"
  40 # endif