src/Headers/metaStateSpecifier.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 */
   5 /*
   6 ** metaStateSpecifier.h
   7 */
   8
   9 # ifndef METASTATESPECIFIER_H
  10 # define METASTATESPECIFIER_H
  11
  12 struct s_metaStateSpecifier {
  13   bool elipsis;
  14   sRef sr;
  15   /*@observer@*/ metaStateInfo msinfo;
  16 } ;
  17
  18 extern metaStateSpecifier
  19 metaStateSpecifier_create (/*@only@*/ sRef, /*@observer@*/ metaStateInfo) ;
  20
  21 extern metaStateSpecifier
  22 metaStateSpecifier_createElipsis (/*@observer@*/ metaStateInfo) ;
  23
  24 extern bool metaStateSpecifier_isElipsis (metaStateSpecifier) /*@*/ ;
  25 extern /*@exposed@*/ sRef metaStateSpecifier_getSref (metaStateSpecifier) /*@*/ ;
  26 extern /*@observer@*/ metaStateInfo metaStateSpecifier_getMetaStateInfo (metaStateSpecifier) /*@*/ ;
  27
  28 extern cstring metaStateSpecifier_unparse (metaStateSpecifier) /*@*/ ;
  29 extern metaStateSpecifier metaStateSpecifier_copy (metaStateSpecifier) /*@*/ ;
  30 extern void metaStateSpecifier_free (/*@only@*/ metaStateSpecifier) ;
  31
  32 # else
  33 # error "Multiple include"
  34 # endif
  35
  36
  37
  38