MICROSOFT.CONFIDENTIALLEDGER

CheckNameAvailability

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

Ledger_Backup

valid {
    input.Body.restoreRegion == STRING
    input.Body.uri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ledgerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Ledger_Create

enum_ConfidentialLedgerType := [ "Unknown", "Public", "Private" ]
enum_LedgerRoleName := [ "Reader", "Contributor", "Administrator" ]
enum_LedgerSku := [ "Standard", "Basic", "Unknown" ]
enum_RunningState := [ "Active", "Paused", "Unknown", "Pausing", "Resuming" ]

valid {
    input.Body.properties.runningState == enum_RunningState[_]
    input.Body.properties.ledgerType == enum_ConfidentialLedgerType[_]
    input.Body.properties.ledgerSku == enum_LedgerSku[_]
    input.Body.properties.aadBasedSecurityPrincipals[_].principalId == STRING
    input.Body.properties.aadBasedSecurityPrincipals[_].tenantId == STRING
    input.Body.properties.aadBasedSecurityPrincipals[_].ledgerRoleName == enum_LedgerRoleName[_]
    input.Body.properties.certBasedSecurityPrincipals[_].cert == STRING
    input.Body.properties.certBasedSecurityPrincipals[_].ledgerRoleName == enum_LedgerRoleName[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ledgerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Ledger_Delete

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

Ledger_Get

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

Ledger_ListByResourceGroup

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

Ledger_ListBySubscription

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

Ledger_Restore

valid {
    input.Body.fileShareName == STRING
    input.Body.restoreRegion == STRING
    input.Body.uri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ledgerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Ledger_Update

enum_ConfidentialLedgerType := [ "Unknown", "Public", "Private" ]
enum_LedgerRoleName := [ "Reader", "Contributor", "Administrator" ]
enum_LedgerSku := [ "Standard", "Basic", "Unknown" ]
enum_RunningState := [ "Active", "Paused", "Unknown", "Pausing", "Resuming" ]

valid {
    input.Body.properties.runningState == enum_RunningState[_]
    input.Body.properties.ledgerType == enum_ConfidentialLedgerType[_]
    input.Body.properties.ledgerSku == enum_LedgerSku[_]
    input.Body.properties.aadBasedSecurityPrincipals[_].principalId == STRING
    input.Body.properties.aadBasedSecurityPrincipals[_].tenantId == STRING
    input.Body.properties.aadBasedSecurityPrincipals[_].ledgerRoleName == enum_LedgerRoleName[_]
    input.Body.properties.certBasedSecurityPrincipals[_].cert == STRING
    input.Body.properties.certBasedSecurityPrincipals[_].ledgerRoleName == enum_LedgerRoleName[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ledgerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedCCF_Backup

valid {
    input.Body.restoreRegion == STRING
    input.Body.uri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedCCF_Create

enum_LanguageRuntime := [ "CPP", "JS" ]
enum_RunningState := [ "Active", "Paused", "Unknown", "Pausing", "Resuming" ]

valid {
    input.Body.properties.memberIdentityCertificates[_].certificate == STRING
    input.Body.properties.memberIdentityCertificates[_].encryptionkey == STRING
    input.Body.properties.memberIdentityCertificates[_].tags == {}
    input.Body.properties.deploymentType.languageRuntime == enum_LanguageRuntime[_]
    input.Body.properties.deploymentType.appSourceUri == STRING
    input.Body.properties.runningState == enum_RunningState[_]
    input.Body.properties.nodeCount == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedCCF_Delete

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

ManagedCCF_Get

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

ManagedCCF_ListByResourceGroup

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

ManagedCCF_ListBySubscription

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

ManagedCCF_Restore

valid {
    input.Body.fileShareName == STRING
    input.Body.restoreRegion == STRING
    input.Body.uri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.appName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ManagedCCF_Update

enum_LanguageRuntime := [ "CPP", "JS" ]
enum_RunningState := [ "Active", "Paused", "Unknown", "Pausing", "Resuming" ]

valid {
    input.Body.properties.memberIdentityCertificates[_].certificate == STRING
    input.Body.properties.memberIdentityCertificates[_].encryptionkey == STRING
    input.Body.properties.memberIdentityCertificates[_].tags == {}
    input.Body.properties.deploymentType.languageRuntime == enum_LanguageRuntime[_]
    input.Body.properties.deploymentType.appSourceUri == STRING
    input.Body.properties.runningState == enum_RunningState[_]
    input.Body.properties.nodeCount == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.appName == 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
}