ROUTE53

ActivateKeySigningKey

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

AssociateVPCWithHostedZone

enum_VPCRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "eu-west-1", "eu-west-2", "eu-west-3", "eu-central-1", "eu-central-2", "ap-east-1", "me-south-1", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "me-central-1", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-south-1", "ap-south-2", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "ca-central-1", "cn-north-1", "cn-northwest-1", "af-south-1", "eu-south-1", "eu-south-2", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]

valid {
    input.Body.VPC.VPCRegion == enum_VPCRegion[_]
    input.Body.VPC.VPCId == STRING
    input.Body.Comment == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ChangeCidrCollection

enum_CidrCollectionChangeAction := [ "PUT", "DELETE_IF_EXISTS" ]

valid {
    input.Body.CollectionVersion == LONG
    input.Body.Changes[_].LocationName == STRING
    input.Body.Changes[_].Action == enum_CidrCollectionChangeAction[_]
    input.Body.Changes[_].CidrList[_] == STRING
    input.ReqMap.CidrCollectionId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ChangeResourceRecordSets

enum_ChangeAction := [ "CREATE", "DELETE", "UPSERT" ]
enum_RRType := [ "SOA", "A", "TXT", "NS", "CNAME", "MX", "NAPTR", "PTR", "SRV", "SPF", "AAAA", "CAA", "DS", "TLSA", "SSHFP", "SVCB", "HTTPS" ]
enum_ResourceRecordSetFailover := [ "PRIMARY", "SECONDARY" ]
enum_ResourceRecordSetRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "ca-central-1", "eu-west-1", "eu-west-2", "eu-west-3", "eu-central-1", "eu-central-2", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "cn-north-1", "cn-northwest-1", "ap-east-1", "me-south-1", "me-central-1", "ap-south-1", "ap-south-2", "af-south-1", "eu-south-1", "eu-south-2", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]

valid {
    input.Body.ChangeBatch.Comment == STRING
    input.Body.ChangeBatch.Changes[_].Action == enum_ChangeAction[_]
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.Name == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.Type == enum_RRType[_]
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.SetIdentifier == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.Weight == LONG
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.Region == enum_ResourceRecordSetRegion[_]
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoLocation.ContinentCode == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoLocation.CountryCode == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoLocation.SubdivisionCode == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.Failover == enum_ResourceRecordSetFailover[_]
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.MultiValueAnswer == BOOLEAN
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.TTL == LONG
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.ResourceRecords[_].Value == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.AliasTarget.HostedZoneId == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.AliasTarget.DNSName == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.AliasTarget.EvaluateTargetHealth == BOOLEAN
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.HealthCheckId == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.TrafficPolicyInstanceId == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.CidrRoutingConfig.CollectionId == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.CidrRoutingConfig.LocationName == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoProximityLocation.AWSRegion == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoProximityLocation.LocalZoneGroup == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoProximityLocation.Coordinates.Latitude == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoProximityLocation.Coordinates.Longitude == STRING
    input.Body.ChangeBatch.Changes[_].ResourceRecordSet.GeoProximityLocation.Bias == INTEGER
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ChangeTagsForResource

enum_TagResourceType := [ "healthcheck", "hostedzone" ]

valid {
    input.Body.AddTags[_].Key == STRING
    input.Body.AddTags[_].Value == STRING
    input.Body.RemoveTagKeys[_] == STRING
    input.ReqMap.ResourceType == enum_TagResourceType[_]
    input.ReqMap.ResourceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateCidrCollection

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

CreateHealthCheck

enum_CloudWatchRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "ca-central-1", "eu-central-1", "eu-central-2", "eu-west-1", "eu-west-2", "eu-west-3", "ap-east-1", "me-south-1", "me-central-1", "ap-south-1", "ap-south-2", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "cn-northwest-1", "cn-north-1", "af-south-1", "eu-south-1", "eu-south-2", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]
enum_HealthCheckRegion := [ "us-east-1", "us-west-1", "us-west-2", "eu-west-1", "ap-southeast-1", "ap-southeast-2", "ap-northeast-1", "sa-east-1" ]
enum_HealthCheckType := [ "HTTP", "HTTPS", "HTTP_STR_MATCH", "HTTPS_STR_MATCH", "TCP", "CALCULATED", "CLOUDWATCH_METRIC", "RECOVERY_CONTROL" ]
enum_InsufficientDataHealthStatus := [ "Healthy", "Unhealthy", "LastKnownStatus" ]

valid {
    input.Body.CallerReference == STRING
    input.Body.HealthCheckConfig.IPAddress == STRING
    input.Body.HealthCheckConfig.Port == INTEGER
    input.Body.HealthCheckConfig.Type == enum_HealthCheckType[_]
    input.Body.HealthCheckConfig.ResourcePath == STRING
    input.Body.HealthCheckConfig.FullyQualifiedDomainName == STRING
    input.Body.HealthCheckConfig.SearchString == STRING
    input.Body.HealthCheckConfig.RequestInterval == INTEGER
    input.Body.HealthCheckConfig.FailureThreshold == INTEGER
    input.Body.HealthCheckConfig.MeasureLatency == BOOLEAN
    input.Body.HealthCheckConfig.Inverted == BOOLEAN
    input.Body.HealthCheckConfig.Disabled == BOOLEAN
    input.Body.HealthCheckConfig.HealthThreshold == INTEGER
    input.Body.HealthCheckConfig.ChildHealthChecks[_] == STRING
    input.Body.HealthCheckConfig.EnableSNI == BOOLEAN
    input.Body.HealthCheckConfig.Regions[_] == enum_HealthCheckRegion[_]
    input.Body.HealthCheckConfig.AlarmIdentifier.Region == enum_CloudWatchRegion[_]
    input.Body.HealthCheckConfig.AlarmIdentifier.Name == STRING
    input.Body.HealthCheckConfig.InsufficientDataHealthStatus == enum_InsufficientDataHealthStatus[_]
    input.Body.HealthCheckConfig.RoutingControlArn == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateHostedZone

enum_VPCRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "eu-west-1", "eu-west-2", "eu-west-3", "eu-central-1", "eu-central-2", "ap-east-1", "me-south-1", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "me-central-1", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-south-1", "ap-south-2", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "ca-central-1", "cn-north-1", "cn-northwest-1", "af-south-1", "eu-south-1", "eu-south-2", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]

valid {
    input.Body.Name == STRING
    input.Body.VPC.VPCRegion == enum_VPCRegion[_]
    input.Body.VPC.VPCId == STRING
    input.Body.CallerReference == STRING
    input.Body.HostedZoneConfig.Comment == STRING
    input.Body.HostedZoneConfig.PrivateZone == BOOLEAN
    input.Body.DelegationSetId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateKeySigningKey

valid {
    input.Body.CallerReference == STRING
    input.Body.HostedZoneId == STRING
    input.Body.KeyManagementServiceArn == STRING
    input.Body.Name == STRING
    input.Body.Status == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateQueryLoggingConfig

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

CreateReusableDelegationSet

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

CreateTrafficPolicy

valid {
    input.Body.Name == STRING
    input.Body.Document == STRING
    input.Body.Comment == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateTrafficPolicyInstance

valid {
    input.Body.HostedZoneId == STRING
    input.Body.Name == STRING
    input.Body.TTL == LONG
    input.Body.TrafficPolicyId == STRING
    input.Body.TrafficPolicyVersion == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateTrafficPolicyVersion

valid {
    input.Body.Document == STRING
    input.Body.Comment == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

CreateVPCAssociationAuthorization

enum_VPCRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "eu-west-1", "eu-west-2", "eu-west-3", "eu-central-1", "eu-central-2", "ap-east-1", "me-south-1", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "me-central-1", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-south-1", "ap-south-2", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "ca-central-1", "cn-north-1", "cn-northwest-1", "af-south-1", "eu-south-1", "eu-south-2", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]

valid {
    input.Body.VPC.VPCRegion == enum_VPCRegion[_]
    input.Body.VPC.VPCId == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeactivateKeySigningKey

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

DeleteCidrCollection

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

DeleteHealthCheck

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

DeleteHostedZone

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

DeleteKeySigningKey

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

DeleteQueryLoggingConfig

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

DeleteReusableDelegationSet

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

DeleteTrafficPolicy

valid {
    input.ReqMap.Id == STRING
    input.ReqMap.Version == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DeleteTrafficPolicyInstance

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

DeleteVPCAssociationAuthorization

enum_VPCRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "eu-west-1", "eu-west-2", "eu-west-3", "eu-central-1", "eu-central-2", "ap-east-1", "me-south-1", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "me-central-1", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-south-1", "ap-south-2", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "ca-central-1", "cn-north-1", "cn-northwest-1", "af-south-1", "eu-south-1", "eu-south-2", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]

valid {
    input.Body.VPC.VPCRegion == enum_VPCRegion[_]
    input.Body.VPC.VPCId == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisableHostedZoneDNSSEC

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

DisassociateVPCFromHostedZone

enum_VPCRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "eu-west-1", "eu-west-2", "eu-west-3", "eu-central-1", "eu-central-2", "ap-east-1", "me-south-1", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "me-central-1", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-south-1", "ap-south-2", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "ca-central-1", "cn-north-1", "cn-northwest-1", "af-south-1", "eu-south-1", "eu-south-2", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]

valid {
    input.Body.VPC.VPCRegion == enum_VPCRegion[_]
    input.Body.VPC.VPCId == STRING
    input.Body.Comment == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

EnableHostedZoneDNSSEC

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

GetAccountLimit

enum_AccountLimitType := [ "MAX_HEALTH_CHECKS_BY_OWNER", "MAX_HOSTED_ZONES_BY_OWNER", "MAX_TRAFFIC_POLICY_INSTANCES_BY_OWNER", "MAX_REUSABLE_DELEGATION_SETS_BY_OWNER", "MAX_TRAFFIC_POLICIES_BY_OWNER" ]

valid {
    input.ReqMap.Type == enum_AccountLimitType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetChange

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

GetCheckerIpRanges

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

GetDNSSEC

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

GetGeoLocation

valid {
    input.Qs.continentcode == STRING
    input.Qs.countrycode == STRING
    input.Qs.subdivisioncode == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetHealthCheck

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

GetHealthCheckCount

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

GetHealthCheckLastFailureReason

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

GetHealthCheckStatus

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

GetHostedZone

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

GetHostedZoneCount

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

GetHostedZoneLimit

enum_HostedZoneLimitType := [ "MAX_RRSETS_BY_ZONE", "MAX_VPCS_ASSOCIATED_BY_ZONE" ]

valid {
    input.ReqMap.Type == enum_HostedZoneLimitType[_]
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetQueryLoggingConfig

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

GetReusableDelegationSet

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

GetReusableDelegationSetLimit

enum_ReusableDelegationSetLimitType := [ "MAX_ZONES_BY_REUSABLE_DELEGATION_SET" ]

valid {
    input.ReqMap.Type == enum_ReusableDelegationSetLimitType[_]
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTrafficPolicy

valid {
    input.ReqMap.Id == STRING
    input.ReqMap.Version == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetTrafficPolicyInstance

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

GetTrafficPolicyInstanceCount

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

ListCidrBlocks

valid {
    input.ReqMap.CidrCollectionId == STRING
    input.Qs.location == STRING
    input.Qs.nexttoken == STRING
    input.Qs.maxresults == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListCidrCollections

valid {
    input.Qs.nexttoken == STRING
    input.Qs.maxresults == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListCidrLocations

valid {
    input.ReqMap.CidrCollectionId == STRING
    input.Qs.nexttoken == STRING
    input.Qs.maxresults == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListGeoLocations

valid {
    input.Qs.startcontinentcode == STRING
    input.Qs.startcountrycode == STRING
    input.Qs.startsubdivisioncode == STRING
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListHealthChecks

valid {
    input.Qs.marker == STRING
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListHostedZones

enum_HostedZoneType := [ "PrivateHostedZone" ]

valid {
    input.Qs.marker == STRING
    input.Qs.maxitems == STRING
    input.Qs.delegationsetid == STRING
    input.Qs.hostedzonetype == enum_HostedZoneType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListHostedZonesByName

valid {
    input.Qs.dnsname == STRING
    input.Qs.hostedzoneid == STRING
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListHostedZonesByVPC

enum_VPCRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "eu-west-1", "eu-west-2", "eu-west-3", "eu-central-1", "eu-central-2", "ap-east-1", "me-south-1", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "me-central-1", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-south-1", "ap-south-2", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "ca-central-1", "cn-north-1", "cn-northwest-1", "af-south-1", "eu-south-1", "eu-south-2", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]

valid {
    input.Qs.vpcid == STRING
    input.Qs.vpcregion == enum_VPCRegion[_]
    input.Qs.maxitems == STRING
    input.Qs.nexttoken == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListQueryLoggingConfigs

valid {
    input.Qs.hostedzoneid == STRING
    input.Qs.nexttoken == STRING
    input.Qs.maxresults == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListResourceRecordSets

enum_RRType := [ "SOA", "A", "TXT", "NS", "CNAME", "MX", "NAPTR", "PTR", "SRV", "SPF", "AAAA", "CAA", "DS", "TLSA", "SSHFP", "SVCB", "HTTPS" ]

valid {
    input.ReqMap.Id == STRING
    input.Qs.name == STRING
    input.Qs.type == enum_RRType[_]
    input.Qs.identifier == STRING
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListReusableDelegationSets

valid {
    input.Qs.marker == STRING
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

enum_TagResourceType := [ "healthcheck", "hostedzone" ]

valid {
    input.ReqMap.ResourceType == enum_TagResourceType[_]
    input.ReqMap.ResourceId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResources

enum_TagResourceType := [ "healthcheck", "hostedzone" ]

valid {
    input.Body.ResourceIds[_] == STRING
    input.ReqMap.ResourceType == enum_TagResourceType[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTrafficPolicies

valid {
    input.Qs.trafficpolicyid == STRING
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTrafficPolicyInstances

enum_RRType := [ "SOA", "A", "TXT", "NS", "CNAME", "MX", "NAPTR", "PTR", "SRV", "SPF", "AAAA", "CAA", "DS", "TLSA", "SSHFP", "SVCB", "HTTPS" ]

valid {
    input.Qs.hostedzoneid == STRING
    input.Qs.trafficpolicyinstancename == STRING
    input.Qs.trafficpolicyinstancetype == enum_RRType[_]
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTrafficPolicyInstancesByHostedZone

enum_RRType := [ "SOA", "A", "TXT", "NS", "CNAME", "MX", "NAPTR", "PTR", "SRV", "SPF", "AAAA", "CAA", "DS", "TLSA", "SSHFP", "SVCB", "HTTPS" ]

valid {
    input.Qs.id == STRING
    input.Qs.trafficpolicyinstancename == STRING
    input.Qs.trafficpolicyinstancetype == enum_RRType[_]
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTrafficPolicyInstancesByPolicy

enum_RRType := [ "SOA", "A", "TXT", "NS", "CNAME", "MX", "NAPTR", "PTR", "SRV", "SPF", "AAAA", "CAA", "DS", "TLSA", "SSHFP", "SVCB", "HTTPS" ]

valid {
    input.Qs.id == STRING
    input.Qs.version == INTEGER
    input.Qs.hostedzoneid == STRING
    input.Qs.trafficpolicyinstancename == STRING
    input.Qs.trafficpolicyinstancetype == enum_RRType[_]
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTrafficPolicyVersions

valid {
    input.ReqMap.Id == STRING
    input.Qs.trafficpolicyversion == STRING
    input.Qs.maxitems == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListVPCAssociationAuthorizations

valid {
    input.ReqMap.Id == STRING
    input.Qs.nexttoken == STRING
    input.Qs.maxresults == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TestDNSAnswer

enum_RRType := [ "SOA", "A", "TXT", "NS", "CNAME", "MX", "NAPTR", "PTR", "SRV", "SPF", "AAAA", "CAA", "DS", "TLSA", "SSHFP", "SVCB", "HTTPS" ]

valid {
    input.Qs.hostedzoneid == STRING
    input.Qs.recordname == STRING
    input.Qs.recordtype == enum_RRType[_]
    input.Qs.resolverip == STRING
    input.Qs.edns0clientsubnetip == STRING
    input.Qs.edns0clientsubnetmask == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateHealthCheck

enum_CloudWatchRegion := [ "us-east-1", "us-east-2", "us-west-1", "us-west-2", "ca-central-1", "eu-central-1", "eu-central-2", "eu-west-1", "eu-west-2", "eu-west-3", "ap-east-1", "me-south-1", "me-central-1", "ap-south-1", "ap-south-2", "ap-southeast-1", "ap-southeast-2", "ap-southeast-3", "ap-northeast-1", "ap-northeast-2", "ap-northeast-3", "eu-north-1", "sa-east-1", "cn-northwest-1", "cn-north-1", "af-south-1", "eu-south-1", "eu-south-2", "us-gov-west-1", "us-gov-east-1", "us-iso-east-1", "us-iso-west-1", "us-isob-east-1", "ap-southeast-4", "il-central-1", "ca-west-1", "ap-southeast-5" ]
enum_HealthCheckRegion := [ "us-east-1", "us-west-1", "us-west-2", "eu-west-1", "ap-southeast-1", "ap-southeast-2", "ap-northeast-1", "sa-east-1" ]
enum_InsufficientDataHealthStatus := [ "Healthy", "Unhealthy", "LastKnownStatus" ]
enum_ResettableElementName := [ "FullyQualifiedDomainName", "Regions", "ResourcePath", "ChildHealthChecks" ]

valid {
    input.Body.HealthCheckVersion == LONG
    input.Body.IPAddress == STRING
    input.Body.Port == INTEGER
    input.Body.ResourcePath == STRING
    input.Body.FullyQualifiedDomainName == STRING
    input.Body.SearchString == STRING
    input.Body.FailureThreshold == INTEGER
    input.Body.Inverted == BOOLEAN
    input.Body.Disabled == BOOLEAN
    input.Body.HealthThreshold == INTEGER
    input.Body.ChildHealthChecks[_] == STRING
    input.Body.EnableSNI == BOOLEAN
    input.Body.Regions[_] == enum_HealthCheckRegion[_]
    input.Body.AlarmIdentifier.Region == enum_CloudWatchRegion[_]
    input.Body.AlarmIdentifier.Name == STRING
    input.Body.InsufficientDataHealthStatus == enum_InsufficientDataHealthStatus[_]
    input.Body.ResetElements[_] == enum_ResettableElementName[_]
    input.ReqMap.HealthCheckId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateHostedZoneComment

valid {
    input.Body.Comment == STRING
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateTrafficPolicyComment

valid {
    input.Body.Comment == STRING
    input.ReqMap.Id == STRING
    input.ReqMap.Version == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UpdateTrafficPolicyInstance

valid {
    input.Body.TTL == LONG
    input.Body.TrafficPolicyId == STRING
    input.Body.TrafficPolicyVersion == INTEGER
    input.ReqMap.Id == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

Updated 5 days ago