src/Headers/mtDefaultsNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtDefaultsNode.h
   8 */
   9
  10 # ifndef MTDEFAULTSNODE_H
  11 # define MTDEFAULTSNODE_H
  12
  13 struct s_mtDefaultsNode {
  14   mtDefaultsDeclList decls;
  15   fileloc loc;
  16 } ;
  17
  18 extern mtDefaultsNode mtDefaultsNode_create (/*@only@*/ mttok,
  19                                              /*@only@*/ mtDefaultsDeclList) /*@*/ ;
  20
  21 extern void mtDefaultsNode_free (/*@only@*/ mtDefaultsNode) ;
  22
  23 extern /*@observer@*/ mtDefaultsDeclList mtDefaultsNode_getDecls (mtDefaultsNode) /*@*/ ;
  24 # define mtDefaultsNode_getDecls(n) ((n)->decls)
  25
  26 extern cstring mtDefaultsNode_unparse (mtDefaultsNode p_node) /*@*/ ;
  27
  28 # else
  29 # error "Multiple include"
  30 # endif