MICROSOFT.OFFAZURE

DependencyMapController_ClientGroupMembers

valid {
    input.Body.machineId == STRING
    input.Body.processGroupName == STRING
    input.Body.processName == STRING
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DependencyMapController_ExportDependencies

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

DependencyMapController_GenerateCoarseMap

valid {
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DependencyMapController_GenerateDetailedMap

valid {
    input.Body.machineId == STRING
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DependencyMapController_ServerGroupMembers

valid {
    input.Body.serverPort == INTEGER
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HyperVCluster_GetAllClustersInSite

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

HyperVCluster_GetCluster

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

HyperVCluster_PutCluster

valid {
    input.Body.name == STRING
    input.Body.properties.fqdn == STRING
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.hostFqdnList[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HyperVHost_GetAllHostsInSite

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

HyperVHost_GetHost

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

HyperVHost_PutHost

valid {
    input.Body.name == STRING
    input.Body.properties.fqdn == STRING
    input.Body.properties.runAsAccountId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.hostName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HyperVJobs_GetAllJobsInSite

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

HyperVJobs_GetJob

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

HyperVMachines_GetAllMachinesInSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HyperVMachines_GetMachine

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

HyperVOperationsStatus_GetOperationStatus

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

HyperVRunAsAccounts_GetAllRunAsAccountsInSite

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

HyperVRunAsAccounts_GetRunAsAccount

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

HyperVSites_DeleteSite

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

HyperVSites_GetSite

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

HyperVSites_GetSiteHealthSummary

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

HyperVSites_GetSiteUsage

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

HyperVSites_List

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

HyperVSites_ListBySubscription

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

HyperVSites_PatchSite

valid {
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.applianceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HyperVSites_PutSite

valid {
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.applianceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HyperVSites_RefreshSite

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

HypervClusterController_CreateCluster

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.properties.fqdn == STRING
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.hostFqdnList[_] == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.clusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervClusterController_Delete

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

HypervClusterController_GetCluster

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

HypervClusterController_ListByHypervSite

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

HypervDependencyMapController_ClientGroupMembers

valid {
    input.Body.machineId == STRING
    input.Body.processGroupName == STRING
    input.Body.processName == STRING
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervDependencyMapController_ExportDependencies

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

HypervDependencyMapController_GenerateCoarseMap

valid {
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervDependencyMapController_GenerateDetailedMap

valid {
    input.Body.machineId == STRING
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervDependencyMapController_ServerGroupMembers

valid {
    input.Body.serverPort == INTEGER
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervDependencyMapController_UpdateDependencyMapStatus

valid {
    input.Body.machines[_].machineId == STRING
    input.Body.machines[_].isDependencyMapToBeEnabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervHostController_Create

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.properties.fqdn == STRING
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.hostName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervHostController_Delete

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

HypervHostController_Get

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

HypervHostController_ListByHypervSite

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

HypervJobsController_Get

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

HypervJobsController_ListByVmwareSite

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

HypervJobs_Get

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

HypervJobs_ListByHypervSite

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

HypervMachinesController_Get

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

HypervMachinesController_ListByHypervSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == INTEGER
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervMachinesController_Update

enum_esuStatus := [ "Unknown", "Active", "InActive" ]
enum_esuYear := [ "Unknown", "FirstYear", "SecondYear", "ThirdYear", "UpgradeYear" ]
enum_supportStatus := [ "Unknown", "Mainstream", "Extended" ]

valid {
    input.Body.properties.firmware == STRING
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.productSupportStatus.currentVersion == STRING
    input.Body.properties.productSupportStatus.esuStatus == enum_esuStatus[_]
    input.Body.properties.productSupportStatus.supportStatus == enum_supportStatus[_]
    input.Body.properties.productSupportStatus.supportEndDate == STRING
    input.Body.properties.productSupportStatus.esuYear == enum_esuYear[_]
    input.Body.properties.numberOfProcessorCore == INTEGER
    input.Body.properties.allocatedMemoryInMb == NUMBER
    input.Body.properties.operatingSystemDetails.osType == STRING
    input.Body.properties.operatingSystemDetails.osName == STRING
    input.Body.properties.operatingSystemDetails.osVersion == STRING
    input.Body.properties.operatingSystemDetails.osArchitecture == STRING
    input.Body.properties.biosSerialNumber == STRING
    input.Body.properties.biosGuid == STRING
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.machineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervMachinesController_UpdateProperties

valid {
    input.Body.value[_].machineArmId == STRING
    input.Body.value[_].dependencyMapping == STRING
    input.Body.value[_].tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervOperationsStatusController_GetHypervOperationsStatus

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

HypervRunAsAccountsController_Get

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

HypervRunAsAccountsController_ListByHypervSite

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

HypervSitesController_ComputeErrorSummary

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

HypervSitesController_Computeusage

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

HypervSitesController_Create

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.applianceName == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervSitesController_Delete

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

HypervSitesController_ExportApplications

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

HypervSitesController_ExportMachineErrors

enum_ExportMachineErrorsProperties := [ "AppsAndRoles", "DependencyMap", "StaticData", "SQLServerConnectionInfo" ]

valid {
    input.Body.properties.discoveryScope == enum_ExportMachineErrorsProperties[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervSitesController_Get

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

HypervSitesController_ListHealthSummary

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

HypervSitesController_Summary

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

HypervSitesController_Update

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.applianceName == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervSites_ListByResourceGroup

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

HypervSites_ListBySubscription

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

HypervSoftwareInventoriesController_GetMachineSoftwareInventory

enum_DefaultParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.default == enum_DefaultParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

HypervSoftwareInventoriesController_ListByHypervMachine

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

IisWebApplicationsController_Get

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

IisWebApplicationsController_ListByWebAppSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IisWebApplicationsController_Update

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

IisWebServersController_Get

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

IisWebServersController_ListByWebAppSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImportJobsController_Get

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

ImportJobsController_GetDeletejob

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

ImportJobsController_GetExportjob

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

ImportJobsController_GetImportjob

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

ImportJobsController_ListByImportSite

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

ImportJobsController_ListDeletejobs

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

ImportJobsController_ListExportjobs

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

ImportJobsController_ListImportjobs

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

ImportMachinesController_Delete

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

ImportMachinesController_Get

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

ImportMachinesController_ListByImportSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImportSitesController_Create

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImportSitesController_Delete

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

ImportSitesController_DeleteImportedMachines

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

ImportSitesController_ExportUri

enum_ImportTypeValues := [ "AzureMigrateCSV", "RVToolsXlsx" ]

valid {
    input.Body.jobArmId == STRING
    input.Body.uri == STRING
    input.Body.importType == enum_ImportTypeValues[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImportSitesController_Get

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

ImportSitesController_ImportUri

enum_ImportTypeValues := [ "AzureMigrateCSV", "RVToolsXlsx" ]

valid {
    input.Body.jobArmId == STRING
    input.Body.uri == STRING
    input.Body.importType == enum_ImportTypeValues[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ImportSitesController_ListByResourceGroup

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

ImportSitesController_ListBySubscription

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

ImportSitesController_Update

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Jobs_GetAllJobsInSite

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

Jobs_GetJob

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

MachinesController_Get

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

MachinesController_ListByVmwareSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == INTEGER
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MachinesController_Start

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

MachinesController_Stop

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

MachinesController_Update

enum_esuStatus := [ "Unknown", "Active", "InActive" ]
enum_esuYear := [ "Unknown", "FirstYear", "SecondYear", "ThirdYear", "UpgradeYear" ]
enum_supportStatus := [ "Unknown", "Mainstream", "Extended" ]

valid {
    input.Body.properties.firmware == STRING
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.productSupportStatus.currentVersion == STRING
    input.Body.properties.productSupportStatus.esuStatus == enum_esuStatus[_]
    input.Body.properties.productSupportStatus.supportStatus == enum_supportStatus[_]
    input.Body.properties.productSupportStatus.supportEndDate == STRING
    input.Body.properties.productSupportStatus.esuYear == enum_esuYear[_]
    input.Body.properties.numberOfProcessorCore == INTEGER
    input.Body.properties.allocatedMemoryInMb == NUMBER
    input.Body.properties.operatingSystemDetails.osType == STRING
    input.Body.properties.operatingSystemDetails.osName == STRING
    input.Body.properties.operatingSystemDetails.osVersion == STRING
    input.Body.properties.operatingSystemDetails.osArchitecture == STRING
    input.Body.properties.biosSerialNumber == STRING
    input.Body.properties.biosGuid == STRING
    input.Body.properties.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.machineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_GetAllMachinesInSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.Qs.$top == INTEGER
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Machines_GetMachine

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

Machines_StartMachine

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

Machines_StopMachine

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

MasterSitesController_Create

enum_MasterSitePropertiesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]

valid {
    input.Body.properties.publicNetworkAccess == enum_MasterSitePropertiesPublicNetworkAccess[_]
    input.Body.properties.allowMultipleSites == BOOLEAN
    input.Body.properties.sites[_] == STRING
    input.Body.properties.customerStorageAccountArmId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MasterSitesController_Delete

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

MasterSitesController_ErrorSummary

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

MasterSitesController_Get

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

MasterSitesController_ListByResourceGroup

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

MasterSitesController_ListBySubscription

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

MasterSitesController_Update

enum_MasterSitePropertiesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.publicNetworkAccess == enum_MasterSitePropertiesPublicNetworkAccess[_]
    input.Body.properties.allowMultipleSites == BOOLEAN
    input.Body.properties.sites[_] == STRING
    input.Body.properties.customerStorageAccountArmId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MasterSitesOperationsStatusController_GetVmwareOperationStatus

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

MasterSites_DeleteSite

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

MasterSites_GetSite

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

MasterSites_List

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

MasterSites_ListBySubscription

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

MasterSites_PatchSite

enum_MasterSitePropertiesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]

valid {
    input.Body.name == STRING
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.properties.publicNetworkAccess == enum_MasterSitePropertiesPublicNetworkAccess[_]
    input.Body.properties.allowMultipleSites == BOOLEAN
    input.Body.properties.sites[_] == STRING
    input.Body.properties.customerStorageAccountArmId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MasterSites_PutSite

enum_MasterSitePropertiesPublicNetworkAccess := [ "NotSpecified", "Enabled", "Disabled" ]

valid {
    input.Body.name == STRING
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.properties.publicNetworkAccess == enum_MasterSitePropertiesPublicNetworkAccess[_]
    input.Body.properties.allowMultipleSites == BOOLEAN
    input.Body.properties.sites[_] == STRING
    input.Body.properties.customerStorageAccountArmId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == 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
}

PrivateEndpointConnectionController_Create

enum_PrivateLinkServiceConnectionStateStatus := [ "Approved", "Pending", "Rejected", "Disconnected" ]

valid {
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateLinkServiceConnectionStateStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.peConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnectionController_Delete

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

PrivateEndpointConnectionController_Get

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

PrivateEndpointConnectionController_ListByMasterSite

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

PrivateLinkResourcesController_Get

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

PrivateLinkResourcesController_ListByMasterSite

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

RunAsAccountsController_Get

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

RunAsAccountsController_ListByVmwareSite

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

RunAsAccounts_GetAllRunAsAccountsInSite

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

RunAsAccounts_GetRunAsAccount

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

ServerDependencyMapController_ClientGroupMembers

valid {
    input.Body.machineId == STRING
    input.Body.processGroupName == STRING
    input.Body.processName == STRING
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerDependencyMapController_ExportDependencies

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

ServerDependencyMapController_GenerateCoarseMap

valid {
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerDependencyMapController_GenerateDetailedMap

valid {
    input.Body.machineId == STRING
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerDependencyMapController_ServerGroupMembers

valid {
    input.Body.serverPort == INTEGER
    input.Body.startTime == STRING
    input.Body.endTime == STRING
    input.Body.filters.machineIds[_] == STRING
    input.Body.filters.processIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerJobsController_Get

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

ServerJobsController_ListByServerSiteResource

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

ServerOperationsStatusController_GetServerSiteOperationsStatus

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

ServerRunAsAccountsController_Get

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

ServerRunAsAccountsController_ListByServerSiteResource

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

ServerSitesController_ComputeErrorSummary

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

ServerSitesController_Computeusage

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

ServerSitesController_Create

valid {
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.applianceName == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSitesController_Delete

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

ServerSitesController_ExportApplications

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

ServerSitesController_ExportMachineErrors

enum_ExportMachineErrorsProperties := [ "AppsAndRoles", "DependencyMap", "StaticData", "SQLServerConnectionInfo" ]

valid {
    input.Body.properties.discoveryScope == enum_ExportMachineErrorsProperties[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSitesController_Get

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

ServerSitesController_ListByResourceGroup

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

ServerSitesController_ListBySubscription

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

ServerSitesController_ListHealthSummary

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

ServerSitesController_RefreshSite

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

ServerSitesController_Summary

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

ServerSitesController_Update

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.applianceName == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSitesController_UpdateDependencyMapStatus

valid {
    input.Body.machines[_].machineId == STRING
    input.Body.machines[_].isDependencyMapToBeEnabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSitesController_UpdateProperties

valid {
    input.Body.value[_].machineArmId == STRING
    input.Body.value[_].dependencyMapping == STRING
    input.Body.value[_].tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSoftwareInventoriesController_GetMachineSoftwareInventory

enum_DefaultParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.default == enum_DefaultParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServerSoftwareInventoriesController_ListByServer

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

ServersController_DeleteMachine

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

ServersController_GetMachine

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

ServersController_ListByServerSiteResource

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServersController_UpdateMachine

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]
enum_esuStatus := [ "Unknown", "Active", "InActive" ]
enum_esuYear := [ "Unknown", "FirstYear", "SecondYear", "ThirdYear", "UpgradeYear" ]
enum_supportStatus := [ "Unknown", "Mainstream", "Extended" ]

valid {
    input.Body.properties.fqdn == STRING
    input.Body.properties.networkAdapters[_].nicId == STRING
    input.Body.properties.networkAdapters[_].macAddress == STRING
    input.Body.properties.networkAdapters[_].networkName == STRING
    input.Body.properties.networkAdapters[_].ipAddressType == STRING
    input.Body.properties.hydratedFqdn == STRING
    input.Body.properties.disks[_].id == STRING
    input.Body.properties.disks[_].generatedId == STRING
    input.Body.properties.disks[_].maxSizeInBytes == INTEGER
    input.Body.properties.disks[_].name == STRING
    input.Body.properties.disks[_].diskType == STRING
    input.Body.properties.disks[_].lun == INTEGER
    input.Body.properties.disks[_].path == STRING
    input.Body.properties.validationRequired == STRING
    input.Body.properties.firmware == STRING
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.productSupportStatus.currentVersion == STRING
    input.Body.properties.productSupportStatus.esuStatus == enum_esuStatus[_]
    input.Body.properties.productSupportStatus.supportStatus == enum_supportStatus[_]
    input.Body.properties.productSupportStatus.supportEndDate == STRING
    input.Body.properties.productSupportStatus.esuYear == enum_esuYear[_]
    input.Body.properties.numberOfProcessorCore == INTEGER
    input.Body.properties.allocatedMemoryInMb == NUMBER
    input.Body.properties.operatingSystemDetails.osType == STRING
    input.Body.properties.operatingSystemDetails.osName == STRING
    input.Body.properties.operatingSystemDetails.osVersion == STRING
    input.Body.properties.operatingSystemDetails.osArchitecture == STRING
    input.Body.properties.biosSerialNumber == STRING
    input.Body.properties.biosGuid == STRING
    input.Body.properties.tags.STRING.STRING == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.machineName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SitesController_ComputeErrorSummary

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

SitesController_Computeusage

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

SitesController_Create

valid {
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.applianceName == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SitesController_Delete

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

SitesController_ExportApplications

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

SitesController_ExportMachineErrors

enum_ExportMachineErrorsProperties := [ "AppsAndRoles", "DependencyMap", "StaticData", "SQLServerConnectionInfo" ]

valid {
    input.Body.properties.discoveryScope == enum_ExportMachineErrorsProperties[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SitesController_ExportMachines

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

SitesController_Get

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

SitesController_ListByResourceGroup

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

SitesController_ListBySubscription

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

SitesController_ListHealthSummary

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

SitesController_Summary

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

SitesController_Update

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.applianceName == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Sites_DeleteSite

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

Sites_GetSite

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

Sites_GetSiteHealthSummary

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

Sites_GetSiteUsage

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

Sites_PatchSite

valid {
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.applianceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Sites_PutSite

valid {
    input.Body.name == STRING
    input.Body.tags.STRING == STRING
    input.Body.eTag == STRING
    input.Body.location == STRING
    input.Body.properties.servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.agentDetails.keyVaultUri == STRING
    input.Body.properties.agentDetails.keyVaultId == STRING
    input.Body.properties.discoverySolutionId == STRING
    input.Body.properties.applianceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Sites_RefreshSite

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

SqlAvailabilityGroupsController_Get

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

SqlAvailabilityGroupsController_ListBySqlSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlDatabasesController_Get

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

SqlDatabasesController_ListBySqlSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlDiscoverySiteDataSourceController_Create

valid {
    input.Body.properties.discoverySiteId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.ReqMap.discoverySiteDataSourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlDiscoverySiteDataSourceController_Delete

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

SqlDiscoverySiteDataSourceController_Get

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

SqlDiscoverySiteDataSourceController_ListBySqlSite

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

SqlJobsController_Get

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

SqlJobsController_ListBySqlSite

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

SqlOperationsStatusController_GetSqlOperationStatus

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

SqlRunAsAccountsController_Get

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

SqlRunAsAccountsController_ListBySqlSite

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

SqlServersController_Get

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

SqlServersController_ListBySqlSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlServersController_Update

enum_FCIInstanceState := [ "Unknown", "Inherited", "Initializing", "Online", "Offline", "Failed", "Pending", "OnlinePending", "OfflinePending" ]
enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]
enum_SqlServerStatus := [ "Unknown", "ContinuePending", "Paused", "PausePending", "Running", "StartPending", "Stopped", "StopPending" ]
enum_esuStatus := [ "Unknown", "Active", "InActive" ]
enum_esuYear := [ "Unknown", "FirstYear", "SecondYear", "ThirdYear", "UpgradeYear" ]
enum_supportStatus := [ "Unknown", "Mainstream", "Extended" ]

valid {
    input.Body.properties.numberOfAgDatabases == INTEGER
    input.Body.properties.sqlFciProperties.state == enum_FCIInstanceState[_]
    input.Body.properties.sqlFciProperties.networkName == STRING
    input.Body.properties.sqlFciProperties.isMultiSubnet == BOOLEAN
    input.Body.properties.sqlFciProperties.sharedDiskCount == INTEGER
    input.Body.properties.productSupportStatus.currentVersion == STRING
    input.Body.properties.productSupportStatus.esuStatus == enum_esuStatus[_]
    input.Body.properties.productSupportStatus.supportStatus == enum_supportStatus[_]
    input.Body.properties.productSupportStatus.supportEndDate == STRING
    input.Body.properties.productSupportStatus.esuYear == enum_esuYear[_]
    input.Body.properties.version == STRING
    input.Body.properties.numberOfUserDatabases == INTEGER
    input.Body.properties.sumOfUserDatabasesSizeInMb == NUMBER
    input.Body.properties.tempDbSizeInMb == NUMBER
    input.Body.properties.maxServerMemoryInUseInMb == NUMBER
    input.Body.properties.visibleOnlineCoreCount == INTEGER
    input.Body.properties.numOfLogins == INTEGER
    input.Body.properties.physicalCpuCount == NUMBER
    input.Body.properties.logicalCpuCount == INTEGER
    input.Body.properties.engineEdition == STRING
    input.Body.properties.edition == STRING
    input.Body.properties.isHighAvailabilityEnabled == BOOLEAN
    input.Body.properties.isClustered == BOOLEAN
    input.Body.properties.hyperthreadRatio == INTEGER
    input.Body.properties.sqlStartTime == STRING
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.hydratedRunAsAccountId == STRING
    input.Body.properties.hostName == STRING
    input.Body.properties.sqlServerName == STRING
    input.Body.properties.portNumber == INTEGER
    input.Body.properties.tags.STRING.STRING == STRING
    input.Body.properties.isDeleted == BOOLEAN
    input.Body.properties.createdTimestamp == STRING
    input.Body.properties.updatedTimestamp == STRING
    input.Body.properties.status == enum_SqlServerStatus[_]
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.ReqMap.sqlServerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlSitesController_Create

enum_SqlSitePropertiesDiscoveryScenario := [ "Migrate", "DR" ]

valid {
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultUri == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].applianceName == STRING
    input.Body.properties.discoveryScenario == enum_SqlSitePropertiesDiscoveryScenario[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlSitesController_Delete

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

SqlSitesController_ErrorSummary

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

SqlSitesController_ExportSqlServerErrors

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

SqlSitesController_ExportSqlServers

valid {
    input.Body.applianceName == STRING
    input.Body.filter == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SqlSitesController_Get

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

SqlSitesController_ListByMasterSite

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

SqlSitesController_Refresh

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

SqlSitesController_Summary

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

SqlSitesController_Update

enum_SqlSitePropertiesDiscoveryScenario := [ "Migrate", "DR" ]

valid {
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultUri == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].applianceName == STRING
    input.Body.properties.discoveryScenario == enum_SqlSitePropertiesDiscoveryScenario[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.sqlSiteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TomcatWebApplicationsController_Get

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

TomcatWebApplicationsController_ListByWebAppSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

TomcatWebApplicationsController_Update

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

TomcatWebServersController_Get

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

TomcatWebServersController_ListByWebAppSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VCenter_DeleteVCenter

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

VCenter_GetAllVCentersInSite

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

VCenter_GetVCenter

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

VCenter_PutVCenter

valid {
    input.Body.name == STRING
    input.Body.properties.fqdn == STRING
    input.Body.properties.port == STRING
    input.Body.properties.runAsAccountId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.vcenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VMwareOperationsStatus_GetOperationStatus

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

VMwareSites_List

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

VMwareSites_ListBySubscription

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

VcenterController_Create

enum_ProvisioningState := [ "Created", "Updated", "Running", "Completed", "Failed", "Succeeded", "Canceled" ]

valid {
    input.Body.properties.runAsAccountId == STRING
    input.Body.properties.fqdn == STRING
    input.Body.properties.port == STRING
    input.Body.properties.friendlyName == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.vcenterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VcenterController_Delete

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

VcenterController_Get

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

VcenterController_ListByVmwareSite

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

VmwareHostController_Get

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

VmwareHostController_ListByVmwareSite

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

VmwareOperationsStatus_GetVmwareOperationStatus

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

VmwarePropertiesController_UpdateDependencyMapStatus

valid {
    input.Body.machines[_].machineId == STRING
    input.Body.machines[_].isDependencyMapToBeEnabled == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VmwarePropertiesController_UpdateProperties

valid {
    input.Body.value[_].machineArmId == STRING
    input.Body.value[_].dependencyMapping == STRING
    input.Body.value[_].tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VmwarePropertiesController_UpdateRunAsAccount

valid {
    input.Body.machines[_].machineId == STRING
    input.Body.machines[_].runAsAccountId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VmwarePropertiesController_UpdateTags

valid {
    input.Body.machines[_].machineId == STRING
    input.Body.machines[_].tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VmwareSoftwareInventoriesController_GetMachineSoftwareInventory

enum_DefaultParameter := [ "default" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.machineName == STRING
    input.ReqMap.default == enum_DefaultParameter[_]
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

VmwareSoftwareInventoriesController_ListByMachineResource

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

WebAppDiscoverySiteDataSourcesController_Create

valid {
    input.Body.properties.discoverySiteId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.ReqMap.discoverySiteDataSourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WebAppDiscoverySiteDataSourcesController_Delete

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

WebAppDiscoverySiteDataSourcesController_Get

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

WebAppDiscoverySiteDataSourcesController_ListByWebAppSite

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

WebAppExtendedMachinesController_Get

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

WebAppExtendedMachinesController_ListByWebAppSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WebAppPropertiesController_UpdateProperties

valid {
    input.Body.webApps[_].webAppArmId == STRING
    input.Body.webApps[_].tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WebAppRunAsAccountsController_Get

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

WebAppRunAsAccountsController_ListByWebAppSite

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

WebAppSitesController_Create

enum_WebAppSitePropertiesDiscoveryScenario := [ "Migrate", "DR" ]

valid {
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultUri == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].applianceName == STRING
    input.Body.properties.discoveryScenario == enum_WebAppSitePropertiesDiscoveryScenario[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WebAppSitesController_Delete

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

WebAppSitesController_ErrorSummary

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

WebAppSitesController_ExportInventory

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

WebAppSitesController_Get

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

WebAppSitesController_ListByMasterSite

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

WebAppSitesController_Refresh

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

WebAppSitesController_Summary

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

WebAppSitesController_Update

enum_WebAppSitePropertiesDiscoveryScenario := [ "Migrate", "DR" ]

valid {
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.tenantId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.applicationId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.objectId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.audience == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.aadAuthority == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].servicePrincipalIdentityDetails.rawCertData == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultUri == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].agentDetails.keyVaultId == STRING
    input.Body.properties.siteAppliancePropertiesCollection[_].applianceName == STRING
    input.Body.properties.discoveryScenario == enum_WebAppSitePropertiesDiscoveryScenario[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WebApplicationsController_ListByWebAppSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

WebServersController_ListByWebAppSite

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.ReqMap.webAppSiteName == STRING
    input.Qs.api-version == STRING
    input.Qs.filter == STRING
    input.Qs.top == STRING
    input.Qs.continuationToken == STRING
    input.Qs.totalRecordCount == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Updated 7 months ago