MICROSOFT.POWERPLATFORM

Accounts_CreateOrUpdate

valid {
    input.Body.properties.description == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.accountName == STRING
    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
}

Accounts_Delete

valid {
    input.ReqMap.accountName == STRING
    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
}

Accounts_Get

valid {
    input.ReqMap.accountName == STRING
    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
}

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

Accounts_ListBySubscription

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

Accounts_Update

valid {
    input.Body.properties.description == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.accountName == STRING
    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
}

EnterprisePolicies_CreateOrUpdate

enum_EnterprisePolicyIdentityType := [ "SystemAssigned", "None" ]
enum_EnterprisePolicyKind := [ "Lockbox", "PrivateEndpoint", "Encryption", "NetworkInjection", "Identity" ]
enum_HealthStatus := [ "Undetermined", "Healthy", "Warning", "Unhealthy" ]
enum_state := [ "Enabled", "Disabled", "NotConfigured" ]

valid {
    input.Body.identity.type == enum_EnterprisePolicyIdentityType[_]
    input.Body.kind == enum_EnterprisePolicyKind[_]
    input.Body.properties.lockbox.state == enum_state[_]
    input.Body.properties.encryption.keyVault.id == STRING
    input.Body.properties.encryption.keyVault.key.name == STRING
    input.Body.properties.encryption.keyVault.key.version == STRING
    input.Body.properties.encryption.state == enum_state[_]
    input.Body.properties.networkInjection.virtualNetworks.value[_].id == STRING
    input.Body.properties.networkInjection.virtualNetworks.value[_].subnet.name == STRING
    input.Body.properties.networkInjection.virtualNetworks.nextLink == STRING
    input.Body.properties.healthStatus == enum_HealthStatus[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.enterprisePolicyName == STRING
    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
}

EnterprisePolicies_Delete

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

EnterprisePolicies_Get

valid {
    input.ReqMap.enterprisePolicyName == STRING
    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
}

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

EnterprisePolicies_ListBySubscription

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

EnterprisePolicies_Update

enum_EnterprisePolicyIdentityType := [ "SystemAssigned", "None" ]
enum_EnterprisePolicyKind := [ "Lockbox", "PrivateEndpoint", "Encryption", "NetworkInjection", "Identity" ]
enum_HealthStatus := [ "Undetermined", "Healthy", "Warning", "Unhealthy" ]
enum_state := [ "Enabled", "Disabled", "NotConfigured" ]

valid {
    input.Body.identity.type == enum_EnterprisePolicyIdentityType[_]
    input.Body.kind == enum_EnterprisePolicyKind[_]
    input.Body.properties.lockbox.state == enum_state[_]
    input.Body.properties.encryption.keyVault.id == STRING
    input.Body.properties.encryption.keyVault.key.name == STRING
    input.Body.properties.encryption.keyVault.key.version == STRING
    input.Body.properties.encryption.state == enum_state[_]
    input.Body.properties.networkInjection.virtualNetworks.value[_].id == STRING
    input.Body.properties.networkInjection.virtualNetworks.value[_].subnet.name == STRING
    input.Body.properties.networkInjection.virtualNetworks.nextLink == STRING
    input.Body.properties.healthStatus == enum_HealthStatus[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.enterprisePolicyName == STRING
    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
}

Operations_List

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

PrivateEndpointConnections_CreateOrUpdate

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.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.enterprisePolicyName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Delete

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

PrivateEndpointConnections_Get

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

PrivateEndpointConnections_ListByEnterprisePolicy

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

PrivateLinkResources_Get

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

PrivateLinkResources_ListByEnterprisePolicy

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