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

# MICROSOFT.PORTAL

<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/" />

# Dashboards\_CreateOrUpdate

```erlang
valid {
    input.Body.properties.lenses[_].order == INTEGER
    input.Body.properties.lenses[_].parts[_].position.x == INTEGER
    input.Body.properties.lenses[_].parts[_].position.y == INTEGER
    input.Body.properties.lenses[_].parts[_].position.rowSpan == INTEGER
    input.Body.properties.lenses[_].parts[_].position.colSpan == INTEGER
    input.Body.properties.lenses[_].parts[_].position.metadata.STRING.STRING == STRING
    input.Body.properties.lenses[_].parts[_].metadata.type == STRING
    input.Body.properties.lenses[_].metadata.STRING.STRING == STRING
    input.Body.properties.metadata.STRING.STRING == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dashboardName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# Dashboards\_Delete

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

# Dashboards\_Get

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

# Dashboards\_ListByResourceGroup

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

# Dashboards\_ListBySubscription

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

# Dashboards\_Update

```erlang
valid {
    input.Body.properties.lenses[_].order == INTEGER
    input.Body.properties.lenses[_].parts[_].position.x == INTEGER
    input.Body.properties.lenses[_].parts[_].position.y == INTEGER
    input.Body.properties.lenses[_].parts[_].position.rowSpan == INTEGER
    input.Body.properties.lenses[_].parts[_].position.colSpan == INTEGER
    input.Body.properties.lenses[_].parts[_].position.metadata.STRING.STRING == STRING
    input.Body.properties.lenses[_].parts[_].metadata.type == STRING
    input.Body.properties.lenses[_].metadata.STRING.STRING == STRING
    input.Body.properties.metadata.STRING.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dashboardName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}
```

# DeleteConsole

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

# DeleteUserSettings

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

# GetConsole

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

# GetUserSettings

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

# KeepAlive

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

# ListTenantConfigurationViolations\_List

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

# Operations\_List

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

# PatchUserSettings

```erlang
enum_TerminalSettingsFontSize := [ "NotSpecified", "Small", "Medium", "Large" ]
enum_TerminalSettingsFontStyle := [ "NotSpecified", "Monospace", "Courier" ]
enum_UserPropertiesPreferredOsType := [ "Windows", "Linux" ]
enum_UserPropertiesPreferredShellType := [ "bash", "pwsh", "powershell" ]

valid {
    input.Body.properties.preferredOsType == enum_UserPropertiesPreferredOsType[_]
    input.Body.properties.preferredLocation == STRING
    input.Body.properties.storageProfile.storageAccountResourceId == STRING
    input.Body.properties.storageProfile.fileShareName == STRING
    input.Body.properties.storageProfile.diskSizeInGB == INTEGER
    input.Body.properties.terminalSettings.fontSize == enum_TerminalSettingsFontSize[_]
    input.Body.properties.terminalSettings.fontStyle == enum_TerminalSettingsFontStyle[_]
    input.Body.properties.preferredShellType == enum_UserPropertiesPreferredShellType[_]
    input.ReqMap.userSettingsName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# PutConsole

```erlang
enum_ConsoleCreatePropertiesOsType := [ "Linux", "Windows" ]
enum_ConsoleCreatePropertiesProvisioningState := [ "NotSpecified", "Accepted", "Pending", "Updating", "Creating", "Repairing", "Failed", "Canceled", "Succeeded" ]

valid {
    input.Body.properties.osType == enum_ConsoleCreatePropertiesOsType[_]
    input.Body.properties.provisioningState == enum_ConsoleCreatePropertiesProvisioningState[_]
    input.Body.properties.uri == STRING
    input.ReqMap.consoleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# PutUserSettings

```erlang
enum_TerminalSettingsFontSize := [ "NotSpecified", "Small", "Medium", "Large" ]
enum_TerminalSettingsFontStyle := [ "NotSpecified", "Monospace", "Courier" ]
enum_UserPropertiesPreferredOsType := [ "Windows", "Linux" ]
enum_UserPropertiesPreferredShellType := [ "bash", "pwsh", "powershell" ]

valid {
    input.Body.properties.preferredOsType == enum_UserPropertiesPreferredOsType[_]
    input.Body.properties.preferredLocation == STRING
    input.Body.properties.storageProfile.storageAccountResourceId == STRING
    input.Body.properties.storageProfile.fileShareName == STRING
    input.Body.properties.storageProfile.diskSizeInGB == INTEGER
    input.Body.properties.terminalSettings.fontSize == enum_TerminalSettingsFontSize[_]
    input.Body.properties.terminalSettings.fontStyle == enum_TerminalSettingsFontStyle[_]
    input.Body.properties.preferredShellType == enum_UserPropertiesPreferredShellType[_]
    input.ReqMap.userSettingsName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# TenantConfigurations\_Create

```erlang
enum_ConfigurationNameParameter := [ "default" ]

valid {
    input.Body.properties.enforcePrivateMarkdownStorage == BOOLEAN
    input.Body.STRING == STRING
    input.ReqMap.configurationName == enum_ConfigurationNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# TenantConfigurations\_Delete

```erlang
enum_ConfigurationNameParameter := [ "default" ]

valid {
    input.ReqMap.configurationName == enum_ConfigurationNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# TenantConfigurations\_Get

```erlang
enum_ConfigurationNameParameter := [ "default" ]

valid {
    input.ReqMap.configurationName == enum_ConfigurationNameParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# TenantConfigurations\_List

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

# deleteConsoleWithLocation

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

# deleteUserSettingsWithLocation

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

# getConsoleWithLocation

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

# getUserSettingsWithLocation

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

# keepAliveWithLocation

```erlang
valid {
    input.ReqMap.consoleName == STRING
    input.ReqMap.location == STRING
    input.ProviderMetadata.Region == STRING
}
```

# patchUserSettingsWithLocation

```erlang
enum_TerminalSettingsFontSize := [ "NotSpecified", "Small", "Medium", "Large" ]
enum_TerminalSettingsFontStyle := [ "NotSpecified", "Monospace", "Courier" ]
enum_UserPropertiesPreferredOsType := [ "Windows", "Linux" ]
enum_UserPropertiesPreferredShellType := [ "bash", "pwsh", "powershell" ]

valid {
    input.Body.properties.preferredOsType == enum_UserPropertiesPreferredOsType[_]
    input.Body.properties.preferredLocation == STRING
    input.Body.properties.storageProfile.storageAccountResourceId == STRING
    input.Body.properties.storageProfile.fileShareName == STRING
    input.Body.properties.storageProfile.diskSizeInGB == INTEGER
    input.Body.properties.terminalSettings.fontSize == enum_TerminalSettingsFontSize[_]
    input.Body.properties.terminalSettings.fontStyle == enum_TerminalSettingsFontStyle[_]
    input.Body.properties.preferredShellType == enum_UserPropertiesPreferredShellType[_]
    input.ReqMap.userSettingsName == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```

# putConsoleWithLocation

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

# putUserSettingsWithLocation

```erlang
enum_TerminalSettingsFontSize := [ "NotSpecified", "Small", "Medium", "Large" ]
enum_TerminalSettingsFontStyle := [ "NotSpecified", "Monospace", "Courier" ]
enum_UserPropertiesPreferredOsType := [ "Windows", "Linux" ]
enum_UserPropertiesPreferredShellType := [ "bash", "pwsh", "powershell" ]

valid {
    input.Body.properties.preferredOsType == enum_UserPropertiesPreferredOsType[_]
    input.Body.properties.preferredLocation == STRING
    input.Body.properties.storageProfile.storageAccountResourceId == STRING
    input.Body.properties.storageProfile.fileShareName == STRING
    input.Body.properties.storageProfile.diskSizeInGB == INTEGER
    input.Body.properties.terminalSettings.fontSize == enum_TerminalSettingsFontSize[_]
    input.Body.properties.terminalSettings.fontStyle == enum_TerminalSettingsFontStyle[_]
    input.Body.properties.preferredShellType == enum_UserPropertiesPreferredShellType[_]
    input.ReqMap.userSettingsName == STRING
    input.ReqMap.location == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}
```