Tried to fix some problems with the configuration system.

[splint.git] / src / Headers / metaStateSpecifier.h

diff --git a/src/Headers/metaStateSpecifier.h b/src/Headers/metaStateSpecifier.h
index 08d62ab5610df77fcdd87d158a6917e6b6c3cf90..855179bbe05502745f810f8c2068b8523b43313b 100644 (file)
--- 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) ;