src/Headers/mtMergeNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtMergeNode.h
   8 */
   9
  10 # ifndef MTMERGENODE_H
  11 # define MTMERGENODE_H
  12
  13 struct s_mtMergeNode {
  14   mtMergeClauseList mlist;
  15 } ;
  16
  17 extern mtMergeNode mtMergeNode_create (/*@only@*/ mtMergeClauseList) /*@*/ ;
  18 extern void mtMergeNode_free (/*@only@*/ mtMergeNode) ;
  19
  20 extern cstring mtMergeNode_unparse (mtMergeNode p_node) /*@*/ ;
  21
  22 extern /*@observer@*/ mtMergeClauseList mtMergeNode_getClauses (mtMergeNode p_node) /*@*/ ;
  23 # define mtMergeNode_getClauses(p_node) ((p_node)->mlist)
  24
  25 # else
  26 # error "Multiple include"
  27 # endif