From 2ec35ea6e98dcfb03fb8c2e90b85991aaa7be2fa Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Mon, 27 Feb 2012 04:59:04 -0600
Subject: Implement the "tag" metadata directive

---
 src/expr.h | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/expr.h')

diff --git a/src/expr.h b/src/expr.h
index c4cd5dc5..79ae2864 100644
--- a/src/expr.h
+++ b/src/expr.h
@@ -58,6 +58,15 @@ public:
   typedef intrusive_ptr<op_t>       ptr_op_t;
   typedef intrusive_ptr<const op_t> const_ptr_op_t;
 
+  enum check_expr_kind_t {
+    EXPR_GENERAL,
+    EXPR_ASSERTION,
+    EXPR_CHECK
+  };
+
+  typedef std::pair<expr_t, check_expr_kind_t> check_expr_pair;
+  typedef std::list<check_expr_pair>           check_expr_list;
+
 protected:
   ptr_op_t ptr;
 
-- 
cgit v1.2.3