From b81be9611238c9485f1912fa1e9cab26b5df6fb6 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 6 Jul 2012 17:52:40 -0700 Subject: [PATCH] nodestack: add print_may_read_from() --- nodestack.cc | 8 ++++++++ nodestack.h | 1 + 2 files changed, 9 insertions(+) diff --git a/nodestack.cc b/nodestack.cc index 1338032..10f7a72 100644 --- a/nodestack.cc +++ b/nodestack.cc @@ -46,6 +46,14 @@ void Node::print() printf("******** empty action ********\n"); } +/** @brief Prints info about may_read_from set */ +void Node::print_may_read_from() +{ + readfrom_set_t::iterator it; + for (it = may_read_from.begin(); it != may_read_from.end(); it++) + (*it)->print(); +} + /** * Checks if the Thread associated with this thread ID has been explored from * this Node already. diff --git a/nodestack.h b/nodestack.h index 0e95241..c09b628 100644 --- a/nodestack.h +++ b/nodestack.h @@ -46,6 +46,7 @@ public: void add_read_from(const ModelAction *act); void print(); + void print_may_read_from(); MEMALLOC private: -- 2.34.1