src/Headers/metaStateConstraint.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 */
   5 /*
   6 ** metaStateConstraint.h
   7 */
   8
   9 # ifndef METASTATECONSTRAINT_H
  10 # define METASTATECONSTRAINT_H
  11
  12 struct s_metaStateConstraint {
  13   /*@only@*/ metaStateSpecifier lspec;
  14   /*@only@*/ metaStateExpression rspec;
  15 } ;
  16
  17 extern metaStateConstraint
  18 metaStateConstraint_create (/*@only@*/ metaStateSpecifier, /*@only@*/ metaStateExpression) ;
  19
  20 extern cstring metaStateConstraint_unparse (metaStateConstraint) /*@*/ ;
  21 extern /*@only@*/ metaStateConstraint metaStateConstraint_copy (metaStateConstraint) /*@*/ ;
  22 extern void metaStateConstraint_free (/*@only@*/ metaStateConstraint) ;
  23
  24 extern /*@observer@*/ metaStateSpecifier metaStateConstraint_getSpecifier (metaStateConstraint) /*@*/ ;
  25 extern /*@observer@*/ metaStateExpression metaStateConstraint_getExpression (metaStateConstraint) /*@*/ ;
  26
  27 # else
  28 # error "Multiple include"
  29 # endif
  30
  31
  32
  33