MICROSOFT.PORTAL

Dashboards_CreateOrUpdate

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

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

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

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

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

Dashboards_Update

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

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

DeleteUserSettings

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

GetConsole

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

GetUserSettings

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

KeepAlive

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

ListTenantConfigurationViolations_List

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

Operations_List

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

PatchUserSettings

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

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

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

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

enum_ConfigurationNameParameter := [ "default" ]

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

TenantConfigurations_Get

enum_ConfigurationNameParameter := [ "default" ]

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

TenantConfigurations_List

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

deleteConsoleWithLocation

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

deleteUserSettingsWithLocation

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

getConsoleWithLocation

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

getUserSettingsWithLocation

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

keepAliveWithLocation

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

patchUserSettingsWithLocation

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

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

putUserSettingsWithLocation

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
}