Guides

MICROSOFT.DEVCENTER

docs.microsoft.com
Azure documentation

AttachedNetworks_CreateOrUpdate

valid {
    input.Body.properties.networkConnectionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.attachedNetworkConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AttachedNetworks_Delete

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

AttachedNetworks_GetByDevCenter

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

AttachedNetworks_GetByProject

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

AttachedNetworks_ListByDevCenter

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

AttachedNetworks_ListByProject

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

CatalogDevBoxDefinitions_Get

valid {
    input.ProviderMetadata.Region == STRING
}

CatalogDevBoxDefinitions_GetErrorDetails

valid {
    input.ProviderMetadata.Region == STRING
}

CatalogDevBoxDefinitions_ListByCatalog

valid {
    input.ProviderMetadata.Region == STRING
}

Catalogs_Connect

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

Catalogs_CreateOrUpdate

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

Catalogs_Delete

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

Catalogs_Get

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

Catalogs_GetSyncErrorDetails

valid {
    input.ProviderMetadata.Region == STRING
}

Catalogs_ListByDevCenter

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

Catalogs_Sync

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

Catalogs_Update

enum_CatalogUpdatePropertiesSyncType := [ "Manual", "Scheduled" ]

valid {
    input.Body.properties.gitHub.uri == STRING
    input.Body.properties.gitHub.branch == STRING
    input.Body.properties.gitHub.secretIdentifier == STRING
    input.Body.properties.gitHub.path == STRING
    input.Body.properties.adoGit.uri == STRING
    input.Body.properties.adoGit.branch == STRING
    input.Body.properties.adoGit.secretIdentifier == STRING
    input.Body.properties.adoGit.path == STRING
    input.Body.properties.syncType == enum_CatalogUpdatePropertiesSyncType[_]
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.catalogName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CheckNameAvailability_Execute

valid {
    input.Body.name == STRING
    input.Body.type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CheckScopedNameAvailability_Execute

valid {
    input.Body.name == STRING
    input.Body.type == STRING
    input.Body.scope == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CustomizationTasks_Get

valid {
    input.ProviderMetadata.Region == STRING
}

CustomizationTasks_GetErrorDetails

valid {
    input.ProviderMetadata.Region == STRING
}

CustomizationTasks_ListByCatalog

valid {
    input.ProviderMetadata.Region == STRING
}

DevBoxDefinitions_CreateOrUpdate

enum_HibernateSupport := [ "Disabled", "Enabled" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.properties.imageReference.id == STRING
    input.Body.properties.sku.name == STRING
    input.Body.properties.sku.tier == enum_SkuTier[_]
    input.Body.properties.sku.size == STRING
    input.Body.properties.sku.family == STRING
    input.Body.properties.sku.capacity == INTEGER
    input.Body.properties.osStorageType == STRING
    input.Body.properties.hibernateSupport == enum_HibernateSupport[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ProviderMetadata.Region == STRING
}

DevBoxDefinitions_Delete

valid {
    input.ProviderMetadata.Region == STRING
}

DevBoxDefinitions_Get

valid {
    input.ProviderMetadata.Region == STRING
}

DevBoxDefinitions_GetByProject

valid {
    input.ProviderMetadata.Region == STRING
}

DevBoxDefinitions_ListByDevCenter

valid {
    input.ProviderMetadata.Region == STRING
}

DevBoxDefinitions_ListByProject

valid {
    input.ProviderMetadata.Region == STRING
}

DevBoxDefinitions_Update

enum_HibernateSupport := [ "Disabled", "Enabled" ]
enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.properties.imageReference.id == STRING
    input.Body.properties.sku.name == STRING
    input.Body.properties.sku.tier == enum_SkuTier[_]
    input.Body.properties.sku.size == STRING
    input.Body.properties.sku.family == STRING
    input.Body.properties.sku.capacity == INTEGER
    input.Body.properties.osStorageType == STRING
    input.Body.properties.hibernateSupport == enum_HibernateSupport[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ProviderMetadata.Region == STRING
}

DevCenters_CreateOrUpdate

enum_CatalogItemSyncEnableStatus := [ "Enabled", "Disabled" ]
enum_InstallAzureMonitorAgentEnableStatus := [ "Enabled", "Disabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_MicrosoftHostedNetworkEnableStatus := [ "Enabled", "Disabled" ]
enum_customerManagedKeyEncryptionKeyEncryptionKeyIdentityIdentityType := [ "systemAssignedIdentity", "userAssignedIdentity", "delegatedResourceIdentity" ]

valid {
    input.Body.properties.planId == STRING
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyIdentity.identityType == enum_customerManagedKeyEncryptionKeyEncryptionKeyIdentityIdentityType[_]
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyIdentity.userAssignedIdentityResourceId == STRING
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyIdentity.delegatedIdentityClientId == STRING
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyUrl == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.projectCatalogSettings.catalogItemSyncEnableStatus == enum_CatalogItemSyncEnableStatus[_]
    input.Body.properties.networkSettings.microsoftHostedNetworkEnableStatus == enum_MicrosoftHostedNetworkEnableStatus[_]
    input.Body.properties.devBoxProvisioningSettings.installAzureMonitorAgentEnableStatus == enum_InstallAzureMonitorAgentEnableStatus[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DevCenters_Delete

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

DevCenters_Get

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

DevCenters_ListByResourceGroup

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

DevCenters_ListBySubscription

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

DevCenters_Update

enum_CatalogItemSyncEnableStatus := [ "Enabled", "Disabled" ]
enum_InstallAzureMonitorAgentEnableStatus := [ "Enabled", "Disabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]
enum_MicrosoftHostedNetworkEnableStatus := [ "Enabled", "Disabled" ]
enum_customerManagedKeyEncryptionKeyEncryptionKeyIdentityIdentityType := [ "systemAssignedIdentity", "userAssignedIdentity", "delegatedResourceIdentity" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.planId == STRING
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyIdentity.identityType == enum_customerManagedKeyEncryptionKeyEncryptionKeyIdentityIdentityType[_]
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyIdentity.userAssignedIdentityResourceId == STRING
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyIdentity.delegatedIdentityClientId == STRING
    input.Body.properties.encryption.customerManagedKeyEncryption.keyEncryptionKeyUrl == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.projectCatalogSettings.catalogItemSyncEnableStatus == enum_CatalogItemSyncEnableStatus[_]
    input.Body.properties.networkSettings.microsoftHostedNetworkEnableStatus == enum_MicrosoftHostedNetworkEnableStatus[_]
    input.Body.properties.devBoxProvisioningSettings.installAzureMonitorAgentEnableStatus == enum_InstallAzureMonitorAgentEnableStatus[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EncryptionSets_CreateOrUpdate

enum_DevboxDisksEncryptionEnableStatus := [ "Enabled", "Disabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]

valid {
    input.Body.properties.devboxDisksEncryptionEnableStatus == enum_DevboxDisksEncryptionEnableStatus[_]
    input.Body.properties.keyEncryptionKeyUrl == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.encryptionSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EncryptionSets_Delete

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

EncryptionSets_Get

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

EncryptionSets_List

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

EncryptionSets_Update

enum_DevboxDisksEncryptionEnableStatus := [ "Enabled", "Disabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]

valid {
    input.Body.properties.devboxDisksEncryptionEnableStatus == enum_DevboxDisksEncryptionEnableStatus[_]
    input.Body.properties.keyEncryptionKeyUrl == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.encryptionSetName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EnvironmentDefinitions_Get

valid {
    input.ProviderMetadata.Region == STRING
}

EnvironmentDefinitions_GetByProjectCatalog

valid {
    input.ProviderMetadata.Region == STRING
}

EnvironmentDefinitions_GetErrorDetails

valid {
    input.ProviderMetadata.Region == STRING
}

EnvironmentDefinitions_ListByCatalog

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.catalogName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EnvironmentDefinitions_ListByProjectCatalog

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

EnvironmentTypes_CreateOrUpdate

valid {
    input.Body.properties.displayName == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.environmentTypeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

EnvironmentTypes_Delete

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

EnvironmentTypes_Get

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

EnvironmentTypes_ListByDevCenter

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

EnvironmentTypes_Update

valid {
    input.Body.properties.displayName == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.environmentTypeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Galleries_CreateOrUpdate

valid {
    input.Body.properties.galleryResourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.galleryName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Galleries_Delete

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

Galleries_Get

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

Galleries_ListByDevCenter

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

ImageVersions_Get

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

ImageVersions_ListByImage

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

Images_Get

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

Images_ListByDevCenter

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

Images_ListByGallery

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.devCenterName == STRING
    input.ReqMap.galleryName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkConnections_CreateOrUpdate

enum_DomainJoinType := [ "HybridAzureADJoin", "AzureADJoin", "None" ]

valid {
    input.Body.properties.networkingResourceGroupName == STRING
    input.Body.properties.domainJoinType == enum_DomainJoinType[_]
    input.Body.properties.subnetId == STRING
    input.Body.properties.domainName == STRING
    input.Body.properties.organizationUnit == STRING
    input.Body.properties.domainUsername == STRING
    input.Body.properties.domainPassword == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ProviderMetadata.Region == STRING
}

NetworkConnections_Delete

valid {
    input.ProviderMetadata.Region == STRING
}

NetworkConnections_Get

valid {
    input.ProviderMetadata.Region == STRING
}

NetworkConnections_GetHealthDetails

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

NetworkConnections_ListByResourceGroup

valid {
    input.ProviderMetadata.Region == STRING
}

NetworkConnections_ListBySubscription

valid {
    input.ProviderMetadata.Region == STRING
}

NetworkConnections_ListHealthDetails

valid {
    input.ProviderMetadata.Region == STRING
}

NetworkConnections_ListOutboundNetworkDependenciesEndpoints

valid {
    input.ProviderMetadata.Region == STRING
}

NetworkConnections_RunHealthChecks

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

NetworkConnections_Update

valid {
    input.Body.properties.subnetId == STRING
    input.Body.properties.domainName == STRING
    input.Body.properties.organizationUnit == STRING
    input.Body.properties.domainUsername == STRING
    input.Body.properties.domainPassword == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ProviderMetadata.Region == STRING
}

OperationStatuses_Get

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

Operations_List

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

PlanMembers_CreateOrUpdate

enum_PlanMemberPropertiesMemberType := [ "User", "Group" ]

valid {
    input.Body.properties.memberId == STRING
    input.Body.properties.memberType == enum_PlanMemberPropertiesMemberType[_]
    input.Body.properties.tags.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.planName == STRING
    input.ReqMap.memberName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PlanMembers_Delete

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

PlanMembers_Get

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

PlanMembers_List

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

PlanMembers_Update

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

Plans_CreateOrUpdate

enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.properties == {}
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.planName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Plans_Delete

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

Plans_Get

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

Plans_ListByResourceGroup

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

Plans_ListBySubscription

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

Plans_Update

enum_SkuTier := [ "Free", "Basic", "Standard", "Premium" ]

valid {
    input.Body.sku.name == STRING
    input.Body.sku.tier == enum_SkuTier[_]
    input.Body.sku.size == STRING
    input.Body.sku.family == STRING
    input.Body.sku.capacity == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.planName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Pools_CreateOrUpdate

enum_LicenseType := [ "Windows_Client" ]
enum_LocalAdminStatus := [ "Disabled", "Enabled" ]
enum_SingleSignOnStatus := [ "Disabled", "Enabled" ]
enum_StopOnDisconnectEnableStatus := [ "Enabled", "Disabled" ]
enum_VirtualNetworkType := [ "Managed", "Unmanaged" ]

valid {
    input.Body.properties.devBoxDefinitionName == STRING
    input.Body.properties.networkConnectionName == STRING
    input.Body.properties.licenseType == enum_LicenseType[_]
    input.Body.properties.localAdministrator == enum_LocalAdminStatus[_]
    input.Body.properties.stopOnDisconnect.status == enum_StopOnDisconnectEnableStatus[_]
    input.Body.properties.stopOnDisconnect.gracePeriodMinutes == INTEGER
    input.Body.properties.singleSignOnStatus == enum_SingleSignOnStatus[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.virtualNetworkType == enum_VirtualNetworkType[_]
    input.Body.properties.managedVirtualNetworkRegions[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ProviderMetadata.Region == STRING
}

Pools_Delete

valid {
    input.ProviderMetadata.Region == STRING
}

Pools_Get

valid {
    input.ProviderMetadata.Region == STRING
}

Pools_ListByProject

valid {
    input.ProviderMetadata.Region == STRING
}

Pools_RunHealthChecks

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

Pools_Update

enum_LicenseType := [ "Windows_Client" ]
enum_LocalAdminStatus := [ "Disabled", "Enabled" ]
enum_SingleSignOnStatus := [ "Disabled", "Enabled" ]
enum_StopOnDisconnectEnableStatus := [ "Enabled", "Disabled" ]
enum_VirtualNetworkType := [ "Managed", "Unmanaged" ]

valid {
    input.Body.properties.devBoxDefinitionName == STRING
    input.Body.properties.networkConnectionName == STRING
    input.Body.properties.licenseType == enum_LicenseType[_]
    input.Body.properties.localAdministrator == enum_LocalAdminStatus[_]
    input.Body.properties.stopOnDisconnect.status == enum_StopOnDisconnectEnableStatus[_]
    input.Body.properties.stopOnDisconnect.gracePeriodMinutes == INTEGER
    input.Body.properties.singleSignOnStatus == enum_SingleSignOnStatus[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.virtualNetworkType == enum_VirtualNetworkType[_]
    input.Body.properties.managedVirtualNetworkRegions[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ProviderMetadata.Region == STRING
}

ProjectAllowedEnvironmentTypes_Get

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

ProjectAllowedEnvironmentTypes_List

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

ProjectCatalogEnvironmentDefinitions_GetErrorDetails

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

ProjectCatalogs_Connect

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

ProjectCatalogs_CreateOrUpdate

enum_CatalogUpdatePropertiesSyncType := [ "Manual", "Scheduled" ]

valid {
    input.Body.properties.gitHub.uri == STRING
    input.Body.properties.gitHub.branch == STRING
    input.Body.properties.gitHub.secretIdentifier == STRING
    input.Body.properties.gitHub.path == STRING
    input.Body.properties.adoGit.uri == STRING
    input.Body.properties.adoGit.branch == STRING
    input.Body.properties.adoGit.secretIdentifier == STRING
    input.Body.properties.adoGit.path == STRING
    input.Body.properties.syncType == enum_CatalogUpdatePropertiesSyncType[_]
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.catalogName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProjectCatalogs_Delete

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

ProjectCatalogs_Get

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

ProjectCatalogs_GetSyncErrorDetails

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

ProjectCatalogs_List

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

ProjectCatalogs_Patch

enum_CatalogUpdatePropertiesSyncType := [ "Manual", "Scheduled" ]

valid {
    input.Body.properties.gitHub.uri == STRING
    input.Body.properties.gitHub.branch == STRING
    input.Body.properties.gitHub.secretIdentifier == STRING
    input.Body.properties.gitHub.path == STRING
    input.Body.properties.adoGit.uri == STRING
    input.Body.properties.adoGit.branch == STRING
    input.Body.properties.adoGit.secretIdentifier == STRING
    input.Body.properties.adoGit.path == STRING
    input.Body.properties.syncType == enum_CatalogUpdatePropertiesSyncType[_]
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.catalogName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProjectCatalogs_Sync

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

ProjectEnvironmentTypes_CreateOrUpdate

enum_EnvironmentTypeEnableStatus := [ "Enabled", "Disabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]

valid {
    input.Body.properties.deploymentTargetId == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.status == enum_EnvironmentTypeEnableStatus[_]
    input.Body.properties.creatorRoleAssignment.roles.STRING == {}
    input.Body.properties.userRoleAssignments.STRING.roles.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.environmentTypeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ProjectEnvironmentTypes_Delete

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

ProjectEnvironmentTypes_Get

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

ProjectEnvironmentTypes_List

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

ProjectEnvironmentTypes_Update

enum_EnvironmentTypeEnableStatus := [ "Enabled", "Disabled" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]

valid {
    input.Body.properties.deploymentTargetId == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.status == enum_EnvironmentTypeEnableStatus[_]
    input.Body.properties.creatorRoleAssignment.roles.STRING == {}
    input.Body.properties.userRoleAssignments.STRING.roles.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.projectName == STRING
    input.ReqMap.environmentTypeName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Projects_CreateOrUpdate

enum_CatalogItemType := [ "EnvironmentDefinition" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]

valid {
    input.Body.properties.devCenterId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.maxDevBoxesPerUser == INTEGER
    input.Body.properties.displayName == STRING
    input.Body.properties.catalogSettings.catalogItemSyncTypes[_] == enum_CatalogItemType[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.projectName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Projects_Delete

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

Projects_Get

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

Projects_GetInheritedSettings

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

Projects_ListByResourceGroup

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

Projects_ListBySubscription

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

Projects_Update

enum_CatalogItemType := [ "EnvironmentDefinition" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned" ]

valid {
    input.Body.properties.devCenterId == STRING
    input.Body.properties.description == STRING
    input.Body.properties.maxDevBoxesPerUser == INTEGER
    input.Body.properties.displayName == STRING
    input.Body.properties.catalogSettings.catalogItemSyncTypes[_] == enum_CatalogItemType[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.projectName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Schedules_CreateOrUpdate

enum_ScheduleEnableStatus := [ "Enabled", "Disabled" ]
enum_ScheduledFrequency := [ "Daily" ]
enum_ScheduledType := [ "StopDevBox" ]

valid {
    input.Body.properties.type == enum_ScheduledType[_]
    input.Body.properties.frequency == enum_ScheduledFrequency[_]
    input.Body.properties.time == STRING
    input.Body.properties.timeZone == STRING
    input.Body.properties.state == enum_ScheduleEnableStatus[_]
    input.Body.properties.tags.STRING == STRING
    input.Body.properties.location == STRING
    input.ProviderMetadata.Region == STRING
}

Schedules_Delete

valid {
    input.ProviderMetadata.Region == STRING
}

Schedules_Get

valid {
    input.ProviderMetadata.Region == STRING
}

Schedules_ListByPool

valid {
    input.ProviderMetadata.Region == STRING
}

Schedules_Update

enum_ScheduleEnableStatus := [ "Enabled", "Disabled" ]
enum_ScheduledFrequency := [ "Daily" ]
enum_ScheduledType := [ "StopDevBox" ]

valid {
    input.Body.properties.type == enum_ScheduledType[_]
    input.Body.properties.frequency == enum_ScheduledFrequency[_]
    input.Body.properties.time == STRING
    input.Body.properties.timeZone == STRING
    input.Body.properties.state == enum_ScheduleEnableStatus[_]
    input.ProviderMetadata.Region == STRING
}

Skus_ListBySubscription

valid {
    input.ProviderMetadata.Region == STRING
}

Usages_ListByLocation

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