MICROSOFT.QUOTA

GroupQuotaLimitsRequest_CreateOrUpdate

valid {
    input.Body.properties.requestedResource.properties.limit == INTEGER
    input.Body.properties.requestedResource.properties.region == STRING
    input.Body.properties.requestedResource.properties.comments == STRING
    input.Body.STRING == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLimitsRequest_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.requestId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLimitsRequest_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLimitsRequest_Update

valid {
    input.Body.properties.requestedResource.properties.limit == INTEGER
    input.Body.properties.requestedResource.properties.region == STRING
    input.Body.properties.requestedResource.properties.comments == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLimits_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLimits_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLocationSettings_CreateOrUpdate

enum_EnforcementState := [ "Enabled", "Disabled", "NotAvailable" ]

valid {
    input.Body.properties.enforcementEnabled == enum_EnforcementState[_]
    input.Body.STRING == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLocationSettings_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLocationSettings_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaLocationSettings_Update

enum_EnforcementState := [ "Enabled", "Disabled", "NotAvailable" ]

valid {
    input.Body.properties.enforcementEnabled == enum_EnforcementState[_]
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaSubscriptionAllocationRequest_CreateOrUpdate

valid {
    input.Body.properties.requestedResource.properties.limit == INTEGER
    input.Body.properties.requestedResource.properties.region == STRING
    input.Body.STRING == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptionAllocationRequest_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.allocationId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptionAllocationRequest_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptionAllocationRequest_Update

valid {
    input.Body.properties.requestedResource.properties.limit == INTEGER
    input.Body.properties.requestedResource.properties.region == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptionAllocation_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptionAllocation_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.groupQuotaName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptionRequests_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.requestId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaSubscriptionRequests_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaSubscriptions_CreateOrUpdate

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptions_Delete

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptions_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaSubscriptions_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotaSubscriptions_Update

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

GroupQuotaUsages_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.ReqMap.resourceProviderName == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotas_CreateOrUpdate

enum_EnvironmentType := [ "NonProduction", "Production" ]
enum_GroupingIdType := [ "ServiceTreeId", "BillingId" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.additionalAttributes.groupId.groupingIdType == enum_GroupingIdType[_]
    input.Body.properties.additionalAttributes.groupId.value == STRING
    input.Body.properties.additionalAttributes.environment == enum_EnvironmentType[_]
    input.Body.STRING == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotas_Delete

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotas_Get

valid {
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotas_List

valid {
    input.ReqMap.managementGroupId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

GroupQuotas_Update

enum_EnvironmentType := [ "NonProduction", "Production" ]
enum_GroupingIdType := [ "ServiceTreeId", "BillingId" ]

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.additionalAttributes.groupId.groupingIdType == enum_GroupingIdType[_]
    input.Body.properties.additionalAttributes.groupId.value == STRING
    input.Body.properties.additionalAttributes.environment == enum_EnvironmentType[_]
    input.Body.STRING == STRING
    input.ReqMap.managementGroupId == STRING
    input.ReqMap.groupQuotaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

QuotaOperation_List

valid {
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

QuotaRequestStatus_Get

valid {
    input.ReqMap.id == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

QuotaRequestStatus_List

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.$skiptoken == STRING
    input.ProviderMetadata.Region == STRING
}

Quota_CreateOrUpdate

enum_LimitObjectTypes := [ "LimitValue" ]

valid {
    input.Body.properties.limit.limitObjectType == enum_LimitObjectTypes[_]
    input.Body.properties.name.value == STRING
    input.Body.properties.resourceType == STRING
    input.Body.properties.properties.STRING == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Quota_Get

valid {
    input.ReqMap.resourceName == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Quota_List

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Quota_Update

enum_LimitObjectTypes := [ "LimitValue" ]

valid {
    input.Body.properties.limit.limitObjectType == enum_LimitObjectTypes[_]
    input.Body.properties.name.value == STRING
    input.Body.properties.resourceType == STRING
    input.Body.properties.properties.STRING == STRING
    input.ReqMap.resourceName == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Usages_Get

valid {
    input.ReqMap.resourceName == STRING
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Usages_List

valid {
    input.ReqMap.scope == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}