From 4b17391d0e5b38ca93b206a21b4eed4e84443b8b Mon Sep 17 00:00:00 2001 From: Andreas Fabri Date: Tue, 24 Sep 2024 15:21:23 +0100 Subject: [PATCH] Arrangmement: Use precondition_code if later comes a precondition --- .../CGAL/Arrangement_2/Arrangement_on_surface_2_impl.h | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Arrangement_on_surface_2/include/CGAL/Arrangement_2/Arrangement_on_surface_2_impl.h b/Arrangement_on_surface_2/include/CGAL/Arrangement_2/Arrangement_on_surface_2_impl.h index d787e922f87..e1a38671d28 100644 --- a/Arrangement_on_surface_2/include/CGAL/Arrangement_2/Arrangement_on_surface_2_impl.h +++ b/Arrangement_on_surface_2/include/CGAL/Arrangement_2/Arrangement_on_surface_2_impl.h @@ -1551,7 +1551,7 @@ split_edge(Halfedge_handle e, // o---------e-------->o if (_are_equal(source, cv1, ARR_MIN_END)) { const Point_2& p = m_geom_traits->construct_max_vertex_2_object()(cv1); - CGAL_postcondition_code + CGAL_precondition_code (const Point_2& q = m_geom_traits->construct_min_vertex_2_object()(cv2)); CGAL_precondition(m_geom_traits->equal_2_object()(p, q)); CGAL_precondition(_are_equal(he1->vertex(), cv2, ARR_MAX_END)); @@ -1562,7 +1562,7 @@ split_edge(Halfedge_handle e, // o<--------e---------o if (_are_equal(source, cv1, ARR_MAX_END)) { const Point_2& p = m_geom_traits->construct_min_vertex_2_object()(cv1); - CGAL_postcondition_code + CGAL_precondition_code (const Point_2& q = m_geom_traits->construct_max_vertex_2_object()(cv2)); CGAL_precondition(m_geom_traits->equal_2_object()(p, q)); CGAL_precondition(_are_equal(he1->vertex(), cv2, ARR_MIN_END)); @@ -1573,7 +1573,7 @@ split_edge(Halfedge_handle e, // o---------e-------->o if (_are_equal(source, cv2, ARR_MIN_END)) { const Point_2& p = m_geom_traits->construct_max_vertex_2_object()(cv2); - CGAL_postcondition_code + CGAL_precondition_code (const Point_2& q = m_geom_traits->construct_min_vertex_2_object()(cv1)); CGAL_precondition(m_geom_traits->equal_2_object()(p, q)); CGAL_precondition(_are_equal(he1->vertex(), cv1, ARR_MAX_END)); @@ -1584,7 +1584,7 @@ split_edge(Halfedge_handle e, // o<--------e---------o CGAL_precondition(_are_equal(source, cv2, ARR_MAX_END)); const Point_2& p = m_geom_traits->construct_min_vertex_2_object()(cv2); - CGAL_postcondition_code + CGAL_precondition_code (const Point_2& q = m_geom_traits->construct_max_vertex_2_object()(cv1)); CGAL_precondition(m_geom_traits->equal_2_object()(p, q)); CGAL_precondition(_are_equal(he1->vertex(), cv1, ARR_MIN_END));