Access_CreateRoleBinding

valid {
    input.Body.principal == STRING
    input.Body.role_name == STRING
    input.Body.crn_pattern == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Access_DeleteRoleBinding

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

Access_InviteUser

valid {
    input.Body.organizationId == STRING
    input.Body.email == STRING
    input.Body.upn == STRING
    input.Body.invitedUserDetails.invitedEmail == STRING
    input.Body.invitedUserDetails.auth_type == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Access_ListClusters

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

Access_ListEnvironments

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

Access_ListInvitations

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

Access_ListRoleBindingNameList

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

Access_ListRoleBindings

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

Access_ListServiceAccounts

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

Access_ListUsers

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

MarketplaceAgreements_Create

valid {
    input.Body.properties.publisher == STRING
    input.Body.properties.product == STRING
    input.Body.properties.plan == STRING
    input.Body.properties.licenseTextLink == STRING
    input.Body.properties.privacyPolicyLink == STRING
    input.Body.properties.retrieveDatetime == STRING
    input.Body.properties.signature == STRING
    input.Body.properties.accepted == BOOLEAN
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

MarketplaceAgreements_List

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

OrganizationOperations_List

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

Organization_Create

enum_SaaSOfferStatus := [ "Started", "PendingFulfillmentStart", "InProgress", "Subscribed", "Suspended", "Reinstated", "Succeeded", "Failed", "Unsubscribed", "Updating" ]

valid {
    input.Body.properties.offerDetail.publisherId == STRING
    input.Body.properties.offerDetail.id == STRING
    input.Body.properties.offerDetail.planId == STRING
    input.Body.properties.offerDetail.planName == STRING
    input.Body.properties.offerDetail.termUnit == STRING
    input.Body.properties.offerDetail.termId == STRING
    input.Body.properties.offerDetail.privateOfferId == STRING
    input.Body.properties.offerDetail.privateOfferIds[_] == STRING
    input.Body.properties.offerDetail.status == enum_SaaSOfferStatus[_]
    input.Body.properties.userDetail.firstName == STRING
    input.Body.properties.userDetail.lastName == STRING
    input.Body.properties.userDetail.emailAddress == STRING
    input.Body.properties.userDetail.userPrincipalName == STRING
    input.Body.properties.userDetail.aadEmail == STRING
    input.Body.properties.linkOrganization.token == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Organization_CreateAPIKey

valid {
    input.Body.name == STRING
    input.Body.description == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.ReqMap.environmentId == STRING
    input.ReqMap.clusterId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Organization_Delete

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

Organization_DeleteClusterAPIKey

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

Organization_Get

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

Organization_GetClusterAPIKey

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

Organization_GetClusterById

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

Organization_GetEnvironmentById

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

Organization_GetSchemaRegistryClusterById

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

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

Organization_ListBySubscription

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

Organization_ListClusters

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.ReqMap.environmentId == STRING
    input.Qs.api-version == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Organization_ListEnvironments

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.Qs.api-version == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Organization_ListRegions

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

Organization_ListSchemaRegistryClusters

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.ReqMap.environmentId == STRING
    input.Qs.api-version == STRING
    input.Qs.pageSize == INTEGER
    input.Qs.pageToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Organization_Update

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

Validations_ValidateOrganization

enum_SaaSOfferStatus := [ "Started", "PendingFulfillmentStart", "InProgress", "Subscribed", "Suspended", "Reinstated", "Succeeded", "Failed", "Unsubscribed", "Updating" ]

valid {
    input.Body.properties.offerDetail.publisherId == STRING
    input.Body.properties.offerDetail.id == STRING
    input.Body.properties.offerDetail.planId == STRING
    input.Body.properties.offerDetail.planName == STRING
    input.Body.properties.offerDetail.termUnit == STRING
    input.Body.properties.offerDetail.termId == STRING
    input.Body.properties.offerDetail.privateOfferId == STRING
    input.Body.properties.offerDetail.privateOfferIds[_] == STRING
    input.Body.properties.offerDetail.status == enum_SaaSOfferStatus[_]
    input.Body.properties.userDetail.firstName == STRING
    input.Body.properties.userDetail.lastName == STRING
    input.Body.properties.userDetail.emailAddress == STRING
    input.Body.properties.userDetail.userPrincipalName == STRING
    input.Body.properties.userDetail.aadEmail == STRING
    input.Body.properties.linkOrganization.token == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Validations_ValidateOrganizationV2

enum_SaaSOfferStatus := [ "Started", "PendingFulfillmentStart", "InProgress", "Subscribed", "Suspended", "Reinstated", "Succeeded", "Failed", "Unsubscribed", "Updating" ]

valid {
    input.Body.properties.offerDetail.publisherId == STRING
    input.Body.properties.offerDetail.id == STRING
    input.Body.properties.offerDetail.planId == STRING
    input.Body.properties.offerDetail.planName == STRING
    input.Body.properties.offerDetail.termUnit == STRING
    input.Body.properties.offerDetail.termId == STRING
    input.Body.properties.offerDetail.privateOfferId == STRING
    input.Body.properties.offerDetail.privateOfferIds[_] == STRING
    input.Body.properties.offerDetail.status == enum_SaaSOfferStatus[_]
    input.Body.properties.userDetail.firstName == STRING
    input.Body.properties.userDetail.lastName == STRING
    input.Body.properties.userDetail.emailAddress == STRING
    input.Body.properties.userDetail.userPrincipalName == STRING
    input.Body.properties.userDetail.aadEmail == STRING
    input.Body.properties.linkOrganization.token == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.organizationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}