1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
select 1, valid, reason, st_astext(location) FROM (
SELECT (ST_IsValidDetail('LINESTRING (70 250, 190 340)')).*
) foo;
select 2, valid, reason, st_astext(location) FROM (
SELECT (ST_IsValidDetail('LINESTRING (70 250, 70 250)')).*
) foo;
-- Twisted polygon
select 3, valid, reason, st_astext(location) FROM (
SELECT (ST_IsValidDetail(
'POLYGON ((70 250, 70 500, 80 400, 40 400, 70 250))'
)).*
) foo;
-- Twisted polygon is also invalid for ESRI
select 4, valid, reason, st_astext(location) FROM (
SELECT (ST_IsValidDetail(
'POLYGON ((70 250, 70 500, 80 400, 40 400, 70 250))'
,
1 -- ESRI flag
)).*
) foo;
-- Self-touching ring forming hole
select 5, valid, reason, st_astext(location) FROM (
SELECT (ST_IsValidDetail(
'POLYGON ((70 250, 40 500, 100 400, 70 250, 80 350, 60 350, 70 250))'
,
0 -- No flags
)).*
) foo;
select '5s', ST_IsValid(
'POLYGON ((70 250, 40 500, 100 400, 70 250, 80 350, 60 350, 70 250))' , 0);
select '5r', ST_IsValidReason(
'POLYGON ((70 250, 40 500, 100 400, 70 250, 80 350, 60 350, 70 250))' , 0);
-- Self-touching ring forming hole with ESRI flag
select 6, valid, reason, st_astext(location) FROM (
SELECT (ST_IsValidDetail(
'POLYGON ((70 250, 40 500, 100 400, 70 250, 80 350, 60 350, 70 250))'
,
1 -- ESRI flag
)).*
) foo;
select '6s', ST_IsValid(
'POLYGON ((70 250, 40 500, 100 400, 70 250, 80 350, 60 350, 70 250))' , 1);
select '5r', ST_IsValidReason(
'POLYGON ((70 250, 40 500, 100 400, 70 250, 80 350, 60 350, 70 250))' , 1);
-- Check that it works without the extension schema being available
BEGIN;
SET search_path TO pg_catalog;
select 7, valid, reason, :schema st_astext(location) FROM (
SELECT (:schema ST_IsValidDetail(
'POLYGON ((70 250, 70 500, 80 400, 40 400, 70 250))':: :schema geometry
)).*
) foo;
ROLLBACK;
|
