MICROSOFT.OPERATIONALINSIGHTS

AvailableServiceTiers_ListByWorkspace

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

ClientGroups_Get

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

ClientGroups_GetMembersCount

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

ClientGroups_ListMembers

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

Clusters_CreateOrUpdate

enum_ClusterSkuCapacity := [ 100, 200, 300, 400, 500, 1000, 2000, 5000, 10000, 25000, 50000 ]
enum_ClusterSkuName := [ "CapacityReservation" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_billingType := [ "Cluster", "Workspaces" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.sku.capacity == enum_ClusterSkuCapacity[_]
    input.Body.sku.name == enum_ClusterSkuName[_]
    input.Body.properties.isDoubleEncryptionEnabled == BOOLEAN
    input.Body.properties.isAvailabilityZonesEnabled == BOOLEAN
    input.Body.properties.billingType == enum_billingType[_]
    input.Body.properties.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.keyVaultProperties.keyName == STRING
    input.Body.properties.keyVaultProperties.keyVersion == STRING
    input.Body.properties.keyVaultProperties.keyRsaSize == INTEGER
    input.Body.properties.associatedWorkspaces[_] == {}
    input.Body.properties.capacityReservationProperties == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Clusters_Delete

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

Clusters_Get

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

Clusters_List

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

Clusters_ListByResourceGroup

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

Clusters_Update

enum_ClusterSkuCapacity := [ 100, 200, 300, 400, 500, 1000, 2000, 5000, 10000, 25000, 50000 ]
enum_ClusterSkuName := [ "CapacityReservation" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_billingType := [ "Cluster", "Workspaces" ]

valid {
    input.Body.properties.keyVaultProperties.keyVaultUri == STRING
    input.Body.properties.keyVaultProperties.keyName == STRING
    input.Body.properties.keyVaultProperties.keyVersion == STRING
    input.Body.properties.keyVaultProperties.keyRsaSize == INTEGER
    input.Body.properties.billingType == enum_billingType[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.sku.capacity == enum_ClusterSkuCapacity[_]
    input.Body.sku.name == enum_ClusterSkuName[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.clusterName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataCollectorLogs_Delete

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

DataCollectorLogs_Get

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

DataCollectorLogs_ListByWorkspace

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

DataExports_CreateOrUpdate

valid {
    input.Body.properties.dataExportId == STRING
    input.Body.properties.tableNames[_] == STRING
    input.Body.properties.destination.resourceId == STRING
    input.Body.properties.destination.metaData.eventHubName == STRING
    input.Body.properties.enable == BOOLEAN
    input.Body.properties.createdDate == STRING
    input.Body.properties.lastModifiedDate == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.dataExportName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataExports_Delete

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

DataExports_Get

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

DataExports_ListByWorkspace

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

DataSources_CreateOrUpdate

enum_DataSourceKind := [ "WindowsEvent", "WindowsPerformanceCounter", "IISLogs", "LinuxSyslog", "LinuxSyslogCollection", "LinuxPerformanceObject", "LinuxPerformanceCollection", "CustomLog", "CustomLogCollection", "AzureAuditLog", "AzureActivityLog", "GenericDataSource", "ChangeTrackingCustomPath", "ChangeTrackingPath", "ChangeTrackingServices", "ChangeTrackingDataTypeConfiguration", "ChangeTrackingDefaultRegistry", "ChangeTrackingRegistry", "ChangeTrackingLinuxPath", "LinuxChangeTrackingPath", "ChangeTrackingContentLocation", "WindowsTelemetry", "Office365", "SecurityWindowsBaselineConfiguration", "SecurityCenterSecurityWindowsBaselineConfiguration", "SecurityEventCollectionConfiguration", "SecurityInsightsSecurityEventCollectionConfiguration", "ImportComputerGroup", "NetworkMonitoring", "Itsm", "DnsAnalytics", "ApplicationInsights", "SqlDataClassification" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.etag == STRING
    input.Body.kind == enum_DataSourceKind[_]
    input.Body.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.dataSourceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataSources_Delete

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

DataSources_Get

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

DataSources_ListByWorkspace

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

DeletedWorkspaces_List

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

DeletedWorkspaces_ListByResourceGroup

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

Gateways_Delete

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

IntelligencePacks_Disable

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

IntelligencePacks_Enable

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

IntelligencePacks_List

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

LinkedServices_CreateOrUpdate

enum_LinkedServicePropertiesProvisioningState := [ "Succeeded", "Deleting", "ProvisioningAccount", "Updating" ]

valid {
    input.Body.properties.resourceId == STRING
    input.Body.properties.writeAccessResourceId == STRING
    input.Body.properties.provisioningState == enum_LinkedServicePropertiesProvisioningState[_]
    input.Body.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.linkedServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LinkedServices_Delete

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

LinkedServices_Get

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

LinkedServices_ListByWorkspace

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

LinkedStorageAccounts_CreateOrUpdate

enum_DataSourceTypeParameter := [ "CustomLogs", "AzureWatson", "Query", "Ingestion", "Alerts" ]

valid {
    input.Body.properties.storageAccountIds[_] == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.dataSourceType == enum_DataSourceTypeParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LinkedStorageAccounts_Delete

enum_DataSourceTypeParameter := [ "CustomLogs", "AzureWatson", "Query", "Ingestion", "Alerts" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.dataSourceType == enum_DataSourceTypeParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LinkedStorageAccounts_Get

enum_DataSourceTypeParameter := [ "CustomLogs", "AzureWatson", "Query", "Ingestion", "Alerts" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.dataSourceType == enum_DataSourceTypeParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

LinkedStorageAccounts_ListByWorkspace

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

MachineGroups_Create

enum_CoreResourceKind := [ "machine", "process", "port", "clientGroup", "machineGroup" ]
enum_MachineGroupPropertiesGroupType := [ "unknown", "azure-cs", "azure-sf", "azure-vmss", "user-static" ]
enum_ResourceReferenceKind := [ "ref:machine", "ref:machinewithhints", "ref:process", "ref:port", "ref:onmachine", "ref:clientgroup" ]

valid {
    input.Body.etag == STRING
    input.Body.properties.groupType == enum_MachineGroupPropertiesGroupType[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.count == INTEGER
    input.Body.properties.machines[_].properties == {}
    input.Body.properties.machines[_].id == STRING
    input.Body.properties.machines[_].kind == enum_ResourceReferenceKind[_]
    input.Body.kind == enum_CoreResourceKind[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachineGroups_Delete

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

MachineGroups_Get

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

MachineGroups_ListByWorkspace

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

MachineGroups_Update

enum_MachineGroupPropertiesGroupType := [ "unknown", "azure-cs", "azure-sf", "azure-vmss", "user-static" ]

valid {
    input.Body.etag == STRING
    input.Body.properties.groupType == enum_MachineGroupPropertiesGroupType[_]
    input.Body.properties.displayName == STRING
    input.Body.properties.count == INTEGER
    input.Body.properties.machines[_].properties == {}
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_Get

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

Machines_GetLiveness

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

Machines_ListByWorkspace

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.live == BOOLEAN
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.Qs.timestamp == STRING
    input.Qs.$top == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_ListConnections

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

Machines_ListMachineGroupMembership

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

Machines_ListPorts

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

Machines_ListProcesses

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.Qs.api-version == STRING
    input.Qs.live == BOOLEAN
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.Qs.timestamp == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagementGroups_List

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

Maps_Generate

enum_MapRequestKind := [ "map:single-machine-dependency", "map:machine-group-dependency", "map:machine-list-dependency" ]

valid {
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.kind == enum_MapRequestKind[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OperationStatuses_Get

valid {
    input.ReqMap.location == STRING
    input.ReqMap.asyncOperationId == STRING
    input.ReqMap.SubscriptionID == 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
}

Ports_Get

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.portName == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Ports_GetLiveness

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.portName == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Ports_ListAcceptingProcesses

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.portName == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Ports_ListConnections

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.portName == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Processes_Get

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

Processes_GetLiveness

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.processName == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Processes_ListAcceptingPorts

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.processName == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Processes_ListConnections

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.processName == STRING
    input.Qs.api-version == STRING
    input.Qs.startTime == STRING
    input.Qs.endTime == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Queries_Delete

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

Queries_Get

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

Queries_List

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

Queries_Put

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.description == STRING
    input.Body.properties.body == STRING
    input.Body.properties.related.categories[_] == STRING
    input.Body.properties.related.resourceTypes[_] == STRING
    input.Body.properties.related.solutions[_] == STRING
    input.Body.properties.tags.STRING[_] == STRING
    input.Body.properties.properties.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.queryPackName == STRING
    input.ReqMap.id == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Queries_Search

valid {
    input.Body.related.categories[_] == STRING
    input.Body.related.resourceTypes[_] == STRING
    input.Body.related.solutions[_] == STRING
    input.Body.tags.STRING[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.queryPackName == STRING
    input.Qs.api-version == STRING
    input.Qs.$top == INTEGER
    input.Qs.includeBody == BOOLEAN
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Queries_Update

valid {
    input.Body.properties.displayName == STRING
    input.Body.properties.description == STRING
    input.Body.properties.body == STRING
    input.Body.properties.related.categories[_] == STRING
    input.Body.properties.related.resourceTypes[_] == STRING
    input.Body.properties.related.solutions[_] == STRING
    input.Body.properties.tags.STRING[_] == STRING
    input.Body.properties.properties.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.queryPackName == STRING
    input.ReqMap.id == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

QueryPacks_CreateOrUpdate

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

QueryPacks_CreateOrUpdateWithoutName

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

QueryPacks_Delete

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

QueryPacks_Get

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

QueryPacks_List

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

QueryPacks_ListByResourceGroup

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

QueryPacks_UpdateTags

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

SavedSearches_CreateOrUpdate

valid {
    input.Body.etag == STRING
    input.Body.properties.category == STRING
    input.Body.properties.displayName == STRING
    input.Body.properties.query == STRING
    input.Body.properties.functionAlias == STRING
    input.Body.properties.functionParameters == STRING
    input.Body.properties.version == INTEGER
    input.Body.properties.tags[_].name == STRING
    input.Body.properties.tags[_].value == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.savedSearchId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SavedSearches_Delete

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

SavedSearches_Get

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

SavedSearches_ListByWorkspace

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

Schema_Get

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

SharedKeys_GetSharedKeys

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

SharedKeys_Regenerate

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

StorageInsightConfigs_CreateOrUpdate

valid {
    input.Body.properties.containers[_] == STRING
    input.Body.properties.tables[_] == STRING
    input.Body.properties.storageAccount.id == STRING
    input.Body.properties.storageAccount.key == STRING
    input.Body.eTag == STRING
    input.Body.tags.STRING == STRING
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.storageInsightName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

StorageInsightConfigs_Delete

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

StorageInsightConfigs_Get

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

StorageInsightConfigs_ListByWorkspace

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

Summaries_GetMachines

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

Tables_CancelSearch

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

Tables_CreateOrUpdate

enum_ColumnDataTypeHint := [ "uri", "guid", "armPath", "ip" ]
enum_ColumnType := [ "string", "int", "long", "real", "boolean", "dateTime", "guid", "dynamic" ]
enum_TablePropertiesPlan := [ "Basic", "Analytics" ]

valid {
    input.Body.properties.retentionInDays == INTEGER
    input.Body.properties.totalRetentionInDays == INTEGER
    input.Body.properties.searchResults.query == STRING
    input.Body.properties.searchResults.description == STRING
    input.Body.properties.searchResults.limit == INTEGER
    input.Body.properties.searchResults.startSearchTime == STRING
    input.Body.properties.searchResults.endSearchTime == STRING
    input.Body.properties.restoredLogs.startRestoreTime == STRING
    input.Body.properties.restoredLogs.endRestoreTime == STRING
    input.Body.properties.restoredLogs.sourceTable == STRING
    input.Body.properties.plan == enum_TablePropertiesPlan[_]
    input.Body.properties.schema.name == STRING
    input.Body.properties.schema.displayName == STRING
    input.Body.properties.schema.description == STRING
    input.Body.properties.schema.columns[_].name == STRING
    input.Body.properties.schema.columns[_].type == enum_ColumnType[_]
    input.Body.properties.schema.columns[_].dataTypeHint == enum_ColumnDataTypeHint[_]
    input.Body.properties.schema.columns[_].displayName == STRING
    input.Body.properties.schema.columns[_].description == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Tables_Delete

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

Tables_Get

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

Tables_ListByWorkspace

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

Tables_Migrate

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

Tables_Update

enum_ColumnDataTypeHint := [ "uri", "guid", "armPath", "ip" ]
enum_ColumnType := [ "string", "int", "long", "real", "boolean", "dateTime", "guid", "dynamic" ]
enum_TablePropertiesPlan := [ "Basic", "Analytics" ]

valid {
    input.Body.properties.retentionInDays == INTEGER
    input.Body.properties.totalRetentionInDays == INTEGER
    input.Body.properties.searchResults.query == STRING
    input.Body.properties.searchResults.description == STRING
    input.Body.properties.searchResults.limit == INTEGER
    input.Body.properties.searchResults.startSearchTime == STRING
    input.Body.properties.searchResults.endSearchTime == STRING
    input.Body.properties.restoredLogs.startRestoreTime == STRING
    input.Body.properties.restoredLogs.endRestoreTime == STRING
    input.Body.properties.restoredLogs.sourceTable == STRING
    input.Body.properties.plan == enum_TablePropertiesPlan[_]
    input.Body.properties.schema.name == STRING
    input.Body.properties.schema.displayName == STRING
    input.Body.properties.schema.description == STRING
    input.Body.properties.schema.columns[_].name == STRING
    input.Body.properties.schema.columns[_].type == enum_ColumnType[_]
    input.Body.properties.schema.columns[_].dataTypeHint == enum_ColumnDataTypeHint[_]
    input.Body.properties.schema.columns[_].displayName == STRING
    input.Body.properties.schema.columns[_].description == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.tableName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Usages_List

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

WorkspacePurge_GetPurgeStatus

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

WorkspacePurge_Purge

valid {
    input.Body.table == STRING
    input.Body.filters[_].column == STRING
    input.Body.filters[_].operator == STRING
    input.Body.filters[_].value == {}
    input.Body.filters[_].key == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.workspaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Workspaces_CreateOrUpdate

enum_IdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]
enum_WorkspaceSkuCapacityReservationLevel := [ 100, 200, 300, 400, 500, 1000, 2000, 5000, 10000, 25000, 50000 ]
enum_WorkspaceSkuName := [ "Free", "Standard", "Premium", "PerNode", "PerGB2018", "Standalone", "CapacityReservation", "LACluster" ]

valid {
    input.Body.properties.sku.name == enum_WorkspaceSkuName[_]
    input.Body.properties.sku.capacityReservationLevel == enum_WorkspaceSkuCapacityReservationLevel[_]
    input.Body.properties.retentionInDays == INTEGER
    input.Body.properties.workspaceCapping.dailyQuotaGb == NUMBER
    input.Body.properties.publicNetworkAccessForIngestion == enum_PublicNetworkAccessType[_]
    input.Body.properties.publicNetworkAccessForQuery == enum_PublicNetworkAccessType[_]
    input.Body.properties.forceCmkForQuery == BOOLEAN
    input.Body.properties.features.enableDataExport == BOOLEAN
    input.Body.properties.features.immediatePurgeDataOn30Days == BOOLEAN
    input.Body.properties.features.enableLogAccessUsingOnlyResourcePermissions == BOOLEAN
    input.Body.properties.features.clusterResourceId == STRING
    input.Body.properties.features.disableLocalAuth == BOOLEAN
    input.Body.properties.defaultDataCollectionRuleResourceId == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.etag == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Workspaces_Delete

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

Workspaces_Get

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

Workspaces_List

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

Workspaces_ListByResourceGroup

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

Workspaces_ListKeys

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

Workspaces_ListLinkTargets

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

Workspaces_Update

enum_IdentityType := [ "SystemAssigned", "UserAssigned", "None" ]
enum_PublicNetworkAccessType := [ "Enabled", "Disabled" ]
enum_WorkspaceSkuCapacityReservationLevel := [ 100, 200, 300, 400, 500, 1000, 2000, 5000, 10000, 25000, 50000 ]
enum_WorkspaceSkuName := [ "Free", "Standard", "Premium", "PerNode", "PerGB2018", "Standalone", "CapacityReservation", "LACluster" ]

valid {
    input.Body.properties.sku.name == enum_WorkspaceSkuName[_]
    input.Body.properties.sku.capacityReservationLevel == enum_WorkspaceSkuCapacityReservationLevel[_]
    input.Body.properties.retentionInDays == INTEGER
    input.Body.properties.workspaceCapping.dailyQuotaGb == NUMBER
    input.Body.properties.publicNetworkAccessForIngestion == enum_PublicNetworkAccessType[_]
    input.Body.properties.publicNetworkAccessForQuery == enum_PublicNetworkAccessType[_]
    input.Body.properties.forceCmkForQuery == BOOLEAN
    input.Body.properties.features.enableDataExport == BOOLEAN
    input.Body.properties.features.immediatePurgeDataOn30Days == BOOLEAN
    input.Body.properties.features.enableLogAccessUsingOnlyResourcePermissions == BOOLEAN
    input.Body.properties.features.clusterResourceId == STRING
    input.Body.properties.features.disableLocalAuth == BOOLEAN
    input.Body.properties.defaultDataCollectionRuleResourceId == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.workspaceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}