IOT-ROBORUNNER
CreateDestination
enum_DestinationState := [ "ENABLED", "DISABLED", "DECOMMISSIONED" ]
valid {
input.Body.clientToken == STRING
input.Body.name == STRING
input.Body.site == STRING
input.Body.state == enum_DestinationState[_]
input.Body.additionalFixedProperties == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CreateSite
valid {
input.Body.clientToken == STRING
input.Body.name == STRING
input.Body.countryCode == STRING
input.Body.description == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CreateWorker
valid {
input.Body.clientToken == STRING
input.Body.name == STRING
input.Body.fleet == STRING
input.Body.additionalTransientProperties == STRING
input.Body.additionalFixedProperties == STRING
input.Body.vendorProperties.vendorWorkerId == STRING
input.Body.vendorProperties.vendorWorkerIpAddress == STRING
input.Body.vendorProperties.vendorAdditionalTransientProperties == STRING
input.Body.vendorProperties.vendorAdditionalFixedProperties == STRING
input.Body.position.cartesianCoordinates.x == DOUBLE
input.Body.position.cartesianCoordinates.y == DOUBLE
input.Body.position.cartesianCoordinates.z == DOUBLE
input.Body.orientation.degrees == DOUBLE
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}CreateWorkerFleet
valid {
input.Body.clientToken == STRING
input.Body.name == STRING
input.Body.site == STRING
input.Body.additionalFixedProperties == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteDestination
valid {
input.Body.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteSite
valid {
input.Body.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteWorker
valid {
input.Body.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}DeleteWorkerFleet
valid {
input.Body.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetDestination
valid {
input.Qs.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetSite
valid {
input.Qs.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetWorker
valid {
input.Qs.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}GetWorkerFleet
valid {
input.Qs.id == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListDestinations
enum_DestinationState := [ "ENABLED", "DISABLED", "DECOMMISSIONED" ]
valid {
input.Qs.site == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.Qs.state == enum_DestinationState[_]
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListSites
valid {
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListWorkerFleets
valid {
input.Qs.site == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}ListWorkers
valid {
input.Qs.site == STRING
input.Qs.maxResults == INTEGER
input.Qs.nextToken == STRING
input.Qs.fleet == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateDestination
enum_DestinationState := [ "ENABLED", "DISABLED", "DECOMMISSIONED" ]
valid {
input.Body.id == STRING
input.Body.name == STRING
input.Body.state == enum_DestinationState[_]
input.Body.additionalFixedProperties == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateSite
valid {
input.Body.id == STRING
input.Body.name == STRING
input.Body.countryCode == STRING
input.Body.description == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateWorker
valid {
input.Body.id == STRING
input.Body.name == STRING
input.Body.additionalTransientProperties == STRING
input.Body.additionalFixedProperties == STRING
input.Body.vendorProperties.vendorWorkerId == STRING
input.Body.vendorProperties.vendorWorkerIpAddress == STRING
input.Body.vendorProperties.vendorAdditionalTransientProperties == STRING
input.Body.vendorProperties.vendorAdditionalFixedProperties == STRING
input.Body.position.cartesianCoordinates.x == DOUBLE
input.Body.position.cartesianCoordinates.y == DOUBLE
input.Body.position.cartesianCoordinates.z == DOUBLE
input.Body.orientation.degrees == DOUBLE
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}UpdateWorkerFleet
valid {
input.Body.id == STRING
input.Body.name == STRING
input.Body.additionalFixedProperties == STRING
input.ProviderMetadata.Account == STRING
input.ProviderMetadata.AccessKeyId == STRING
input.ProviderMetadata.Region == STRING
}Updated 5 days ago