mapnik/test/unit/geometry/geometry_is_simple.cpp

#include "catch.hpp"

#include <boost/version.hpp>
#include <mapnik/geometry.hpp>
#include <mapnik/geometry/is_simple.hpp>

TEST_CASE("geometry is_simple") {

// only Boost >= 1.58 has the required is_valid function version
#if BOOST_VERSION >= 105800

SECTION("point") {
    mapnik::geometry::geometry_empty empty;
    CHECK( mapnik::geometry::is_simple(empty) );
}

SECTION("point") {
    mapnik::geometry::point<double> pt(0,0);
    CHECK( mapnik::geometry::is_simple(pt) );
}

SECTION("point uninitialized") {
    mapnik::geometry::point<double> pt2;
    CHECK( mapnik::geometry::is_simple(pt2) );
}

SECTION("point -- geometry object") {
    mapnik::geometry::point<double> pt(0,0);
    mapnik::geometry::geometry<double> geom(pt);
    CHECK( mapnik::geometry::is_simple(geom) );
}

// This is funky that boost geometry is_simple does not check for NAN when dealing with a point
// this test is here in case the logic ever changes
// Bug report on this: https://svn.boost.org/trac/boost/ticket/11711
SECTION("point NaN") {
    mapnik::geometry::point<double> pt(std::numeric_limits<double>::quiet_NaN(),std::numeric_limits<double>::quiet_NaN());
    CHECK( std::isnan(pt.x) );
    CHECK( std::isnan(pt.y) );
    CHECK( mapnik::geometry::is_simple(pt) );
}

// This is funky that boost geometry is_simple does not check for infinity when dealing with a point
// this test is here in case the logic ever changes
// Bug report on this: https://svn.boost.org/trac/boost/ticket/11711
SECTION("point Infinity") {
    mapnik::geometry::point<double> pt(std::numeric_limits<double>::infinity(),std::numeric_limits<double>::infinity());
    CHECK( std::isinf(pt.x) );
    CHECK( std::isinf(pt.y) );
    CHECK( mapnik::geometry::is_simple(pt) );
}

SECTION("multi point") {
    mapnik::geometry::multi_point<double> mpt;
    mpt.emplace_back(0,0);
    mpt.emplace_back(1,1);
    CHECK( mapnik::geometry::is_simple(mpt) );
}

SECTION("multi point empty") {
    mapnik::geometry::multi_point<double> mpt;
    CHECK( mapnik::geometry::is_simple(mpt) );
}

SECTION("line_string") {
    mapnik::geometry::line_string<double> line;
    line.emplace_back(0,0);
    line.emplace_back(1,1);
    CHECK( mapnik::geometry::is_simple(line) );
}

// This fails while is_valid will not fail!
SECTION("line_string repeated points") {
    mapnik::geometry::line_string<double> line;
    line.emplace_back(0,0);
    line.emplace_back(1,1);
    line.emplace_back(1,1);
    line.emplace_back(2,2);
    CHECK( !mapnik::geometry::is_simple(line) );
}

SECTION("line_string empty") {
    mapnik::geometry::line_string<double> line;
    CHECK( mapnik::geometry::is_simple(line) );
}

SECTION("multi_line_string") {
    mapnik::geometry::line_string<double> line1;
    line1.emplace_back(0,0);
    line1.emplace_back(1,1);
    mapnik::geometry::line_string<double> line2;
    line2.emplace_back(0,1);
    line2.emplace_back(1,2);
    mapnik::geometry::multi_line_string<double> lines;
    lines.emplace_back(line1);
    lines.emplace_back(line2);
    CHECK( mapnik::geometry::is_simple(lines) );
}

SECTION("multi_line_string empty") {
    mapnik::geometry::multi_line_string<double> lines;
    CHECK( mapnik::geometry::is_simple(lines) );
}

SECTION("multi_line_string empty") {
    mapnik::geometry::multi_line_string<double> lines;
    mapnik::geometry::line_string<double> line;
    lines.emplace_back(line);
    CHECK( mapnik::geometry::is_simple(lines) );
}

SECTION("polygon") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(1,0);
    ring.emplace_back(1,1);
    ring.emplace_back(0,1);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    CHECK( mapnik::geometry::is_simple(poly) );
}

SECTION("polygon invalid winding order") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(0,1);
    ring.emplace_back(1,1);
    ring.emplace_back(1,0);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    CHECK( mapnik::geometry::is_simple(poly) );
}

// repeated points are not considered invalid in a polygon
// but they are considered not simple
SECTION("polygon 2 repeated points") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(1,0);
    ring.emplace_back(1,1);
    ring.emplace_back(1,1);
    ring.emplace_back(0,1);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    CHECK( !mapnik::geometry::is_simple(poly) );
}
// repeated points are not considered invalid in a polygon
// but they are considered not simple
SECTION("polygon 3 repeated points") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(1,0);
    ring.emplace_back(1,1);
    ring.emplace_back(1,1);
    ring.emplace_back(1,1);
    ring.emplace_back(0,1);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    CHECK( !mapnik::geometry::is_simple(poly) );
}

#if BOOST_VERSION >= 106000

SECTION("polygon that is empty") {
    mapnik::geometry::polygon<double> poly;
    poly.emplace_back();
    CHECK( !mapnik::geometry::is_simple(poly) );
}

SECTION("polygon that has empty exterior ring") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    poly.push_back(std::move(ring));
    CHECK( !mapnik::geometry::is_simple(poly) );
}

SECTION("polygon that has empty interior ring") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(1,0);
    ring.emplace_back(1,1);
    ring.emplace_back(0,1);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    mapnik::geometry::linear_ring<double> ring2;
    poly.push_back(std::move(ring2));
    CHECK( !mapnik::geometry::is_simple(poly) );
}

#else // BOOST_VERSION >= 1.60

SECTION("polygon that is empty") {
    mapnik::geometry::polygon<double> poly;
    CHECK( mapnik::geometry::is_simple(poly) );
}

SECTION("polygon that has empty exterior ring") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    poly.push_back(std::move(ring));
    CHECK( mapnik::geometry::is_simple(poly) );
}

SECTION("polygon that has empty interior ring") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(1,0);
    ring.emplace_back(1,1);
    ring.emplace_back(0,1);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    mapnik::geometry::linear_ring<double> ring2;
    poly.push_back(std::move(ring2));
    CHECK( mapnik::geometry::is_simple(poly) );
}

#endif // BOOST_VERSION >= 1.60

// A polygon with a spike can still be simple
SECTION("polygon with spike") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(1,0);
    ring.emplace_back(1,1);
    ring.emplace_back(2,2);
    ring.emplace_back(1,1);
    ring.emplace_back(0,1);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    CHECK( mapnik::geometry::is_simple(poly) );
}

SECTION("polygon with hole") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(3,0);
    ring.emplace_back(3,3);
    ring.emplace_back(0,3);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    mapnik::geometry::linear_ring<double> hole;
    hole.emplace_back(1,1);
    hole.emplace_back(1,2);
    hole.emplace_back(2,2);
    hole.emplace_back(2,1);
    hole.emplace_back(1,1);
    poly.push_back(std::move(hole));
    CHECK( mapnik::geometry::is_simple(poly) );
}

// Polygons with reversed winding order still can be considered simple
SECTION("polygon with hole with invalid winding order") {
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(3,0);
    ring.emplace_back(3,3);
    ring.emplace_back(0,3);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    mapnik::geometry::linear_ring<double> hole;
    hole.emplace_back(1,1);
    hole.emplace_back(2,1);
    hole.emplace_back(2,2);
    hole.emplace_back(1,2);
    hole.emplace_back(1,1);
    poly.push_back(std::move(hole));
    CHECK( mapnik::geometry::is_simple(poly) );
}

SECTION("multi polygon") {
    mapnik::geometry::multi_polygon<double> mp;
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;

    ring.emplace_back(0,0);
    ring.emplace_back(1,0);
    ring.emplace_back(1,1);
    ring.emplace_back(0,1);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    mapnik::geometry::polygon<double> poly2;
    mapnik::geometry::linear_ring<double> ring2;
    ring2.emplace_back(0,0);
    ring2.emplace_back(-1,0);
    ring2.emplace_back(-1,-1);
    ring2.emplace_back(0,-1);
    ring2.emplace_back(0,0);
    poly2.push_back(std::move(ring2));
    mp.emplace_back(poly);
    mp.emplace_back(poly2);
    CHECK( mapnik::geometry::is_simple(mp) );
}

SECTION("multi polygon with hole") {
    mapnik::geometry::multi_polygon<double> mp;
    mapnik::geometry::polygon<double> poly;
    mapnik::geometry::linear_ring<double> ring;
    ring.emplace_back(0,0);
    ring.emplace_back(3,0);
    ring.emplace_back(3,3);
    ring.emplace_back(0,3);
    ring.emplace_back(0,0);
    poly.push_back(std::move(ring));
    mapnik::geometry::linear_ring<double> hole;
    hole.emplace_back(1,1);
    hole.emplace_back(1,2);
    hole.emplace_back(2,2);
    hole.emplace_back(2,1);
    hole.emplace_back(1,1);
    poly.push_back(std::move(hole));
    mapnik::geometry::polygon<double> poly2;
    mapnik::geometry::linear_ring<double> ring2;
    ring2.emplace_back(0,0);
    ring2.emplace_back(-3,0);
    ring2.emplace_back(-3,-3);
    ring2.emplace_back(0,-3);
    ring2.emplace_back(0,0);
    poly2.push_back(std::move(ring2));
    mapnik::geometry::linear_ring<double> hole2;
    hole2.emplace_back(-1,-1);
    hole2.emplace_back(-1,-2);
    hole2.emplace_back(-2,-2);
    hole2.emplace_back(-2,-1);
    hole2.emplace_back(-1,-1);
    poly2.push_back(std::move(hole2));
    mp.emplace_back(poly);
    mp.emplace_back(poly2);
    CHECK( mapnik::geometry::is_simple(mp) );
}

SECTION("multi polygon empty") {
    mapnik::geometry::multi_polygon<double> mp;
    CHECK( mapnik::geometry::is_simple(mp) );
}

#else // BOOST_VERSION >= 1.58

SECTION("skipped is_simple tests") {
    WARN( "geometry simple tests disabled due to boost version older that 1.58 used" );
}

#endif

}