Add edge-linking checks in ValidateTopology

[strk]

The ValidateTopology function does not currently check if edge linking is correct. It probably should.

See http://trac.osgeo.org/postgis/ticket/1224#comment:5

[robe]

Milestone renamed

[strk]

For reference, #4709 is a bad consequence (backend crash) of a topology with edge-linking corruption, so dealing with it with ValidateTopology becomes more important.

[Sandro Santilli <strk@…>]

In 2ce98e2/git:

Handle non-closed edge rings by human readable error

Handle both topological and geometrical corruption

Have getRingEdges raise an error if topology is corrupted

References #4709
References #3042

[Lars Aksel Opsahl]

Another problem with function is that uses a lot of time .

Does make a sense to make optimal parameter bbox to limit the area to check ?

[strk]

There are a number of validity checks that could be performed within a limited bounding box yes, I'm thinking of:

• Edge linking (for all nodes falling in the bbox)
• Consistent side-labelling for linked edges

[strk]

Remi: where can your rc_RecomputeEdgeLinking function be found ? It'd be interesting to look at it now :)

[Sandro Santilli <strk@…>]

In ac60803/git:

Enhance test for topology edge side faces

• Also check non-isolated ones
• Catch universal face containment (only in non-boundary case)

Closes #4830 again

Includes more testcases and updates pre-existing one expectance.

The only missing check now is for dangling edges advertising
the universal face on only ONE side. We cannot easily check
this becase we'd expect such edge to be only contaied by a face
and it will be, even if both sides are in the _same_ face.
This case can only be determined by edge-linking checking
(references #3042)

[strk]

For the record: I filed #4942 to provide a RecomputeEdgeLinking function, to go with the new check

[Sandro Santilli <strk@…>]

In 68b17cd/git:

Add edge linking validation to ValidateTopology

Closes #3042
Includes regression tests