PRIVATENETWORKS

AcknowledgeOrderReceipt

valid {
    input.Body.orderArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ActivateDeviceIdentifier

valid {
    input.Body.clientToken == STRING
    input.Body.deviceIdentifierArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ActivateNetworkSite

enum_CommitmentLength := [ "SIXTY_DAYS", "ONE_YEAR", "THREE_YEARS" ]

valid {
    input.Body.clientToken == STRING
    input.Body.commitmentConfiguration.automaticRenewal == BOOLEAN
    input.Body.commitmentConfiguration.commitmentLength == enum_CommitmentLength[_]
    input.Body.networkSiteArn == STRING
    input.Body.shippingAddress.city == STRING
    input.Body.shippingAddress.company == STRING
    input.Body.shippingAddress.country == STRING
    input.Body.shippingAddress.emailAddress == STRING
    input.Body.shippingAddress.name == STRING
    input.Body.shippingAddress.phoneNumber == STRING
    input.Body.shippingAddress.postalCode == STRING
    input.Body.shippingAddress.stateOrProvince == STRING
    input.Body.shippingAddress.street1 == STRING
    input.Body.shippingAddress.street2 == STRING
    input.Body.shippingAddress.street3 == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ConfigureAccessPoint

enum_ElevationReference := [ "AGL", "AMSL" ]
enum_ElevationUnit := [ "FEET" ]

valid {
    input.Body.accessPointArn == STRING
    input.Body.cpiSecretKey == STRING
    input.Body.cpiUserId == STRING
    input.Body.cpiUserPassword == STRING
    input.Body.cpiUsername == STRING
    input.Body.position.elevation == DOUBLE
    input.Body.position.elevationReference == enum_ElevationReference[_]
    input.Body.position.elevationUnit == enum_ElevationUnit[_]
    input.Body.position.latitude == DOUBLE
    input.Body.position.longitude == DOUBLE
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateNetwork

valid {
    input.Body.clientToken == STRING
    input.Body.description == STRING
    input.Body.networkName == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateNetworkSite

enum_NetworkResourceDefinitionType := [ "RADIO_UNIT", "DEVICE_IDENTIFIER" ]

valid {
    input.Body.availabilityZone == STRING
    input.Body.availabilityZoneId == STRING
    input.Body.clientToken == STRING
    input.Body.description == STRING
    input.Body.networkArn == STRING
    input.Body.networkSiteName == STRING
    input.Body.pendingPlan.options[_].name == STRING
    input.Body.pendingPlan.options[_].value == STRING
    input.Body.pendingPlan.resourceDefinitions[_].count == INTEGER
    input.Body.pendingPlan.resourceDefinitions[_].options[_].name == STRING
    input.Body.pendingPlan.resourceDefinitions[_].options[_].value == STRING
    input.Body.pendingPlan.resourceDefinitions[_].type == enum_NetworkResourceDefinitionType[_]
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeactivateDeviceIdentifier

valid {
    input.Body.clientToken == STRING
    input.Body.deviceIdentifierArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteNetwork

valid {
    input.ReqMap.networkArn == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteNetworkSite

valid {
    input.ReqMap.networkSiteArn == STRING
    input.Qs.clientToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetDeviceIdentifier

valid {
    input.ReqMap.deviceIdentifierArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetNetwork

valid {
    input.ReqMap.networkArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetNetworkResource

valid {
    input.ReqMap.networkResourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetNetworkSite

valid {
    input.ReqMap.networkSiteArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetOrder

valid {
    input.ReqMap.orderArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListDeviceIdentifiers

valid {
    input.Body.filters.STATUS[_] == STRING
    input.Body.filters.ORDER[_] == STRING
    input.Body.filters.TRAFFIC_GROUP[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.networkArn == STRING
    input.Body.startToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListNetworkResources

valid {
    input.Body.filters.ORDER[_] == STRING
    input.Body.filters.STATUS[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.networkArn == STRING
    input.Body.startToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListNetworkSites

valid {
    input.Body.filters.STATUS[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.networkArn == STRING
    input.Body.startToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListNetworks

valid {
    input.Body.filters.STATUS[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.startToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListOrders

valid {
    input.Body.filters.STATUS[_] == STRING
    input.Body.filters.NETWORK_SITE[_] == STRING
    input.Body.maxResults == INTEGER
    input.Body.networkArn == STRING
    input.Body.startToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

valid {
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

Ping

valid {
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

StartNetworkResourceUpdate

enum_CommitmentLength := [ "SIXTY_DAYS", "ONE_YEAR", "THREE_YEARS" ]
enum_UpdateType := [ "REPLACE", "RETURN", "COMMITMENT" ]

valid {
    input.Body.commitmentConfiguration.automaticRenewal == BOOLEAN
    input.Body.commitmentConfiguration.commitmentLength == enum_CommitmentLength[_]
    input.Body.networkResourceArn == STRING
    input.Body.returnReason == STRING
    input.Body.shippingAddress.city == STRING
    input.Body.shippingAddress.company == STRING
    input.Body.shippingAddress.country == STRING
    input.Body.shippingAddress.emailAddress == STRING
    input.Body.shippingAddress.name == STRING
    input.Body.shippingAddress.phoneNumber == STRING
    input.Body.shippingAddress.postalCode == STRING
    input.Body.shippingAddress.stateOrProvince == STRING
    input.Body.shippingAddress.street1 == STRING
    input.Body.shippingAddress.street2 == STRING
    input.Body.shippingAddress.street3 == STRING
    input.Body.updateType == enum_UpdateType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resourceArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.ReqMap.resourceArn == STRING
    input.Qs.tagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateNetworkSite

valid {
    input.Body.clientToken == STRING
    input.Body.description == STRING
    input.Body.networkSiteArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateNetworkSitePlan

enum_NetworkResourceDefinitionType := [ "RADIO_UNIT", "DEVICE_IDENTIFIER" ]

valid {
    input.Body.clientToken == STRING
    input.Body.networkSiteArn == STRING
    input.Body.pendingPlan.options[_].name == STRING
    input.Body.pendingPlan.options[_].value == STRING
    input.Body.pendingPlan.resourceDefinitions[_].count == INTEGER
    input.Body.pendingPlan.resourceDefinitions[_].options[_].name == STRING
    input.Body.pendingPlan.resourceDefinitions[_].options[_].value == STRING
    input.Body.pendingPlan.resourceDefinitions[_].type == enum_NetworkResourceDefinitionType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}