Guides

IOT-ROBORUNNER

docs.aws.amazon.com
AWS documentation

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
}