SERVICE-QUOTAS

AssociateServiceQuotaTemplate

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

DeleteServiceQuotaIncreaseRequestFromTemplate

valid {
    input.Body.ServiceCode == STRING
    input.Body.QuotaCode == STRING
    input.Body.AwsRegion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

DisassociateServiceQuotaTemplate

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

GetAWSDefaultServiceQuota

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

GetAssociationForServiceQuotaTemplate

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

GetRequestedServiceQuotaChange

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

GetServiceQuota

valid {
    input.Body.ServiceCode == STRING
    input.Body.QuotaCode == STRING
    input.Body.ContextId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

GetServiceQuotaIncreaseRequestFromTemplate

valid {
    input.Body.ServiceCode == STRING
    input.Body.QuotaCode == STRING
    input.Body.AwsRegion == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListAWSDefaultServiceQuotas

valid {
    input.Body.ServiceCode == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRequestedServiceQuotaChangeHistory

enum_AppliedLevelEnum := [ "ACCOUNT", "RESOURCE", "ALL" ]
enum_RequestStatus := [ "PENDING", "CASE_OPENED", "APPROVED", "DENIED", "CASE_CLOSED", "NOT_APPROVED", "INVALID_REQUEST" ]

valid {
    input.Body.ServiceCode == STRING
    input.Body.Status == enum_RequestStatus[_]
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.QuotaRequestedAtLevel == enum_AppliedLevelEnum[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListRequestedServiceQuotaChangeHistoryByQuota

enum_AppliedLevelEnum := [ "ACCOUNT", "RESOURCE", "ALL" ]
enum_RequestStatus := [ "PENDING", "CASE_OPENED", "APPROVED", "DENIED", "CASE_CLOSED", "NOT_APPROVED", "INVALID_REQUEST" ]

valid {
    input.Body.ServiceCode == STRING
    input.Body.QuotaCode == STRING
    input.Body.Status == enum_RequestStatus[_]
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.QuotaRequestedAtLevel == enum_AppliedLevelEnum[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceQuotaIncreaseRequestsInTemplate

valid {
    input.Body.ServiceCode == STRING
    input.Body.AwsRegion == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServiceQuotas

enum_AppliedLevelEnum := [ "ACCOUNT", "RESOURCE", "ALL" ]

valid {
    input.Body.ServiceCode == STRING
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.Body.QuotaCode == STRING
    input.Body.QuotaAppliedAtLevel == enum_AppliedLevelEnum[_]
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListServices

valid {
    input.Body.NextToken == STRING
    input.Body.MaxResults == INTEGER
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

ListTagsForResource

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

PutServiceQuotaIncreaseRequestIntoTemplate

valid {
    input.Body.QuotaCode == STRING
    input.Body.ServiceCode == STRING
    input.Body.AwsRegion == STRING
    input.Body.DesiredValue == DOUBLE
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

RequestServiceQuotaIncrease

valid {
    input.Body.ServiceCode == STRING
    input.Body.QuotaCode == STRING
    input.Body.DesiredValue == DOUBLE
    input.Body.ContextId == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

TagResource

valid {
    input.Body.ResourceARN == STRING
    input.Body.Tags[_].Key == STRING
    input.Body.Tags[_].Value == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}

UntagResource

valid {
    input.Body.ResourceARN == STRING
    input.Body.TagKeys[_] == STRING
    input.ProviderMetadata.Account == STRING
    input.ProviderMetadata.AccessKeyId == STRING
    input.ProviderMetadata.Region == STRING
}