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 7 months ago