Skip to content

Commit

Permalink
Run schema generation
Browse files Browse the repository at this point in the history
  • Loading branch information
BenjaminPelletier committed Oct 21, 2023
1 parent 29f8906 commit 53c56e7
Show file tree
Hide file tree
Showing 83 changed files with 1,982 additions and 608 deletions.
38 changes: 19 additions & 19 deletions schemas/monitoring/monitorlib/fetch/RequestDescription.json
Original file line number Diff line number Diff line change
@@ -1,28 +1,28 @@
{
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/fetch/RequestDescription.json",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"description": "monitoring.monitorlib.fetch.RequestDescription, as defined in monitoring/monitorlib/fetch/__init__.py",
"properties": {
"$ref": {
"type": "string",
"description": "Path to content that replaces the $ref"
"description": "Path to content that replaces the $ref",
"type": "string"
},
"initiated_at": {
"body": {
"type": [
"string",
"null"
],
"format": "date-time"
]
},
"received_at": {
"headers": {
"type": [
"string",
"object",
"null"
],
"format": "date-time"
]
},
"headers": {
"initiated_at": {
"format": "date-time",
"type": [
"object",
"string",
"null"
]
},
Expand All @@ -35,20 +35,20 @@
"method": {
"type": "string"
},
"url": {
"type": "string"
},
"body": {
"received_at": {
"format": "date-time",
"type": [
"string",
"null"
]
},
"url": {
"type": "string"
}
},
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/fetch/RequestDescription.json",
"description": "monitoring.monitorlib.fetch.RequestDescription, as defined in monitoring/monitorlib/fetch/__init__.py",
"required": [
"method",
"url"
]
],
"type": "object"
}
34 changes: 17 additions & 17 deletions schemas/monitoring/monitorlib/fetch/ResponseDescription.json
Original file line number Diff line number Diff line change
@@ -1,17 +1,27 @@
{
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/fetch/ResponseDescription.json",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"type": "object",
"description": "monitoring.monitorlib.fetch.ResponseDescription, as defined in monitoring/monitorlib/fetch/__init__.py",
"properties": {
"$ref": {
"type": "string",
"description": "Path to content that replaces the $ref"
"description": "Path to content that replaces the $ref",
"type": "string"
},
"body": {
"type": [
"string",
"null"
]
},
"code": {
"type": [
"integer",
"null"
]
},
"elapsed_s": {
"type": "number"
},
"failure": {
"type": [
"string",
Expand All @@ -30,24 +40,14 @@
"null"
]
},
"elapsed_s": {
"type": "number"
},
"body": {
"type": [
"string",
"null"
]
},
"reported": {
"type": "string",
"format": "date-time"
"format": "date-time",
"type": "string"
}
},
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/fetch/ResponseDescription.json",
"description": "monitoring.monitorlib.fetch.ResponseDescription, as defined in monitoring/monitorlib/fetch/__init__.py",
"required": [
"elapsed_s",
"reported"
]
],
"type": "object"
}
34 changes: 0 additions & 34 deletions schemas/monitoring/monitorlib/geo/LatLngBoundingBox.json

This file was deleted.

52 changes: 0 additions & 52 deletions schemas/monitoring/monitorlib/geo/Volume3D.json

This file was deleted.

43 changes: 43 additions & 0 deletions schemas/monitoring/monitorlib/geotemporal/NextDay.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
{
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/geotemporal/NextDay.json",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"description": "monitoring.monitorlib.geotemporal.NextDay, as defined in monitoring/monitorlib/geotemporal.py",
"properties": {
"$ref": {
"description": "Path to content that replaces the $ref",
"type": "string"
},
"days_of_the_week": {
"description": "Acceptable days of the week. Omit to indicate that any day of the week is acceptable.",
"items": {
"enum": [
"Mo",
"Tu",
"We",
"Th",
"Fr",
"Sa",
"Su"
],
"type": "string"
},
"type": [
"array",
"null"
]
},
"starting_from": {
"$ref": "TestTime.json",
"description": "The time after which the first instance of one of the days should be found."
},
"time_zone": {
"description": "Time zone in which \"day\" is understood. Examples:\n * \"local\" (local time of machine running this code)\n * \"Z\" (Zulu time)\n * \"-08:00\" (ISO time zone)\n * \"US/Pacific\" (IANA time zone)",
"type": "string"
}
},
"required": [
"starting_from",
"time_zone"
],
"type": "object"
}
29 changes: 29 additions & 0 deletions schemas/monitoring/monitorlib/geotemporal/NextSunPosition.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
{
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/geotemporal/NextSunPosition.json",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"description": "monitoring.monitorlib.geotemporal.NextSunPosition, as defined in monitoring/monitorlib/geotemporal.py",
"properties": {
"$ref": {
"description": "Path to content that replaces the $ref",
"type": "string"
},
"elevation_deg": {
"description": "Elevation of the center of the sun above horizontal, in degrees.",
"type": "number"
},
"observed_from": {
"$ref": "../geo/LatLngPoint.json",
"description": "The location on earth observing the sun."
},
"starting_from": {
"$ref": "TestTime.json",
"description": "The time after which the first time the sun is at the specified position should be found."
}
},
"required": [
"elevation_deg",
"observed_from",
"starting_from"
],
"type": "object"
}
25 changes: 25 additions & 0 deletions schemas/monitoring/monitorlib/geotemporal/OffsetTime.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
{
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/geotemporal/OffsetTime.json",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"description": "monitoring.monitorlib.geotemporal.OffsetTime, as defined in monitoring/monitorlib/geotemporal.py",
"properties": {
"$ref": {
"description": "Path to content that replaces the $ref",
"type": "string"
},
"offset": {
"description": "Offset from starting time.",
"format": "duration",
"type": "string"
},
"starting_from": {
"$ref": "TestTime.json",
"description": "The time from which the offset should be applied."
}
},
"required": [
"offset",
"starting_from"
],
"type": "object"
}
67 changes: 67 additions & 0 deletions schemas/monitoring/monitorlib/geotemporal/TestTime.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,67 @@
{
"$id": "https://github.com/interuss/monitoring/blob/main/schemas/monitoring/monitorlib/geotemporal/TestTime.json",
"$schema": "https://json-schema.org/draft/2020-12/schema",
"description": "Exactly one of the time option fields of this object must be specified.\n\nmonitoring.monitorlib.geotemporal.TestTime, as defined in monitoring/monitorlib/geotemporal.py",
"properties": {
"$ref": {
"description": "Path to content that replaces the $ref",
"type": "string"
},
"absolute_time": {
"description": "Time option field to use a precise timestamp which does not change with test conditions.\n\nThe value of absolute_time is limited given that the specific time a test will be started is unknown, and the jurisdictions usually impose a limit on how far in the future an operation can be planned.",
"format": "date-time",
"type": [
"string",
"null"
]
},
"next_day": {
"description": "Time option field to use a timestamp equal to midnight beginning the next occurrence of any matching day following the specified reference timestamp.",
"oneOf": [
{
"type": "null"
},
{
"$ref": "NextDay.json"
}
]
},
"next_sun_position": {
"description": "Time option field to use a timestamp equal to the next time after the specified reference timestamp at which the sun will be at the specified angle above the horizon.",
"oneOf": [
{
"type": "null"
},
{
"$ref": "NextSunPosition.json"
}
]
},
"offset_from": {
"description": "Time option field to use a timestamp that is offset by the specified amount from the specified time.",
"oneOf": [
{
"type": "null"
},
{
"$ref": "OffsetTime.json"
}
]
},
"start_of_test": {
"description": "Time option field to, if specified, use the timestamp at which the current test run started.",
"type": [
"object",
"null"
]
},
"use_timezone": {
"description": "If specified, report the timestamp in the specified time zone. Examples:\n * \"local\" (local time of machine running this code)\n * \"Z\" (Zulu time)\n * \"-08:00\" (ISO time zone)\n * \"US/Pacific\" (IANA time zone)",
"type": [
"string",
"null"
]
}
},
"type": "object"
}
Loading

0 comments on commit 53c56e7

Please sign in to comment.