---
updatedAt: 2025-11-12T01:12:53.000Z
agentTools:
  projectIndex: https://public.docs.kivera.io/llms.txt
---

# MICROSOFT.DEVCENTER

<Embed url="https://docs.microsoft.com/en-us/rest/api/azure/" title="Azure documentation" provider="docs.microsoft.com" href="https://docs.microsoft.com/en-us/rest/api/azure/" />

# AttachedNetworks\_CreateOrUpdate

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# CatalogDevBoxDefinitions\_GetErrorDetails

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# CatalogDevBoxDefinitions\_ListByCatalog

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Catalogs\_Connect

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Catalogs\_ListByDevCenter

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# CustomizationTasks\_GetErrorDetails

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# CustomizationTasks\_ListByCatalog

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# DevBoxDefinitions\_CreateOrUpdate

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# DevBoxDefinitions\_Get

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# DevBoxDefinitions\_GetByProject

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# DevBoxDefinitions\_ListByDevCenter

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# DevBoxDefinitions\_ListByProject

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# DevBoxDefinitions\_Update

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

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

# DevCenters\_Update

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# EnvironmentDefinitions\_GetByProjectCatalog

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# EnvironmentDefinitions\_GetErrorDetails

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# EnvironmentDefinitions\_ListByCatalog

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# NetworkConnections\_Get

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# NetworkConnections\_GetHealthDetails

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# NetworkConnections\_ListBySubscription

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# NetworkConnections\_ListHealthDetails

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# NetworkConnections\_ListOutboundNetworkDependenciesEndpoints

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# NetworkConnections\_RunHealthChecks

```erlang
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

```erlang
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

```erlang
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

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

# PlanMembers\_CreateOrUpdate

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

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

# Plans\_Update

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Pools\_Get

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Pools\_ListByProject

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Pools\_RunHealthChecks

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

```erlang
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

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

# Projects\_Update

```erlang
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

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Schedules\_Get

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Schedules\_ListByPool

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Schedules\_Update

```erlang
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

```erlang
valid {
    input.ProviderMetadata.Region == STRING
}
```

# Usages\_ListByLocation

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