src/Headers/mtDefaultsDecl.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtDefaultsDecl.h
   8 */
   9
  10 # ifndef mtDefaultsDecl_H
  11 # define mtDefaultsDecl_H
  12
  13 struct s_mtDefaultsDecl {
  14   mtContextNode context;
  15   cstring value;
  16   fileloc loc;
  17 } ;
  18
  19 extern cstring mtDefaultsDecl_unparse (mtDefaultsDecl p_node) /*@*/ ;
  20
  21 extern mtDefaultsDecl
  22 mtDefaultsDecl_create (/*@only@*/ mtContextNode p_context,
  23                        /*@only@*/ mttok p_value) /*@*/ ;
  24
  25 extern /*@observer@*/ fileloc mtDefaultsDecl_getLoc (mtDefaultsDecl) /*@*/ ;
  26 # define mtDefaultsDecl_getLoc(p_dd) ((p_dd)->loc)
  27
  28 extern /*@observer@*/ mtContextNode mtDefaultsDecl_getContext (mtDefaultsDecl) /*@*/ ;
  29 # define mtDefaultsDecl_getContext(p_dd) ((p_dd)->context)
  30
  31 extern /*@observer@*/ cstring mtDefaultsDecl_getValue (mtDefaultsDecl) /*@*/ ;
  32 # define mtDefaultsDecl_getValue(p_dd) ((p_dd)->value)
  33
  34 extern void mtDefaultsDecl_free (/*@only@*/ mtDefaultsDecl) ;
  35
  36 # else
  37 # error "Multiple include"
  38 # endif