MICROSOFT.HARDWARESECURITYMODULES

CloudHsmClusterPrivateEndpointConnections_Create

enum_PrivateEndpointServiceConnectionStatus := [ "Pending", "Approved", "Rejected" ]

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

CloudHsmClusterPrivateEndpointConnections_Delete

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

CloudHsmClusterPrivateEndpointConnections_Get

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

CloudHsmClusterPrivateLinkResources_ListByCloudHsmCluster

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

CloudHsmClusters_CreateOrUpdate

enum_CloudHsmClusterPropertiesProvisioningState := [ "Provisioning", "Succeeded", "Failed", "Deleting", "Canceled" ]
enum_CloudHsmClusterSkuFamily := [ "B" ]
enum_CloudHsmClusterSkuName := [ "Standard_B1", "Standard B10" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_PrivateEndpointServiceConnectionStatus := [ "Pending", "Approved", "Rejected" ]

valid {
    input.Body.properties.provisioningState == enum_CloudHsmClusterPropertiesProvisioningState[_]
    input.Body.properties.autoGeneratedDomainNameLabelScope == STRING
    input.Body.properties.securityDomain.fipsState == INTEGER
    input.Body.properties.securityDomain.activationStatus == STRING
    input.Body.properties.hsms[_].fqdn == STRING
    input.Body.properties.hsms[_].state == STRING
    input.Body.properties.hsms[_].stateMessage == STRING
    input.Body.properties.publicNetworkAccess == STRING
    input.Body.properties.privateEndpointConnections[_].properties.privateEndpoint == {}
    input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.status == enum_PrivateEndpointServiceConnectionStatus[_]
    input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateEndpointConnections[_].properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.Body.properties.privateEndpointConnections[_].etag == STRING
    input.Body.properties.privateEndpointConnections[_].STRING == STRING
    input.Body.properties.restoreProperties.foldername == STRING
    input.Body.properties.restoreProperties.azureStorageResourceUri == STRING
    input.Body.properties.backupProperties.azureStorageResourceUri == STRING
    input.Body.sku.family == enum_CloudHsmClusterSkuFamily[_]
    input.Body.sku.name == enum_CloudHsmClusterSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudHsmClusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CloudHsmClusters_Delete

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

CloudHsmClusters_Get

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

CloudHsmClusters_ListByResourceGroup

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

CloudHsmClusters_ListBySubscription

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

CloudHsmClusters_Update

enum_CloudHsmClusterSkuFamily := [ "B" ]
enum_CloudHsmClusterSkuName := [ "Standard_B1", "Standard B10" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.sku.family == enum_CloudHsmClusterSkuFamily[_]
    input.Body.sku.name == enum_CloudHsmClusterSkuName[_]
    input.Body.sku.capacity == INTEGER
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.properties.backupProperties.azureStorageResourceUri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.cloudHsmClusterName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedHsm_CreateOrUpdate

enum_SkuName := [ "SafeNet Luna Network HSM A790", "payShield10K_LMK1_CPS60", "payShield10K_LMK1_CPS250", "payShield10K_LMK1_CPS2500", "payShield10K_LMK2_CPS60", "payShield10K_LMK2_CPS250", "payShield10K_LMK2_CPS2500" ]

valid {
    input.Body.properties.networkProfile.subnet.id == STRING
    input.Body.properties.networkProfile.networkInterfaces[_].privateIpAddress == STRING
    input.Body.properties.managementNetworkProfile.subnet.id == STRING
    input.Body.properties.managementNetworkProfile.networkInterfaces[_].privateIpAddress == STRING
    input.Body.properties.stampId == STRING
    input.Body.location == STRING
    input.Body.sku.name == enum_SkuName[_]
    input.Body.zones[_] == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DedicatedHsm_Delete

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

DedicatedHsm_Get

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

DedicatedHsm_ListByResourceGroup

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

DedicatedHsm_ListBySubscription

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

DedicatedHsm_ListOutboundNetworkDependenciesEndpoints

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

DedicatedHsm_Update

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.name == STRING
    input.ReqMap.SubscriptionID == 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
}

PrivateEndpointConnections_ListByCloudHsmCluster

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