X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3814599dbdafeaf8cb335d07f1d1bf1729a98417..e5f31c003fe6a778d1224c8a778f750a1a9ebb3d:/src/Headers/metaStateSpecifier.h

diff --git a/src/Headers/metaStateSpecifier.h b/src/Headers/metaStateSpecifier.h
index 08d62ab..855179b 100644
--- a/src/Headers/metaStateSpecifier.h
+++ b/src/Headers/metaStateSpecifier.h
@@ -10,6 +10,7 @@
 # define METASTATESPECIFIER_H
 
 struct s_metaStateSpecifier {
+  bool elipsis;
   sRef sr;
   /*@observer@*/ metaStateInfo msinfo;
 } ;
@@ -17,6 +18,13 @@ struct s_metaStateSpecifier {
 extern metaStateSpecifier
 metaStateSpecifier_create (/*@only@*/ sRef, /*@observer@*/ metaStateInfo) ;
 
+extern metaStateSpecifier
+metaStateSpecifier_createElipsis (/*@observer@*/ metaStateInfo) ;
+
+extern bool metaStateSpecifier_isElipsis (metaStateSpecifier) /*@*/ ;
+extern /*@exposed@*/ sRef metaStateSpecifier_getSref (metaStateSpecifier) /*@*/ ;
+extern /*@observer@*/ metaStateInfo metaStateSpecifier_getMetaStateInfo (metaStateSpecifier) /*@*/ ;
+
 extern cstring metaStateSpecifier_unparse (metaStateSpecifier) /*@*/ ;
 extern metaStateSpecifier metaStateSpecifier_copy (metaStateSpecifier) /*@*/ ;
 extern void metaStateSpecifier_free (/*@only@*/ metaStateSpecifier) ;