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
}Updated 6 days ago