2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
6 ** metaStateSpecifier.h
9 # ifndef METASTATESPECIFIER_H
10 # define METASTATESPECIFIER_H
12 struct s_metaStateSpecifier {
14 /*@observer@*/ metaStateInfo msinfo;
17 extern metaStateSpecifier
18 metaStateSpecifier_create (/*@only@*/ sRef, /*@observer@*/ metaStateInfo) ;
20 extern cstring metaStateSpecifier_unparse (metaStateSpecifier) /*@*/ ;
21 extern metaStateSpecifier metaStateSpecifier_copy (metaStateSpecifier) /*@*/ ;
22 extern void metaStateSpecifier_free (/*@only@*/ metaStateSpecifier) ;
25 # error "Multiple include"