CloudServiceOperatingSystems_GetOSFamily

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

CloudServiceOperatingSystems_GetOSVersion

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

CloudServiceOperatingSystems_ListOSFamilies

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

CloudServiceOperatingSystems_ListOSVersions

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

CloudServiceRoleInstances_Delete

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

CloudServiceRoleInstances_Get

enum_$expandParameter := [ "instanceView", "userData" ]

valid {
    input.ReqMap.roleInstanceName == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServiceRoleInstances_GetInstanceView

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

CloudServiceRoleInstances_GetRemoteDesktopFile

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

CloudServiceRoleInstances_List

enum_$expandParameter := [ "instanceView", "userData" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.Qs.$expand == enum_$expandParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServiceRoleInstances_Rebuild

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

CloudServiceRoleInstances_Reimage

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

CloudServiceRoleInstances_Restart

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

CloudServiceRoles_Get

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

CloudServiceRoles_List

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

CloudServicesUpdateDomain_GetUpdateDomain

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

CloudServicesUpdateDomain_ListUpdateDomains

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

CloudServicesUpdateDomain_WalkUpdateDomain

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

CloudServices_CreateOrUpdate

enum_CloudServiceUpgradeMode := [ "Auto", "Manual", "Simultaneous" ]

valid {
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.properties.packageUrl == STRING
    input.Body.properties.configuration == STRING
    input.Body.properties.configurationUrl == STRING
    input.Body.properties.startCloudService == BOOLEAN
    input.Body.properties.allowModelOverride == BOOLEAN
    input.Body.properties.upgradeMode == enum_CloudServiceUpgradeMode[_]
    input.Body.properties.roleProfile.roles[_].name == STRING
    input.Body.properties.roleProfile.roles[_].sku.name == STRING
    input.Body.properties.roleProfile.roles[_].sku.tier == STRING
    input.Body.properties.roleProfile.roles[_].sku.capacity == INTEGER
    input.Body.properties.osProfile.secrets[_].sourceVault.id == STRING
    input.Body.properties.osProfile.secrets[_].vaultCertificates[_].certificateUrl == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].id == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].name == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].name == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.publicIPAddress.id == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.subnet.id == STRING
    input.Body.properties.networkProfile.loadBalancerConfigurations[_].properties.frontendIPConfigurations[_].properties.privateIPAddress == STRING
    input.Body.properties.networkProfile.swappableCloudService.id == STRING
    input.Body.properties.extensionProfile.extensions[_].name == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.publisher == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.type == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.typeHandlerVersion == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.autoUpgradeMinorVersion == BOOLEAN
    input.Body.properties.extensionProfile.extensions[_].properties.settings == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.protectedSettings == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.protectedSettingsFromKeyVault.sourceVault.id == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.protectedSettingsFromKeyVault.secretUrl == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.forceUpdateTag == STRING
    input.Body.properties.extensionProfile.extensions[_].properties.rolesAppliedTo[_] == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudServiceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudServices_Delete

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

CloudServices_DeleteInstances

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

CloudServices_Get

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

CloudServices_GetInstanceView

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

CloudServices_List

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

CloudServices_ListAll

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

CloudServices_PowerOff

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

CloudServices_Rebuild

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

CloudServices_Reimage

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

CloudServices_Restart

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

CloudServices_Start

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

CloudServices_Update

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