Merge pull request diffblue#225 from diffblue/feature/added_state_flags_of_symbols_HTML_dump

Extended HTML dump of symbols of symbol table by state state flags.

Author: marek-trtik

src/summaries/summary_dump.cpp

@@ -542,6 +542,56 @@ std::string  dump_symbol_table_symbols_in_html(
     ostr << "</td>\n";
     ostr << "        </tr>\n";
     ostr << "      </table>\n";
+
+    const auto yesno_str=
+      [](const bool value) { return value ? "yes" : "no"; };
+
+    ostr << "      <table>\n";
+    ostr << "        <tr>\n";
+    ostr << "          <th>type</th>\n";
+    ostr << "          <th>macro</th>\n";
+    ostr << "          <th>exported</th>\n";
+    ostr << "          <th>input</th>\n";
+    ostr << "          <th>output</th>\n";
+    ostr << "          <th>state_var</th>\n";
+    ostr << "          <th>property</th>\n";
+    ostr << "        </tr>\n";
+    ostr << "        <tr>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_type) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_macro) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_exported) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_input) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_output) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_state_var) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_property) << "</td>\n";
+    ostr << "        </tr>\n";
+    ostr << "      </table>\n";
+
+    ostr << "      <table>\n";
+    ostr << "        <tr>\n";
+    ostr << "          <th>static</th>\n";
+    ostr << "          <th>thread_local</th>\n";
+    ostr << "          <th>lvalue</th>\n";
+    ostr << "          <th>file_local</th>\n";
+    ostr << "          <th>extern</th>\n";
+    ostr << "          <th>volatile</th>\n";
+    ostr << "          <th>parameter</th>\n";
+    ostr << "          <th>auxiliary</th>\n";
+    ostr << "          <th>weak</th>\n";
+    ostr << "        </tr>\n";
+    ostr << "        <tr>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_state_var) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_thread_local) <<"</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_lvalue) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_file_local) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_extern) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_volatile) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_parameter) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_auxiliary) << "</td>\n";
+    ostr << "          <td>" << yesno_str(symbol.is_weak) << "</td>\n";
+    ostr << "        </tr>\n";
+    ostr << "      </table>\n";
+
     ostr << "    </td>\n";
     ostr << "  </tr>\n";
   }