From 6453a41a28f48a90a95bc7da0c79a43bd420bd34 Mon Sep 17 00:00:00 2001
From: John Johansen <john.johansen@canonical.com>
Date: Fri, 23 Jul 2010 04:29:29 +0200
Subject: [PATCH] Add extra transition table labeling to help with
 interpretation of the dump output.

---
 parser/libapparmor_re/regexp.y | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/parser/libapparmor_re/regexp.y b/parser/libapparmor_re/regexp.y
index 69c708cc7..43c6c9627 100644
--- a/parser/libapparmor_re/regexp.y
+++ b/parser/libapparmor_re/regexp.y
@@ -2198,7 +2198,7 @@ void TransitionTable::dump(ostream& os)
 	st.insert(make_pair(i->second, i->first));
     }
 
-    os << "(accept, default, base):" << endl;
+    os << "size=" << default_base.size() << " (accept, default, base):  {state} -> {default state}" << endl;
     for (size_t i = 0; i < default_base.size(); i++) {
         os << i << ": ";
 	os << "(" << accept[i] << ", "
@@ -2211,7 +2211,7 @@ void TransitionTable::dump(ostream& os)
 	os << endl;
     }
 
-    os << "(next, check):" << endl;
+    os << "size=" << next_check.size() << " (next, check): {check state} -> {next state} : offset from base" << endl;
     for (size_t i = 0; i < next_check.size(); i++) {
 	if (!next_check[i].second)
 	    continue;