*** empty log message ***

[splint.git] / src / metaStateConstraint.c

diff --git a/src/metaStateConstraint.c b/src/metaStateConstraint.c
index f3e97720b47558617e8057a9023e1364e15744dd..6933bf78e5840223d3ef1ac7109725c74c1745cc 100644 (file)
--- a/src/metaStateConstraint.c
+++ b/src/metaStateConstraint.c
@@ -45,6 +45,22 @@ cstring metaStateConstraint_unparse (metaStateConstraint m)
                  metaStateExpression_unparse (m->rspec));
 }
 
+metaStateConstraint metaStateConstraint_copy (metaStateConstraint m)
+{
+  return metaStateConstraint_create (metaStateSpecifier_copy (m->lspec),
+                                    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);