MICROSOFT.AUTOMATION

Activity_Get

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

Activity_ListByModule

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

AgentRegistrationInformation_Get

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

AgentRegistrationInformation_RegenerateKey

enum_AgentRegistrationRegenerateKeyParameterKeyName := [ "primary", "secondary" ]

valid {
    input.Body.keyName == enum_AgentRegistrationRegenerateKeyParameterKeyName[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AutomationAccount_CreateOrUpdate

enum_EncryptionPropertiesKeySource := [ "Microsoft.Automation", "Microsoft.Keyvault" ]
enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_SkuName := [ "Free", "Basic" ]

valid {
    input.Body.properties.sku.name == enum_SkuName[_]
    input.Body.properties.sku.family == STRING
    input.Body.properties.sku.capacity == INTEGER
    input.Body.properties.encryption.keyVaultProperties.keyvaultUri == STRING
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVersion == STRING
    input.Body.properties.encryption.keySource == enum_EncryptionPropertiesKeySource[_]
    input.Body.properties.encryption.identity.userAssignedIdentity.STRING == STRING
    input.Body.properties.publicNetworkAccess == BOOLEAN
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AutomationAccount_Delete

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

AutomationAccount_Get

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

AutomationAccount_List

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

AutomationAccount_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
}

AutomationAccount_ListDeletedRunbooks

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

AutomationAccount_Update

enum_EncryptionPropertiesKeySource := [ "Microsoft.Automation", "Microsoft.Keyvault" ]
enum_IdentityType := [ "SystemAssigned", "UserAssigned", "SystemAssigned, UserAssigned", "None" ]
enum_SkuName := [ "Free", "Basic" ]

valid {
    input.Body.properties.sku.name == enum_SkuName[_]
    input.Body.properties.sku.family == STRING
    input.Body.properties.sku.capacity == INTEGER
    input.Body.properties.encryption.keyVaultProperties.keyvaultUri == STRING
    input.Body.properties.encryption.keyVaultProperties.keyName == STRING
    input.Body.properties.encryption.keyVaultProperties.keyVersion == STRING
    input.Body.properties.encryption.keySource == enum_EncryptionPropertiesKeySource[_]
    input.Body.properties.encryption.identity.userAssignedIdentity.STRING == STRING
    input.Body.properties.publicNetworkAccess == BOOLEAN
    input.Body.properties.disableLocalAuth == BOOLEAN
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Certificate_CreateOrUpdate

valid {
    input.Body.name == STRING
    input.Body.properties.base64Value == STRING
    input.Body.properties.description == STRING
    input.Body.properties.thumbprint == STRING
    input.Body.properties.isExportable == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.certificateName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Certificate_Delete

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

Certificate_Get

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

Certificate_ListByAutomationAccount

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

Certificate_Update

valid {
    input.Body.name == STRING
    input.Body.properties.description == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.certificateName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectionType_CreateOrUpdate

valid {
    input.Body.name == STRING
    input.Body.properties.isGlobal == BOOLEAN
    input.Body.properties.fieldDefinitions.STRING.isEncrypted == BOOLEAN
    input.Body.properties.fieldDefinitions.STRING.isOptional == BOOLEAN
    input.Body.properties.fieldDefinitions.STRING.type == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.connectionTypeName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConnectionType_Delete

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

ConnectionType_Get

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

ConnectionType_ListByAutomationAccount

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

Connection_CreateOrUpdate

valid {
    input.Body.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.connectionType.name == STRING
    input.Body.properties.fieldDefinitionValues.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.connectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Connection_Delete

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

Connection_Get

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

Connection_ListByAutomationAccount

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

Connection_Update

valid {
    input.Body.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.fieldDefinitionValues.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.connectionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Credential_CreateOrUpdate

valid {
    input.Body.name == STRING
    input.Body.properties.userName == STRING
    input.Body.properties.password == STRING
    input.Body.properties.description == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.credentialName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Credential_Delete

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

Credential_Get

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

Credential_ListByAutomationAccount

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

Credential_Update

valid {
    input.Body.name == STRING
    input.Body.properties.userName == STRING
    input.Body.properties.password == STRING
    input.Body.properties.description == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.credentialName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DscCompilationJobStream_ListByJob

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

DscCompilationJob_Create

valid {
    input.Body.properties.configuration.name == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.properties.incrementNodeConfigurationBuild == BOOLEAN
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.compilationJobName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DscCompilationJob_Get

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

DscCompilationJob_GetStream

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

DscCompilationJob_ListByAutomationAccount

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

DscConfiguration_CreateOrUpdate

enum_ContentSourceType := [ "embeddedContent", "uri" ]

valid {
    input.Body.properties.logVerbose == BOOLEAN
    input.Body.properties.logProgress == BOOLEAN
    input.Body.properties.source.hash.algorithm == STRING
    input.Body.properties.source.hash.value == STRING
    input.Body.properties.source.type == enum_ContentSourceType[_]
    input.Body.properties.source.value == STRING
    input.Body.properties.source.version == STRING
    input.Body.properties.parameters.STRING.type == STRING
    input.Body.properties.parameters.STRING.isMandatory == BOOLEAN
    input.Body.properties.parameters.STRING.position == INTEGER
    input.Body.properties.parameters.STRING.defaultValue == STRING
    input.Body.properties.description == STRING
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.configurationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DscConfiguration_Delete

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

DscConfiguration_Get

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

DscConfiguration_GetContent

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

DscConfiguration_ListByAutomationAccount

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

DscConfiguration_Update

enum_ContentSourceType := [ "embeddedContent", "uri" ]

valid {
    input.Body.properties.logVerbose == BOOLEAN
    input.Body.properties.logProgress == BOOLEAN
    input.Body.properties.source.hash.algorithm == STRING
    input.Body.properties.source.hash.value == STRING
    input.Body.properties.source.type == enum_ContentSourceType[_]
    input.Body.properties.source.value == STRING
    input.Body.properties.source.version == STRING
    input.Body.properties.parameters.STRING.type == STRING
    input.Body.properties.parameters.STRING.isMandatory == BOOLEAN
    input.Body.properties.parameters.STRING.position == INTEGER
    input.Body.properties.parameters.STRING.defaultValue == STRING
    input.Body.properties.description == STRING
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.configurationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DscNodeConfiguration_CreateOrUpdate

enum_ContentSourceType := [ "embeddedContent", "uri" ]

valid {
    input.Body.properties.source.hash.algorithm == STRING
    input.Body.properties.source.hash.value == STRING
    input.Body.properties.source.type == enum_ContentSourceType[_]
    input.Body.properties.source.value == STRING
    input.Body.properties.source.version == STRING
    input.Body.properties.configuration.name == STRING
    input.Body.properties.incrementNodeConfigurationBuild == BOOLEAN
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.nodeConfigurationName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DscNodeConfiguration_Delete

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

DscNodeConfiguration_Get

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

DscNodeConfiguration_ListByAutomationAccount

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

DscNode_Delete

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

DscNode_Get

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

DscNode_ListByAutomationAccount

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

DscNode_Update

valid {
    input.Body.nodeId == STRING
    input.Body.properties.nodeConfiguration.name == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.nodeId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Fields_ListByType

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

HybridRunbookWorkerGroup_Create

valid {
    input.Body.properties.credential.name == STRING
    input.Body.name == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.hybridRunbookWorkerGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HybridRunbookWorkerGroup_Delete

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

HybridRunbookWorkerGroup_Get

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

HybridRunbookWorkerGroup_ListByAutomationAccount

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

HybridRunbookWorkerGroup_Update

valid {
    input.Body.properties.credential.name == STRING
    input.Body.name == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.hybridRunbookWorkerGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HybridRunbookWorkers_Create

valid {
    input.Body.properties.vmResourceId == STRING
    input.Body.name == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.hybridRunbookWorkerGroupName == STRING
    input.ReqMap.hybridRunbookWorkerId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HybridRunbookWorkers_Delete

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

HybridRunbookWorkers_Get

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

HybridRunbookWorkers_ListByHybridRunbookWorkerGroup

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

HybridRunbookWorkers_Move

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

HybridRunbookWorkers_Patch

valid {
    input.Body.properties.vmResourceId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.hybridRunbookWorkerGroupName == STRING
    input.ReqMap.hybridRunbookWorkerId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

JobSchedule_Create

valid {
    input.Body.properties.schedule.name == STRING
    input.Body.properties.runbook.name == STRING
    input.Body.properties.runOn == STRING
    input.Body.properties.parameters.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.jobScheduleId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

JobSchedule_Delete

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

JobSchedule_Get

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

JobSchedule_ListByAutomationAccount

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

JobStream_Get

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

JobStream_ListByJob

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

Job_Create

valid {
    input.Body.properties.runbook.name == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.properties.runOn == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.jobName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Job_Get

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

Job_GetOutput

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

Job_GetRunbookContent

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

Job_ListByAutomationAccount

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

Job_Resume

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

Job_Stop

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

Job_Suspend

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

Keys_ListByAutomationAccount

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

LinkedWorkspace_Get

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

Module_CreateOrUpdate

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.moduleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Module_Delete

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

Module_Get

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

Module_ListByAutomationAccount

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

Module_Update

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.moduleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NodeCountInformation_Get

enum_CountTypeParameter := [ "status", "nodeconfiguration" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.countType == enum_CountTypeParameter[_]
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NodeReports_Get

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

NodeReports_GetContent

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

NodeReports_ListByNode

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

ObjectDataTypes_ListFieldsByModuleAndType

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

ObjectDataTypes_ListFieldsByType

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

Operations_List

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

Package_CreateOrUpdate

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.allOf.tags.STRING == STRING
    input.Body.allOf.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.runtimeEnvironmentName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Package_Delete

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

Package_Get

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

Package_ListByRuntimeEnvironment

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

Package_Update

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.allOf.tags.STRING == STRING
    input.Body.allOf.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.runtimeEnvironmentName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PowerShell72Module_CreateOrUpdate

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.moduleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PowerShell72Module_Delete

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

PowerShell72Module_Get

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

PowerShell72Module_ListByAutomationAccount

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

PowerShell72Module_Update

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.moduleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_CreateOrUpdate

valid {
    input.Body.properties.privateEndpoint.id == STRING
    input.Body.properties.groupIds[_] == STRING
    input.Body.properties.privateLinkServiceConnectionState.status == STRING
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Delete

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

PrivateEndpointConnections_Get

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

PrivateEndpointConnections_ListByAutomationAccount

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

PrivateLinkResources_Automation

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

Python2Package_CreateOrUpdate

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Python2Package_Delete

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

Python2Package_Get

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

Python2Package_ListByAutomationAccount

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

Python2Package_Update

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

Python3Package_CreateOrUpdate

valid {
    input.Body.properties.contentLink.uri == STRING
    input.Body.properties.contentLink.contentHash.algorithm == STRING
    input.Body.properties.contentLink.contentHash.value == STRING
    input.Body.properties.contentLink.version == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.packageName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Python3Package_Delete

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

Python3Package_Get

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

Python3Package_ListByAutomationAccount

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

Python3Package_Update

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

RunbookDraft_Get

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

RunbookDraft_GetContent

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

RunbookDraft_Publish

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

RunbookDraft_ReplaceContent

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

RunbookDraft_UndoEdit

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

Runbook_CreateOrUpdate

enum_RunbookCreateOrUpdatePropertiesRunbookType := [ "Script", "Graph", "PowerShellWorkflow", "PowerShell", "GraphPowerShellWorkflow", "GraphPowerShell", "Python2", "Python3", "PowerShell72" ]

valid {
    input.Body.properties.logVerbose == BOOLEAN
    input.Body.properties.logProgress == BOOLEAN
    input.Body.properties.runbookType == enum_RunbookCreateOrUpdatePropertiesRunbookType[_]
    input.Body.properties.draft.inEdit == BOOLEAN
    input.Body.properties.draft.draftContentLink.uri == STRING
    input.Body.properties.draft.draftContentLink.contentHash.algorithm == STRING
    input.Body.properties.draft.draftContentLink.contentHash.value == STRING
    input.Body.properties.draft.draftContentLink.version == STRING
    input.Body.properties.draft.creationTime == STRING
    input.Body.properties.draft.lastModifiedTime == STRING
    input.Body.properties.draft.parameters.STRING.type == STRING
    input.Body.properties.draft.parameters.STRING.isMandatory == BOOLEAN
    input.Body.properties.draft.parameters.STRING.position == INTEGER
    input.Body.properties.draft.parameters.STRING.defaultValue == STRING
    input.Body.properties.draft.outputTypes[_] == STRING
    input.Body.properties.publishContentLink.uri == STRING
    input.Body.properties.publishContentLink.contentHash.algorithm == STRING
    input.Body.properties.publishContentLink.contentHash.value == STRING
    input.Body.properties.publishContentLink.version == STRING
    input.Body.properties.description == STRING
    input.Body.properties.logActivityTrace == INTEGER
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.runbookName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Runbook_Delete

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

Runbook_Get

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

Runbook_GetContent

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

Runbook_ListByAutomationAccount

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

Runbook_Publish

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

Runbook_Update

valid {
    input.Body.properties.description == STRING
    input.Body.properties.logVerbose == BOOLEAN
    input.Body.properties.logProgress == BOOLEAN
    input.Body.properties.logActivityTrace == INTEGER
    input.Body.name == STRING
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.runbookName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RuntimeEnvironments_Create

valid {
    input.Body.properties.runtime.language == STRING
    input.Body.properties.runtime.version == STRING
    input.Body.properties.defaultPackages.STRING == STRING
    input.Body.properties.description == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.runtimeEnvironmentName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RuntimeEnvironments_Delete

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

RuntimeEnvironments_Get

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

RuntimeEnvironments_ListByAutomationAccount

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

RuntimeEnvironments_Update

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

Schedule_CreateOrUpdate

enum_AdvancedScheduleMonthlyOccurrenceDay := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]
enum_scheduleFrequency := [ "OneTime", "Day", "Hour", "Week", "Month", "Minute" ]

valid {
    input.Body.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.startTime == STRING
    input.Body.properties.expiryTime == STRING
    input.Body.properties.interval == {}
    input.Body.properties.frequency == enum_scheduleFrequency[_]
    input.Body.properties.timeZone == STRING
    input.Body.properties.advancedSchedule.weekDays[_] == STRING
    input.Body.properties.advancedSchedule.monthDays[_] == INTEGER
    input.Body.properties.advancedSchedule.monthlyOccurrences[_].occurrence == INTEGER
    input.Body.properties.advancedSchedule.monthlyOccurrences[_].day == enum_AdvancedScheduleMonthlyOccurrenceDay[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.scheduleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Schedule_Delete

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

Schedule_Get

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

Schedule_ListByAutomationAccount

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

Schedule_Update

valid {
    input.Body.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.isEnabled == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.scheduleName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SoftwareUpdateConfigurationMachineRuns_GetById

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

SoftwareUpdateConfigurationMachineRuns_List

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

SoftwareUpdateConfigurationRuns_GetById

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

SoftwareUpdateConfigurationRuns_List

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

SoftwareUpdateConfigurations_Create

enum_AdvancedScheduleMonthlyOccurrenceDay := [ "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday", "Sunday" ]
enum_LinuxPropertiesIncludedPackageClassifications := [ "Unclassified", "Critical", "Security", "Other" ]
enum_TagSettingsPropertiesFilterOperator := [ "All", "Any" ]
enum_WindowsPropertiesIncludedUpdateClassifications := [ "Unclassified", "Critical", "Security", "UpdateRollup", "FeaturePack", "ServicePack", "Definition", "Tools", "Updates" ]
enum_operatingSystemType := [ "Windows", "Linux" ]
enum_scheduleFrequency := [ "OneTime", "Day", "Hour", "Week", "Month", "Minute" ]

valid {
    input.Body.properties.updateConfiguration.operatingSystem == enum_operatingSystemType[_]
    input.Body.properties.updateConfiguration.windows.includedUpdateClassifications == enum_WindowsPropertiesIncludedUpdateClassifications[_]
    input.Body.properties.updateConfiguration.windows.excludedKbNumbers[_] == STRING
    input.Body.properties.updateConfiguration.windows.includedKbNumbers[_] == STRING
    input.Body.properties.updateConfiguration.windows.rebootSetting == STRING
    input.Body.properties.updateConfiguration.linux.includedPackageClassifications == enum_LinuxPropertiesIncludedPackageClassifications[_]
    input.Body.properties.updateConfiguration.linux.excludedPackageNameMasks[_] == STRING
    input.Body.properties.updateConfiguration.linux.includedPackageNameMasks[_] == STRING
    input.Body.properties.updateConfiguration.linux.rebootSetting == STRING
    input.Body.properties.updateConfiguration.duration == STRING
    input.Body.properties.updateConfiguration.azureVirtualMachines[_] == STRING
    input.Body.properties.updateConfiguration.nonAzureComputerNames[_] == STRING
    input.Body.properties.updateConfiguration.targets.azureQueries[_].scope[_] == STRING
    input.Body.properties.updateConfiguration.targets.azureQueries[_].locations[_] == STRING
    input.Body.properties.updateConfiguration.targets.azureQueries[_].tagSettings.tags.STRING[_] == STRING
    input.Body.properties.updateConfiguration.targets.azureQueries[_].tagSettings.filterOperator == enum_TagSettingsPropertiesFilterOperator[_]
    input.Body.properties.updateConfiguration.targets.nonAzureQueries[_].functionAlias == STRING
    input.Body.properties.updateConfiguration.targets.nonAzureQueries[_].workspaceId == STRING
    input.Body.properties.scheduleInfo.startTime == STRING
    input.Body.properties.scheduleInfo.expiryTime == STRING
    input.Body.properties.scheduleInfo.expiryTimeOffsetMinutes == NUMBER
    input.Body.properties.scheduleInfo.isEnabled == BOOLEAN
    input.Body.properties.scheduleInfo.nextRun == STRING
    input.Body.properties.scheduleInfo.nextRunOffsetMinutes == NUMBER
    input.Body.properties.scheduleInfo.interval == INTEGER
    input.Body.properties.scheduleInfo.frequency == enum_scheduleFrequency[_]
    input.Body.properties.scheduleInfo.timeZone == STRING
    input.Body.properties.scheduleInfo.advancedSchedule.weekDays[_] == STRING
    input.Body.properties.scheduleInfo.advancedSchedule.monthDays[_] == INTEGER
    input.Body.properties.scheduleInfo.advancedSchedule.monthlyOccurrences[_].occurrence == INTEGER
    input.Body.properties.scheduleInfo.advancedSchedule.monthlyOccurrences[_].day == enum_AdvancedScheduleMonthlyOccurrenceDay[_]
    input.Body.properties.scheduleInfo.creationTime == STRING
    input.Body.properties.scheduleInfo.lastModifiedTime == STRING
    input.Body.properties.scheduleInfo.description == STRING
    input.Body.properties.error.code == STRING
    input.Body.properties.error.message == STRING
    input.Body.properties.tasks.preTask.parameters.STRING == STRING
    input.Body.properties.tasks.preTask.source == STRING
    input.Body.properties.tasks.postTask.parameters.STRING == STRING
    input.Body.properties.tasks.postTask.source == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.softwareUpdateConfigurationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SoftwareUpdateConfigurations_Delete

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

SoftwareUpdateConfigurations_GetByName

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

SoftwareUpdateConfigurations_List

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

SourceControlSyncJobStreams_Get

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

SourceControlSyncJobStreams_ListBySyncJob

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.sourceControlName == STRING
    input.ReqMap.sourceControlSyncJobId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$filter == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SourceControlSyncJob_Create

valid {
    input.Body.properties.commitId == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.sourceControlName == STRING
    input.ReqMap.sourceControlSyncJobId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SourceControlSyncJob_Get

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

SourceControlSyncJob_ListByAutomationAccount

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

SourceControl_CreateOrUpdate

enum_SourceControlCreateOrUpdatePropertiesSourceType := [ "VsoGit", "VsoTfvc", "GitHub" ]
enum_SourceControlSecurityTokenPropertiesTokenType := [ "PersonalAccessToken", "Oauth" ]

valid {
    input.Body.properties.repoUrl == STRING
    input.Body.properties.branch == STRING
    input.Body.properties.folderPath == STRING
    input.Body.properties.autoSync == BOOLEAN
    input.Body.properties.publishRunbook == BOOLEAN
    input.Body.properties.sourceType == enum_SourceControlCreateOrUpdatePropertiesSourceType[_]
    input.Body.properties.securityToken.accessToken == STRING
    input.Body.properties.securityToken.refreshToken == STRING
    input.Body.properties.securityToken.tokenType == enum_SourceControlSecurityTokenPropertiesTokenType[_]
    input.Body.properties.description == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.sourceControlName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SourceControl_Delete

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

SourceControl_Get

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

SourceControl_ListByAutomationAccount

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

SourceControl_Update

enum_SourceControlSecurityTokenPropertiesTokenType := [ "PersonalAccessToken", "Oauth" ]

valid {
    input.Body.properties.branch == STRING
    input.Body.properties.folderPath == STRING
    input.Body.properties.autoSync == BOOLEAN
    input.Body.properties.publishRunbook == BOOLEAN
    input.Body.properties.securityToken.accessToken == STRING
    input.Body.properties.securityToken.refreshToken == STRING
    input.Body.properties.securityToken.tokenType == enum_SourceControlSecurityTokenPropertiesTokenType[_]
    input.Body.properties.description == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.sourceControlName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Statistics_ListByAutomationAccount

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

TestJobStreams_Get

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

TestJobStreams_ListByTestJob

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

TestJob_Create

valid {
    input.Body.parameters.STRING == STRING
    input.Body.runOn == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.runbookName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TestJob_Get

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

TestJob_Resume

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

TestJob_Stop

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

TestJob_Suspend

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

Usages_ListByAutomationAccount

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

Variable_CreateOrUpdate

valid {
    input.Body.name == STRING
    input.Body.properties.value == STRING
    input.Body.properties.description == STRING
    input.Body.properties.isEncrypted == BOOLEAN
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.variableName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Variable_Delete

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

Variable_Get

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

Variable_ListByAutomationAccount

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

Variable_Update

valid {
    input.Body.name == STRING
    input.Body.properties.value == STRING
    input.Body.properties.description == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.variableName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Watcher_CreateOrUpdate

valid {
    input.Body.properties.executionFrequencyInSeconds == INTEGER
    input.Body.properties.scriptName == STRING
    input.Body.properties.scriptParameters.STRING == STRING
    input.Body.properties.scriptRunOn == STRING
    input.Body.properties.description == STRING
    input.Body.etag == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.watcherName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Watcher_Delete

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

Watcher_Get

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

Watcher_ListByAutomationAccount

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

Watcher_Start

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

Watcher_Stop

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

Watcher_Update

valid {
    input.Body.properties.executionFrequencyInSeconds == INTEGER
    input.Body.name == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.watcherName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Webhook_CreateOrUpdate

valid {
    input.Body.name == STRING
    input.Body.properties.isEnabled == BOOLEAN
    input.Body.properties.uri == STRING
    input.Body.properties.expiryTime == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.properties.runbook.name == STRING
    input.Body.properties.runOn == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.webhookName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Webhook_Delete

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

Webhook_GenerateUri

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

Webhook_Get

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

Webhook_ListByAutomationAccount

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

Webhook_Update

valid {
    input.Body.name == STRING
    input.Body.properties.isEnabled == BOOLEAN
    input.Body.properties.runOn == STRING
    input.Body.properties.parameters.STRING == STRING
    input.Body.properties.description == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.webhookName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

convertGraphRunbookContent

enum_RawGraphicalRunbookContentRunbookType := [ "GraphPowerShell", "GraphPowerShellWorkflow" ]

valid {
    input.Body.rawContent.schemaVersion == STRING
    input.Body.rawContent.runbookDefinition == STRING
    input.Body.rawContent.runbookType == enum_RawGraphicalRunbookContentRunbookType[_]
    input.Body.graphRunbookJson == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.automationAccountName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

deletedAutomationAccounts_ListBySubscription

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

Updated 7 months ago