MICROSOFT.REDHATOPENSHIFT

MachinePools_CreateOrUpdate

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

MachinePools_Delete

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

MachinePools_Get

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

MachinePools_List

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

MachinePools_Update

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

OpenShiftClusters_CreateOrUpdate

enum_EncryptionAtHost := [ "Disabled", "Enabled" ]
enum_FipsValidatedModules := [ "Disabled", "Enabled" ]
enum_OutboundType := [ "Loadbalancer", "UserDefinedRouting" ]
enum_PreconfiguredNSG := [ "Disabled", "Enabled" ]
enum_ProvisioningState := [ "AdminUpdating", "Canceled", "Creating", "Deleting", "Failed", "Succeeded", "Updating" ]
enum_Visibility := [ "Private", "Public" ]

valid {
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.properties.clusterProfile.pullSecret == STRING
    input.Body.properties.clusterProfile.domain == STRING
    input.Body.properties.clusterProfile.version == STRING
    input.Body.properties.clusterProfile.resourceGroupId == STRING
    input.Body.properties.clusterProfile.fipsValidatedModules == enum_FipsValidatedModules[_]
    input.Body.properties.consoleProfile == {}
    input.Body.properties.servicePrincipalProfile.clientId == STRING
    input.Body.properties.servicePrincipalProfile.clientSecret == STRING
    input.Body.properties.networkProfile.podCidr == STRING
    input.Body.properties.networkProfile.serviceCidr == STRING
    input.Body.properties.networkProfile.outboundType == enum_OutboundType[_]
    input.Body.properties.networkProfile.loadBalancerProfile.managedOutboundIps.count == INTEGER
    input.Body.properties.networkProfile.preconfiguredNSG == enum_PreconfiguredNSG[_]
    input.Body.properties.masterProfile.vmSize == STRING
    input.Body.properties.masterProfile.subnetId == STRING
    input.Body.properties.masterProfile.encryptionAtHost == enum_EncryptionAtHost[_]
    input.Body.properties.masterProfile.diskEncryptionSetId == STRING
    input.Body.properties.workerProfiles[_].name == STRING
    input.Body.properties.workerProfiles[_].vmSize == STRING
    input.Body.properties.workerProfiles[_].diskSizeGB == INTEGER
    input.Body.properties.workerProfiles[_].subnetId == STRING
    input.Body.properties.workerProfiles[_].count == INTEGER
    input.Body.properties.workerProfiles[_].encryptionAtHost == enum_EncryptionAtHost[_]
    input.Body.properties.workerProfiles[_].diskEncryptionSetId == STRING
    input.Body.properties.apiserverProfile.visibility == enum_Visibility[_]
    input.Body.properties.ingressProfiles[_].name == STRING
    input.Body.properties.ingressProfiles[_].visibility == enum_Visibility[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OpenShiftClusters_Delete

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

OpenShiftClusters_Get

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

OpenShiftClusters_List

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

OpenShiftClusters_ListAdminCredentials

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

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

OpenShiftClusters_ListCredentials

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

OpenShiftClusters_Update

enum_EncryptionAtHost := [ "Disabled", "Enabled" ]
enum_FipsValidatedModules := [ "Disabled", "Enabled" ]
enum_OutboundType := [ "Loadbalancer", "UserDefinedRouting" ]
enum_PreconfiguredNSG := [ "Disabled", "Enabled" ]
enum_ProvisioningState := [ "AdminUpdating", "Canceled", "Creating", "Deleting", "Failed", "Succeeded", "Updating" ]
enum_Visibility := [ "Private", "Public" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.provisioningState == enum_ProvisioningState[_]
    input.Body.properties.clusterProfile.pullSecret == STRING
    input.Body.properties.clusterProfile.domain == STRING
    input.Body.properties.clusterProfile.version == STRING
    input.Body.properties.clusterProfile.resourceGroupId == STRING
    input.Body.properties.clusterProfile.fipsValidatedModules == enum_FipsValidatedModules[_]
    input.Body.properties.consoleProfile == {}
    input.Body.properties.servicePrincipalProfile.clientId == STRING
    input.Body.properties.servicePrincipalProfile.clientSecret == STRING
    input.Body.properties.networkProfile.podCidr == STRING
    input.Body.properties.networkProfile.serviceCidr == STRING
    input.Body.properties.networkProfile.outboundType == enum_OutboundType[_]
    input.Body.properties.networkProfile.loadBalancerProfile.managedOutboundIps.count == INTEGER
    input.Body.properties.networkProfile.preconfiguredNSG == enum_PreconfiguredNSG[_]
    input.Body.properties.masterProfile.vmSize == STRING
    input.Body.properties.masterProfile.subnetId == STRING
    input.Body.properties.masterProfile.encryptionAtHost == enum_EncryptionAtHost[_]
    input.Body.properties.masterProfile.diskEncryptionSetId == STRING
    input.Body.properties.workerProfiles[_].name == STRING
    input.Body.properties.workerProfiles[_].vmSize == STRING
    input.Body.properties.workerProfiles[_].diskSizeGB == INTEGER
    input.Body.properties.workerProfiles[_].subnetId == STRING
    input.Body.properties.workerProfiles[_].count == INTEGER
    input.Body.properties.workerProfiles[_].encryptionAtHost == enum_EncryptionAtHost[_]
    input.Body.properties.workerProfiles[_].diskEncryptionSetId == STRING
    input.Body.properties.apiserverProfile.visibility == enum_Visibility[_]
    input.Body.properties.ingressProfiles[_].name == STRING
    input.Body.properties.ingressProfiles[_].visibility == enum_Visibility[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OpenShiftVersions_List

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

Operations_List

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

Secrets_CreateOrUpdate

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

Secrets_Delete

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

Secrets_Get

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

Secrets_List

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

Secrets_Update

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

SyncIdentityProviders_CreateOrUpdate

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

SyncIdentityProviders_Delete

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

SyncIdentityProviders_Get

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

SyncIdentityProviders_List

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

SyncIdentityProviders_Update

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

SyncSets_CreateOrUpdate

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

SyncSets_Delete

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

SyncSets_Get

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

SyncSets_List

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

SyncSets_Update

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