src/Headers/mtAnnotationsNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** mtAnnotationsNode.h
   8 */
   9
  10 # ifndef MTANNOTATIONSNODE_H
  11 # define MTANNOTATIONSNODE_H
  12
  13 struct s_mtAnnotationsNode {
  14   mtAnnotationList annots;
  15 } ;
  16
  17 extern mtAnnotationsNode mtAnnotationsNode_create (/*@only@*/ mtAnnotationList p_annots) /*@*/ ;
  18
  19 extern /*@observer@*/ mtAnnotationList mtAnnotationsNode_getAnnotations (mtAnnotationsNode p_node) /*@*/ ;
  20 # define mtAnnotationsNode_getAnnotations(node) ((node)->annots)
  21
  22 extern cstring mtAnnotationsNode_unparse (mtAnnotationsNode p_node) /*@*/ ;
  23 extern void mtAnnotationsNode_free (/*@only@*/ mtAnnotationsNode) ;
  24
  25 # else
  26 # error "Multiple include"
  27 # endif