From 2ec35ea6e98dcfb03fb8c2e90b85991aaa7be2fa Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Mon, 27 Feb 2012 04:59:04 -0600 Subject: Implement the "tag" metadata directive --- src/xact.h | 16 +++------------- 1 file changed, 3 insertions(+), 13 deletions(-) (limited to 'src/xact.h') diff --git a/src/xact.h b/src/xact.h index 3e628817..ff4b7bc2 100644 --- a/src/xact.h +++ b/src/xact.h @@ -152,21 +152,11 @@ private: class auto_xact_t : public xact_base_t { public: - predicate_t predicate; - bool try_quick_match; - + predicate_t predicate; + bool try_quick_match; std::map memoized_results; - enum xact_expr_kind_t { - EXPR_GENERAL, - EXPR_ASSERTION, - EXPR_CHECK - }; - - typedef std::pair check_expr_pair; - typedef std::list check_expr_list; - - optional check_exprs; + optional check_exprs; struct deferred_tag_data_t { string tag_data; -- cgit v1.2.3