- pretty.push_row(["%d"%number, match_info['name'], match_info['arguments'], target_info['arguments']])
-
-
+ match_info = self.get_info ('match',match_path)
+ target_info = self.get_info ('target',target_path)
+
+ pretty.push_row(["%d"%number,
+ match_info['name'],
+ match_info['arguments'],
+ target_info['name'],
+ target_info['element'],
+ target_info['arguments']])
+