ROUTE53-RECOVERY-READINESS

CreateCell

valid {
    input.Body.cellName == STRING
    input.Body.cells[_] == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateCrossAccountAuthorization

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

CreateReadinessCheck

valid {
    input.Body.readinessCheckName == STRING
    input.Body.resourceSetName == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateRecoveryGroup

valid {
    input.Body.cells[_] == STRING
    input.Body.recoveryGroupName == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateResourceSet

valid {
    input.Body.resourceSetName == STRING
    input.Body.resourceSetType == STRING
    input.Body.resources[_].componentId == STRING
    input.Body.resources[_].dnsTargetResource.domainName == STRING
    input.Body.resources[_].dnsTargetResource.hostedZoneArn == STRING
    input.Body.resources[_].dnsTargetResource.recordSetId == STRING
    input.Body.resources[_].dnsTargetResource.recordType == STRING
    input.Body.resources[_].dnsTargetResource.targetResource.nLBResource.arn == STRING
    input.Body.resources[_].dnsTargetResource.targetResource.r53Resource.domainName == STRING
    input.Body.resources[_].dnsTargetResource.targetResource.r53Resource.recordSetId == STRING
    input.Body.resources[_].readinessScopes[_] == STRING
    input.Body.resources[_].resourceArn == STRING
    input.Body.tags.STRING == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteCell

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

DeleteCrossAccountAuthorization

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

DeleteReadinessCheck

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

DeleteRecoveryGroup

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

DeleteResourceSet

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

GetArchitectureRecommendations

valid {
    input.ReqMap.recoveryGroupName == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetCell

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

GetCellReadinessSummary

valid {
    input.ReqMap.cellName == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetReadinessCheck

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

GetReadinessCheckResourceStatus

valid {
    input.ReqMap.readinessCheckName == STRING
    input.ReqMap.resourceIdentifier == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetReadinessCheckStatus

valid {
    input.ReqMap.readinessCheckName == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetRecoveryGroup

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

GetRecoveryGroupReadinessSummary

valid {
    input.ReqMap.recoveryGroupName == STRING
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetResourceSet

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

ListCells

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListCrossAccountAuthorizations

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListReadinessChecks

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRecoveryGroups

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListResourceSets

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRules

valid {
    input.Qs.maxResults == INTEGER
    input.Qs.nextToken == STRING
    input.Qs.resourceType == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResources

valid {
    input.ReqMap.resource-arn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.resource-arn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

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

UpdateCell

valid {
    input.Body.cells[_] == STRING
    input.ReqMap.cellName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateReadinessCheck

valid {
    input.Body.resourceSetName == STRING
    input.ReqMap.readinessCheckName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateRecoveryGroup

valid {
    input.Body.cells[_] == STRING
    input.ReqMap.recoveryGroupName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateResourceSet

valid {
    input.Body.resourceSetType == STRING
    input.Body.resources[_].componentId == STRING
    input.Body.resources[_].dnsTargetResource.domainName == STRING
    input.Body.resources[_].dnsTargetResource.hostedZoneArn == STRING
    input.Body.resources[_].dnsTargetResource.recordSetId == STRING
    input.Body.resources[_].dnsTargetResource.recordType == STRING
    input.Body.resources[_].dnsTargetResource.targetResource.nLBResource.arn == STRING
    input.Body.resources[_].dnsTargetResource.targetResource.r53Resource.domainName == STRING
    input.Body.resources[_].dnsTargetResource.targetResource.r53Resource.recordSetId == STRING
    input.Body.resources[_].readinessScopes[_] == STRING
    input.Body.resources[_].resourceArn == STRING
    input.ReqMap.resourceSetName == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}