/**
 * \file
 * \brief Intersection graph for Boolean operations
 *//*
 * Authors:
 *   Krzysztof Kosiński <tweenk.pl@gmail.com>
 * 
 * Copyright 2015 Authors
 *
 * This library is free software; you can redistribute it and/or
 * modify it either under the terms of the GNU Lesser General Public
 * License version 2.1 as published by the Free Software Foundation
 * (the "LGPL") or, at your option, under the terms of the Mozilla
 * Public License Version 1.1 (the "MPL"). If you do not alter this
 * notice, a recipient may use your version of this file under either
 * the MPL or the LGPL.
 *
 * You should have received a copy of the LGPL along with this library
 * in the file COPYING-LGPL-2.1; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
 * You should have received a copy of the MPL along with this library
 * in the file COPYING-MPL-1.1
 *
 * The contents of this file are subject to the Mozilla Public License
 * Version 1.1 (the "License"); you may not use this file except in
 * compliance with the License. You may obtain a copy of the License at
 * http://www.mozilla.org/MPL/
 *
 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY
 * OF ANY KIND, either express or implied. See the LGPL or the MPL for
 * the specific language governing rights and limitations.
 */

#include <2geom/intersection-graph.h>
#include <2geom/path.h>
#include <2geom/pathvector.h>
#include <iostream>

namespace Geom {

struct IntersectionVertexLess {
    bool operator()(IntersectionVertex const &a, IntersectionVertex const &b) const {
        return a.pos < b.pos;
    }
};

/** @class PathIntersectionGraph
 * @brief Intermediate data for computing Boolean operations on paths.
 *
 * This class implements the Greiner-Hormann clipping algorithm,
 * with improvements by Foster and Overfelt.
 *
 * @ingroup Paths
 */

PathIntersectionGraph::PathIntersectionGraph(PathVector const &a, PathVector const &b, Coord precision)
    : _a(a)
    , _b(b)
{
    if (a.empty() || b.empty()) return;

    // all paths must be closed, otherwise we will miss some intersections
    for (std::size_t i = 0; i < a.size(); ++i) {
        _a[i].close();
    }
    for (std::size_t i = 0; i < b.size(); ++i) {
        _b[i].close();
    }

    std::vector<PVIntersection> pxs = _a.intersect(_b, precision);
    if (pxs.empty()) return;
    if (pxs.size() % 2) return;

    // prepare intersection lists for each path component
    for (std::size_t i = 0; i < _a.size(); ++i) {
        _xalists.push_back(new IntersectionList());
    }
    for (std::size_t i = 0; i < _b.size(); ++i) {
        _xblists.push_back(new IntersectionList());
    }

    for (std::size_t i = 0; i < pxs.size(); ++i) {
        IntersectionVertex *xa, *xb;
        xa = new IntersectionVertex();
        xb = new IntersectionVertex();
        xa->processed = xb->processed = false;
        xa->pos = pxs[i].first;
        xb->pos = pxs[i].second;
        xa->p = xb->p = pxs[i].point();
        xa->neighbor = xb;
        xb->neighbor = xa;
        _xs.push_back(xa);
        _xs.push_back(xb);
        _xalists[xa->pos.path_index].push_back(*xa);
        _xblists[xb->pos.path_index].push_back(*xb);
    }

    for (std::size_t i = 0; i < _xalists.size(); ++i) {
        _xalists[i].sort(IntersectionVertexLess());
    }
    for (std::size_t i = 0; i < _xblists.size(); ++i) {
        _xblists[i].sort(IntersectionVertexLess());
    }

    typedef IntersectionList::iterator Iter;

    // determine in/out/on flags using winding
    for (unsigned npv = 0; npv < 2; ++npv) {
        boost::ptr_vector<IntersectionList> &ls = npv ? _xblists : _xalists;
        PathVector const &pv = npv ? b : a;
        PathVector const &other = npv ? a : b;

        for (unsigned li = 0; li < ls.size(); ++li) {
            for (Iter i = ls[li].begin(); i != ls[li].end(); ++i) {
                Iter n = boost::next(i);
                if (n == ls[li].end()) {
                    n = ls[li].begin();
                }
                std::size_t pi = i->pos.path_index;

                PathInterval ival = forward_interval(i->pos, n->pos, pv[pi].size());
                PathPosition mid = ival.inside(precision);

                // TODO check for degenerate cases
                // requires changes in the winding routine
                int w = other.winding(pv[pi].pointAt(mid));
                if (w % 2) {
                    i->next = POINT_INSIDE;
                    n->previous = POINT_INSIDE;
                } else {
                    i->next = POINT_OUTSIDE;
                    n->previous = POINT_OUTSIDE;
                }
            }

            // assign exit / entry flags
            for (Iter i = ls[li].begin(); i != ls[li].end(); ++i) {
                i->entry = ((i->next == POINT_INSIDE) && (i->previous == POINT_OUTSIDE));
            }
        }
    }
}

PathVector PathIntersectionGraph::getUnion()
{
    PathVector result = _getResult(false, false);
    _handleNonintersectingPaths(result, 0, false);
    _handleNonintersectingPaths(result, 1, false);
    return result;
}

PathVector PathIntersectionGraph::getIntersection()
{
    PathVector result = _getResult(true, true);
    _handleNonintersectingPaths(result, 0, true);
    _handleNonintersectingPaths(result, 1, true);
    return result;
}

PathVector PathIntersectionGraph::_getResult(bool enter_a, bool enter_b)
{
    typedef IntersectionList::iterator Iter;
    PathVector result;
    if (_xs.empty()) return result;

    // reset processed status
    for (unsigned npv = 0; npv < 2; ++npv) {
        boost::ptr_vector<IntersectionList> &ls = npv ? _xblists : _xalists;
        for (std::size_t li = 0; li < ls.size(); ++li) {
            for (Iter k = ls[li].begin(); k != ls[li].end(); ++k) {
                k->processed = false;
            }
        }
    }

    unsigned n_processed = 0;

    while (true) {
        PathVector const *cur = &_a, *other = &_b;
        boost::ptr_vector<IntersectionList> *lscur = &_xalists, *lsother = &_xblists;

        // find unprocessed intersection
        Iter i;
        if (!_findUnprocessed(i)) break;

        result.push_back(Path(i->p));
        result.back().setStitching(true);

        while (!i->processed) {
            Iter prev = i;
            std::size_t pi = i->pos.path_index;
            // determine which direction to go
            // union: always go outside
            // intersection: always go inside
            // a minus b: go inside in b, outside in a
            // b minus a: go inside in a, outside in b
            bool reverse = false;
            if (cur == &_a) {
                reverse = i->entry ^ enter_a;
            } else {
                reverse = i->entry ^ enter_b;
            }

            // get next intersection
            if (reverse) {
                if (i == (*lscur)[pi].begin()) {
                    i = (*lscur)[pi].end();
                }
                --i;
            } else {
                ++i;
                if (i == (*lscur)[pi].end()) {
                    i = (*lscur)[pi].begin();
                }
            }

            // append portion of path
            PathInterval ival = PathInterval::from_direction(
                prev->pos.asPathPosition(), i->pos.asPathPosition(),
                reverse, (*cur)[pi].size());

            (*cur)[pi].appendPortionTo(result.back(), ival, prev->p, i->p);

            // mark both vertices as processed
            prev->processed = true;
            i->processed = true;
            n_processed += 2;

            // switch to the other path
            i = (*lsother)[i->neighbor->pos.path_index].iterator_to(*i->neighbor);
            std::swap(lscur, lsother);
            std::swap(cur, other);
        }

        assert(!result.back().empty());
    }

    assert(n_processed == _xs.size());

    return result;
}

void PathIntersectionGraph::_handleNonintersectingPaths(PathVector &result, int which, bool inside)
{
    /* Every component that has any intersections will be processed by _getResult.
     * Here we take care of paths that don't have any intersections. They are either
     * completely inside or completely outside the other pathvector. We test this by
     * evaluating the winding rule at the initial point. If inside is true and
     * the path is inside, we add it to the result.
     */
    boost::ptr_vector<IntersectionList> const &ls = which ? _xblists : _xalists;
    PathVector const &cur = which ? _b : _a;
    PathVector const &other = which ? _a : _b;

    for (std::size_t i = 0; i < cur.size(); ++i) {
        if (!ls.empty() && !ls[i].empty()) continue;

        int w = other.winding(cur[i].initialPoint());
        bool path_inside = w % 2 != 0;
        if (path_inside == inside) {
            result.push_back(cur[i]);
        }
    }
}

bool PathIntersectionGraph::_findUnprocessed(IntersectionList::iterator &result)
{
    typedef IntersectionList::iterator Iter;

    Iter it;

    for (std::size_t k = 0; k < _xalists.size(); ++k) {
        it = _xalists[k].begin();
        for (; it != _xalists[k].end(); ++it) {
            if (!it->processed) {
                result = it;
                return true;
            }
        }
    }

    return false;
}

} // namespace Geom

/*
  Local Variables:
  mode:c++
  c-file-style:"stroustrup"
  c-file-offsets:((innamespace . 0)(inline-open . 0)(case-label . +))
  indent-tabs-mode:nil
  fill-column:99
  End:
*/
// vim: filetype=cpp:expandtab:shiftwidth=4:tabstop=8:softtabstop=4:encoding=utf-8:textwidth=99 :