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
}
Updated 5 days ago