summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/graph/example/cycle-file-dep2.cpp
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 18:24:20 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 18:24:20 +0000
commit483eb2f56657e8e7f419ab1a4fab8dce9ade8609 (patch)
treee5d88d25d870d5dedacb6bbdbe2a966086a0a5cf /src/boost/libs/graph/example/cycle-file-dep2.cpp
parentInitial commit. (diff)
downloadceph-upstream.tar.xz
ceph-upstream.zip
Adding upstream version 14.2.21.upstream/14.2.21upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/boost/libs/graph/example/cycle-file-dep2.cpp')
-rw-r--r--src/boost/libs/graph/example/cycle-file-dep2.cpp150
1 files changed, 150 insertions, 0 deletions
diff --git a/src/boost/libs/graph/example/cycle-file-dep2.cpp b/src/boost/libs/graph/example/cycle-file-dep2.cpp
new file mode 100644
index 00000000..046470f3
--- /dev/null
+++ b/src/boost/libs/graph/example/cycle-file-dep2.cpp
@@ -0,0 +1,150 @@
+//=======================================================================
+// Copyright 2001 Jeremy G. Siek, Andrew Lumsdaine, Lie-Quan Lee,
+//
+// Distributed under the Boost Software License, Version 1.0. (See
+// accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt)
+//=======================================================================
+#include <boost/config.hpp>
+#include <fstream>
+#include <iostream>
+#include <string>
+#include <boost/graph/adjacency_list.hpp>
+#include <boost/graph/graph_utility.hpp>
+
+// can't do using namespace boost because then
+// we get conflict with boost::default_dfs_visitor.
+using namespace boost;
+
+namespace std {
+ template <typename T >
+ std::istream& operator >> (std::istream & in, std::pair < T, T > &p)
+ {
+ in >> p.first >> p.second;
+ return
+ in;
+ }
+}
+
+typedef adjacency_list<
+ listS, // Store out-edges of each vertex in a std::list
+ vecS, // Store vertex set in a std::vector
+ directedS // The file dependency graph is directed
+ > file_dep_graph;
+
+typedef graph_traits<file_dep_graph>::vertex_descriptor vertex_t;
+typedef graph_traits<file_dep_graph>::edge_descriptor edge_t;
+
+template < typename Visitor > void
+dfs_v1(const file_dep_graph & g, vertex_t u, default_color_type * color,
+ Visitor vis)
+{
+ color[u] = gray_color;
+ vis.discover_vertex(u, g);
+ graph_traits < file_dep_graph >::out_edge_iterator ei, ei_end;
+ for (boost::tie(ei, ei_end) = out_edges(u, g); ei != ei_end; ++ei) {
+ if (color[target(*ei, g)] == white_color) {
+ vis.tree_edge(*ei, g);
+ dfs_v1(g, target(*ei, g), color, vis);
+ } else if (color[target(*ei, g)] == gray_color)
+ vis.back_edge(*ei, g);
+ else
+ vis.forward_or_cross_edge(*ei, g);
+ }
+ color[u] = black_color;
+ vis.finish_vertex(u, g);
+}
+
+template < typename Visitor > void
+generic_dfs_v1(const file_dep_graph & g, Visitor vis)
+{
+ std::vector < default_color_type > color(num_vertices(g), white_color);
+ graph_traits < file_dep_graph >::vertex_iterator vi, vi_end;
+ for (boost::tie(vi, vi_end) = vertices(g); vi != vi_end; ++vi) {
+ if (color[*vi] == white_color)
+ dfs_v1(g, *vi, &color[0], vis);
+ }
+}
+
+struct dfs_visitor_default
+{
+ template <typename V, typename G > void
+ discover_vertex(V, const G &)
+ {
+ }
+
+ template <typename E, typename G > void
+ tree_edge(E, const G &)
+ {
+ }
+
+ template < typename E, typename G > void
+ back_edge(E, const G &)
+ {
+ }
+
+ template < typename E, typename G > void
+ forward_or_cross_edge(E, const G &)
+ {
+ }
+
+ template < typename V, typename G > void
+ finish_vertex(V, const G &)
+ {
+ }
+};
+
+struct cycle_detector : public dfs_visitor_default
+{
+ cycle_detector(bool & cycle):
+ has_cycle(cycle)
+ {
+ }
+ void
+ back_edge(edge_t, const file_dep_graph &)
+ {
+ has_cycle = true;
+ }
+ bool & has_cycle;
+};
+
+bool
+has_cycle(const file_dep_graph & g)
+{
+ bool has_cycle = false;
+ cycle_detector vis(has_cycle);
+ generic_dfs_v1(g, vis);
+ return has_cycle;
+}
+
+
+int
+main(int argc, const char** argv)
+{
+ std::ifstream file_in(argc >= 2 ? argv[1] : "makefile-dependencies.dat");
+ typedef graph_traits <file_dep_graph >::vertices_size_type size_type;
+ size_type n_vertices;
+ file_in >> n_vertices; // read in number of vertices
+ std::istream_iterator < std::pair < size_type,
+ size_type > >input_begin(file_in), input_end;
+#if defined(BOOST_MSVC) && BOOST_MSVC <= 1300
+ // VC++ has trouble with the edge iterator constructor
+ file_dep_graph g(n_vertices);
+ while (input_begin != input_end) {
+ size_type i, j;
+ boost::tie(i, j) = *input_begin++;
+ add_edge(i, j, g);
+ }
+#else
+ file_dep_graph g(input_begin, input_end, n_vertices);
+#endif
+
+ std::vector < std::string > name(num_vertices(g));
+ std::ifstream name_in(argc >= 3 ? argv[2] : "makefile-target-names.dat");
+ graph_traits < file_dep_graph >::vertex_iterator vi, vi_end;
+ for (boost::tie(vi, vi_end) = vertices(g); vi != vi_end; ++vi)
+ name_in >> name[*vi];
+
+ assert(has_cycle(g) == false);
+ return 0;
+}