*** empty log message ***

[splint.git] / src / metaStateConstraint.c

diff --git a/src/metaStateConstraint.c b/src/metaStateConstraint.c
index 664e1bef2b4472c425c8c4f4c6d5526af66ac210..6933bf78e5840223d3ef1ac7109725c74c1745cc 100644 (file)
--- a/src/metaStateConstraint.c
+++ b/src/metaStateConstraint.c
@@ -51,6 +51,16 @@ metaStateConstraint metaStateConstraint_copy (metaStateConstraint m)
                                     metaStateExpression_copy (m->rspec));
 }
 
+/*@observer@*/ metaStateSpecifier metaStateConstraint_getSpecifier (metaStateConstraint m)
+{
+  return m->lspec;
+}
+
+/*@observer@*/ metaStateExpression metaStateConstraint_getExpression (metaStateConstraint m) 
+{
+  return m->rspec;
+}
+
 void metaStateConstraint_free (/*@only@*/ metaStateConstraint m) 
 {
   metaStateSpecifier_free (m->lspec);