Use CGAL_Assertion_code()

This commit is contained in:
Andreas Fabri 2023-02-09 09:42:55 +00:00
parent d979e070be
commit 49f7a40593
4 changed files with 12 additions and 12 deletions

View File

@ -220,7 +220,7 @@ check_boundary_is_clockwise_weakly_polygon() const
} while (hvit != hend);
// now e_boundary_at_v_min is highest starting edge in bundle!!
int winding_around_globally=0;
CGAL_assertion_code(int winding_around_globally=0);
Halfedge_around_face_const_circulator
hfit(e_boundary_at_v_min),hstart(hfit);
Halfedge_const_handle e_prev = next(e_boundary_at_v_min);
@ -229,7 +229,7 @@ check_boundary_is_clockwise_weakly_polygon() const
Direction d_prev = direction(e_prev);
CGAL_For_all_backwards(hstart,hfit) {
Direction d_curr = direction(hfit);
if ( d_curr < d_prev ) ++winding_around_globally;
CGAL_assertion_code(if ( d_curr < d_prev ) ++winding_around_globally);
d_prev = d_curr;
}
CGAL_assertion(winding_around_globally == 1);
@ -262,10 +262,10 @@ check_is_triangulation() const
for( eit = this->halfedges_begin(); eit != this->halfedges_end(); ++eit) {
if (on_boundary[eit]) continue;
hit = hend = eit;
int edges_in_face_cycle=0;
CGAL_assertion_code(int edges_in_face_cycle=0);
CGAL_For_all(hit,hend) {
error_status << PE(hit);
++edges_in_face_cycle;
CGAL_assertion_code(++edges_in_face_cycle);
}
CGAL_assertion_msg(edges_in_face_cycle==3,error_status.str().c_str());
CGAL_assertion_msg(

View File

@ -299,13 +299,13 @@ check_integrity_and_topological_planarity(bool faces) const
EI(shalfedges_begin(),shalfedges_end(),'e');
#endif
SVertex_const_handle v;
int iso_vert_num=0;
CGAL_assertion_code(int iso_vert_num=0);
/* check the source links of out edges and count isolated vertices */
CGAL_forall_svertices(v,*this) {
if ( is_isolated(v) ) {
if ( faces )
CGAL_assertion_msg(v->incident_sface() != SFace_const_handle(), get_svertex_index(v).c_str());
++iso_vert_num;
CGAL_assertion_code(++iso_vert_num);
} else {
CGAL_assertion_code(SHalfedge_const_handle e=first_out_edge(v));
CGAL_assertion_msg(e != SHalfedge_const_handle(), get_svertex_index(v).c_str());

View File

@ -432,10 +432,10 @@ public:
m_pwsrec->list_output(std::back_inserter(isolated_points), std::back_inserter(edges));
int vertex_count = 0;
CGAL_assertion_code(int vertex_count = 0);
for (std::vector<Point>::iterator it = isolated_points.begin();
it != isolated_points.end(); it++) {
vertex_count++;
CGAL_assertion_code(vertex_count++);
std::cout << *it << std::endl;
}
CGAL_assertion(vertex_count == 18);

View File

@ -1313,7 +1313,7 @@ void dump_surface_off(const Tr& tr, const char* filename)
}
//write facets
std::size_t nbf_print = 0;
CGAL_assertion_code(std::size_t nbf_print = 0);
for (Finite_facets_iterator fit = tr.finite_facets_begin();
fit != tr.finite_facets_end(); ++fit)
{
@ -1324,7 +1324,7 @@ void dump_surface_off(const Tr& tr, const char* filename)
ofs << "3 " << vertices.left.at(c->vertex((i + 1) % 4)) << " "
<< vertices.left.at(c->vertex((i + 2) % 4)) << " "
<< vertices.left.at(c->vertex((i + 3) % 4)) << std::endl;
++nbf_print;
CGAL_assertion_code(++nbf_print);
}
}
CGAL_assertion(nbf == nbf_print);
@ -1581,7 +1581,7 @@ void dump_facets_in_complex(const C3t3& c3t3, const char* filename)
}
//write facets
std::size_t nbf_print = 0;
CGAL_assertion_code(std::size_t nbf_print = 0);
for (Facets_in_complex_iterator fit = c3t3.facets_in_complex_begin();
fit != c3t3.facets_in_complex_end(); ++fit)
{
@ -1590,7 +1590,7 @@ void dump_facets_in_complex(const C3t3& c3t3, const char* filename)
ofs << "3 " << vertices.left.at(c->vertex((i + 1) % 4)) << " "
<< vertices.left.at(c->vertex((i + 2) % 4)) << " "
<< vertices.left.at(c->vertex((i + 3) % 4)) << std::endl;
++nbf_print;
CGAL_assertion_code(++nbf_print);
}
CGAL_assertion(nbf == nbf_print);