Get_TenantOptedIn

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

Operations_List

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

Post_DisableLockbox

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

Post_EnableLockbox

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

Requests_Get

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

Requests_List

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

Requests_UpdateStatus

enum_ApprovalStatus := [ "Approve", "Deny" ]

valid {
    input.Body.status == enum_ApprovalStatus[_]
    input.Body.reason == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.requestId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}