MICROSOFT.AZUREBRIDGE.ADMIN

Activations_CreateOrUpdate

enum_ProvisioningState := [ "Stopped", "Starting", "Running", "Stopping", "Succeeded", "Downloading" ]

valid {
    input.Body.displayName == STRING
    input.Body.azureRegistrationResourceIdentifier == STRING
    input.Body.provisioningState == enum_ProvisioningState[_]
    input.Body.expiration == STRING
    input.Body.marketplaceSyndicationEnabled == BOOLEAN
    input.Body.usageReportingEnabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Activations_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Activations_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Activations_List

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

DownloadedProducts_Create

enum_CompatibilityIssue := [ "HigherDeviceVersionRequired", "LowerDeviceVersionRequired", "CapacityBillingModelRequired", "PayAsYouGoBillingModelRequired", "DevelopmentBillingModelRequired", "AzureADIdentitySystemRequired", "ADFSIdentitySystemRequired", "ConnectionToInternetRequired", "ConnectionToAzureRequired", "DisconnectedEnvironmentRequired" ]
enum_ProvisioningState := [ "Stopped", "Starting", "Running", "Stopping", "Succeeded", "Downloading" ]

valid {
    input.Body.properties.vmExtensionType == STRING
    input.Body.properties.links[_].displayName == STRING
    input.Body.properties.links[_].uri == STRING
    input.Body.properties.legalTerms == STRING
    input.Body.properties.privacyPolicy == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.properties.galleryPackageBlobSasUri == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.description == STRING
    input.Body.properties.publisherDisplayName == STRING
    input.Body.properties.publisherIdentifier == STRING
    input.Body.properties.offer == STRING
    input.Body.properties.offerVersion == STRING
    input.Body.properties.sku == STRING
    input.Body.properties.billingPartNumber == STRING
    input.Body.properties.galleryItemIdentity == STRING
    input.Body.properties.iconUris.hero == STRING
    input.Body.properties.iconUris.large == STRING
    input.Body.properties.iconUris.wide == STRING
    input.Body.properties.iconUris.medium == STRING
    input.Body.properties.iconUris.small == STRING
    input.Body.properties.payloadLength == INTEGER
    input.Body.properties.productKind == STRING
    input.Body.properties.productProperties.version == STRING
    input.Body.properties.compatibility.isCompatible == BOOLEAN
    input.Body.properties.compatibility.message == STRING
    input.Body.properties.compatibility.description == STRING
    input.Body.properties.compatibility.issues[_] == enum_CompatibilityIssue[_]
    input.Body.id == STRING
    input.Body.name == STRING
    input.Body.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DownloadedProducts_Delete

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DownloadedProducts_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DownloadedProducts_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Operations_List

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

Products_Download

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Products_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.ReqMap.productName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Products_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.activationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}