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 {
15 /*@observer@*/ metaStateInfo msinfo;
18 extern metaStateSpecifier
19 metaStateSpecifier_create (/*@only@*/ sRef, /*@observer@*/ metaStateInfo) ;
21 extern metaStateSpecifier
22 metaStateSpecifier_createElipsis (/*@observer@*/ metaStateInfo) ;
24 extern bool metaStateSpecifier_isElipsis (metaStateSpecifier) /*@*/ ;
25 extern /*@exposed@*/ sRef metaStateSpecifier_getSref (metaStateSpecifier) /*@*/ ;
26 extern /*@observer@*/ metaStateInfo metaStateSpecifier_getMetaStateInfo (metaStateSpecifier) /*@*/ ;
28 extern cstring metaStateSpecifier_unparse (metaStateSpecifier) /*@*/ ;
29 extern metaStateSpecifier metaStateSpecifier_copy (metaStateSpecifier) /*@*/ ;
30 extern void metaStateSpecifier_free (/*@only@*/ metaStateSpecifier) ;
33 # error "Multiple include"