Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ properties:
theme: divisions
type: division
version: 0
subtype: country
subtype: admin0
names:
primary: A division with an invalid capital_division_id property.
country: ZZ
hierarchies:
- - division_id: counterexample:division:bad-capital-division-id
subtype: country
subtype: admin0
name: A division with an invalid capital_division_id property.
norms:
driving_side: right
Expand Down
2 changes: 1 addition & 1 deletion counterexamples/divisions/division/bad-class.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division
version: 0
subtype: country
subtype: admin0
class: mammalia
division_id: counterexample:division:some-class
names:
Expand Down
4 changes: 2 additions & 2 deletions counterexamples/divisions/division/bad-country.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ properties:
theme: divisions
type: division
version: 0
subtype: country
subtype: admin0
names:
primary: A division with an invalid country property.
country: ZZZ
hierarchies:
- - division_id: counterexample:division:bad-country
subtype: country
subtype: admin0
name: A division with an invalid country property.
norms:
driving_side: left
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ properties:
theme: divisions
type: division
version: 0
subtype: country
subtype: admin0
names:
primary: A division with invalid geometry coordinates.
country: ZZ
hierarchies:
- - division_id: counterexample:division:bad-geometry-coordinates
subtype: country
subtype: admin0
name: A division with invalid geometry coordinates.
norms:
driving_side: left
Expand Down
4 changes: 2 additions & 2 deletions counterexamples/divisions/division/bad-geometry-type.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ properties:
theme: divisions
type: division
version: 0
subtype: country
subtype: admin0
names:
primary: A division with an invalid geometry type.
country: ZZ
hierarchies:
- - division_id: counterexample:division:bad-geometry-type
subtype: country
subtype: admin0
name: A division with an invalid geometry type.
norms:
driving_side: left
Expand Down
6 changes: 3 additions & 3 deletions counterexamples/divisions/division/bad-hierarchies.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ properties:
theme: divisions
type: division
version: 0
subtype: county
subtype: admin2
names:
primary: A division with an invalid hierarchies property
country: ZZ
hierarchies:
- - division_id: counterexample:division:bad-hierarchies-country
subtype: country
subtype: admin0
- name: foo
subtype: region
subtype: admin1
- division_id: counterexample:division:bad-hierarchies-county
name: bar
- []
Expand Down
4 changes: 2 additions & 2 deletions counterexamples/divisions/division/bad-names.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,15 +8,15 @@ properties:
theme: divisions
type: division
version: 0
subtype: country
subtype: admin0
names:
primary:
common:
a-b-c-d-e-f-g-h-i-j-k-l: foo
country: ZZ
hierarchies:
- - division_id: counterexample:division:bad-names
subtype: country
subtype: admin0
name: A division with invalid names
norms:
driving_side: left
Expand Down
4 changes: 2 additions & 2 deletions counterexamples/divisions/division/bad-norms.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,13 +8,13 @@ properties:
theme: divisions
type: division
version: 0
subtype: country
subtype: admin0
names:
primary: A division with invalid norms
country: ZZ
hierarchies:
- - division_id: counterexample:division:bad-names
subtype: country
subtype: admin0
name: A division with invalid norms
norms:
driving_side: middle
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,16 +8,16 @@ properties:
theme: divisions
type: division
version: 0
subtype: region
subtype: admin1
names:
primary: A division with an invalid parent division ID
country: ZZ
hierarchies:
- - division_id: counterexample:division:some-parent-division
subtype: country
subtype: admin0
name: Some parent division
- division_id: counterexample:division:bad-parent-division-id
subtype: region
subtype: admin1
name: A division with an invalid parent division ID
norms:
driving_side: right
Expand Down
6 changes: 3 additions & 3 deletions counterexamples/divisions/division/bad-region.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,17 +8,17 @@ properties:
theme: divisions
type: division
version: 0
subtype: region
subtype: admin1
names:
primary: A division with an invalid region
country: ZZ
region: foo
hierarchies:
- - division_id: counterexample:division:some-parent-division
subtype: country
subtype: admin0
name: Some parent division
- division_id: counterexample:division:bad-region
subtype: region
subtype: admin1
name: A division with an invalid ISO 3166-2 primary subdivision code ('region')
parent_division_id: counterexample:division:some-parent-division
ext_expected_errors:
Expand Down
4 changes: 2 additions & 2 deletions counterexamples/divisions/division/bad-subtype.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -17,5 +17,5 @@ properties:
subtype: foo
name: A division with an invalid subtype
ext_expected_errors:
- "/propertyDefinitions/placetype/enum]: value must be one of 'country',"
- "/propertyDefinitions/placetype/enum]: value must be one of 'country',"
- "/propertyDefinitions/placetype/enum]: value must be one of 'admin0',"
- "/propertyDefinitions/placetype/enum]: value must be one of 'admin0',"

This file was deleted.

Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
---
id: counterexample:division:parent-required-on-sub-country
id: counterexample:division:parent-required-on-sub-admin0
type: Feature
geometry:
type: Point
Expand All @@ -8,17 +8,17 @@ properties:
theme: divisions
type: division
version: 0
subtype: region
subtype: admin1
names:
primary: A sub-country division that lacks a parent ID
primary: A sub-admin0 division that lacks a parent ID
country: ZZ
region: ZZ-ABC
hierarchies:
- - division_id: counterexample:division:some-parent-division
subtype: country
subtype: admin0
name: Some parent division
- division_id: counterexample:division:parent-required-on-sub-country
subtype: region
name: A sub-country division that lacks a parent ID
- division_id: counterexample:division:parent-required-on-sub-admin0
subtype: admin1
name: A sub-admin0 division that lacks a parent ID
ext_expected_errors:
- "missing property 'parent_division_id'"
2 changes: 1 addition & 1 deletion counterexamples/divisions/division_area/bad-class.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: country
subtype: admin0
class: mammalia
division_id: counterexample:division:some-division
names:
Expand Down
2 changes: 1 addition & 1 deletion counterexamples/divisions/division_area/bad-country.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: country
subtype: admin0
class: land
division_id: counterexample:division:some-division
names:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: country
subtype: admin0
class: maritime
division_id: 'abc '
names:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: country
subtype: admin0
class: maritime
division_id: counterexample:division:some-division
names:
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: country
subtype: admin0
class: land
division_id: counterexample:division:some-division
names:
Expand Down
2 changes: 1 addition & 1 deletion counterexamples/divisions/division_area/bad-is-land.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: country
subtype: admin0
division_id: counterexample:division_boundary:some-division
is_land: yes
country: ZZ
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: country
subtype: admin0
division_id: counterexample:division_boundary:some-division
is_territorial: no
is_land: true
Expand Down
26 changes: 13 additions & 13 deletions counterexamples/divisions/division_area/bad-missing-is-land.yaml
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
---
id: counterexample:division_area:bad-is-territorial
type: Feature
geometry:
type: LineString
coordinates: [[0, 1], [1, 2]]
properties:
theme: divisions
type: division_area
version: 0
subtype: country
division_id: counterexample:division_boundary:some-division
is_territorial: false
---
id: counterexample:division_area:bad-is-territorial
type: Feature
geometry:
type: LineString
coordinates: [[0, 1], [1, 2]]
properties:
theme: divisions
type: division_area
version: 0
subtype: admin0
division_id: counterexample:division_boundary:some-division
is_territorial: false
country: ZZ
2 changes: 1 addition & 1 deletion counterexamples/divisions/division_area/bad-region.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ properties:
theme: divisions
type: division_area
version: 0
subtype: region
subtype: admin1
class: maritime
division_id: counterexample:division:some-division
names:
Expand Down
4 changes: 3 additions & 1 deletion counterexamples/divisions/division_area/bad-subtype.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -15,5 +15,7 @@ properties:
primary: A division area with an invalid subtype property.
country: ZZ
region: ZZ-AB
is_land: true
is_territorial: false
ext_expected_errors:
- "/propertyDefinitions/placetype/enum]: value must be one of 'country',"
- "/propertyDefinitions/placetype/enum]: value must be one of 'admin0',"
4 changes: 2 additions & 2 deletions counterexamples/divisions/division_boundary/bad-class.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,9 @@ properties:
theme: divisions
type: division_boundary
version: 0
subtype: country
subtype: admin0
class: foo
divisions: ["example:division:country:left", "example:division:country:right"]
divisions: ["example:division:admin0:left", "example:division:admin0:right"]
is_disputed: false
ext_expected_errors:
- "value must be one of 'land', 'maritime'"
Original file line number Diff line number Diff line change
Expand Up @@ -8,10 +8,10 @@ properties:
theme: divisions
type: division_boundary
version: 1
subtype: region
subtype: admin1
class: land
country: "XX"
division_ids: ["example:division:country:left", "example:division:country:right", "example:division:country:right", 123]
division_ids: ["example:division:admin0:left", "example:division:admin0:right", "example:division:admin0:right", 123]
is_disputed: "true"
ext_expected_errors:
- "maxItems: got 4, want 2"
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,9 @@ properties:
theme: divisions
type: division_boundary
version: 1
subtype: county
subtype: admin2
country: "XX"
class: land
division_ids: ["example:division:country:lonelylhsdivision"]
division_ids: ["example:division:admin0:lonelylhsdivision"]
ext_expected_errors:
- "minItems: got 1, want 2"
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,6 @@ properties:
subtype: neighborhood
class: land
country: "XX"
divisions: ["example:division:country:left", "example:division:country:right"]
divisions: ["example:division:admin0:left", "example:division:admin0:right"]
ext_expected_errors:
- "value must be 'LineString'"
4 changes: 2 additions & 2 deletions counterexamples/divisions/division_boundary/bad-is-land.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,8 @@ properties:
theme: divisions
type: division_boundary
version: 0
subtype: country
division_ids: ["example:division:country:left", "example:division:country:right"]
subtype: admin0
division_ids: ["example:division:admin0:left", "example:division:admin0:right"]
is_land: yes
is_territorial: false
class: land
Expand Down
Loading
Loading