MICROSOFT.HYBRIDNETWORK

ArtifactManifests_CreateOrUpdate

enum_ArtifactType := [ "Unknown", "OCIArtifact", "VhdImageFile", "ArmTemplate", "ImageFile" ]

valid {
    input.Body.properties.artifacts[_].artifactName == STRING
    input.Body.properties.artifacts[_].artifactType == enum_ArtifactType[_]
    input.Body.properties.artifacts[_].artifactVersion == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.artifactStoreName == STRING
    input.ReqMap.artifactManifestName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ArtifactManifests_Delete

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

ArtifactManifests_Get

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

ArtifactManifests_ListByArtifactStore

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

ArtifactManifests_ListCredential

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

ArtifactManifests_Update

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

ArtifactManifests_UpdateState

enum_ArtifactManifestState := [ "Unknown", "Uploading", "Uploaded", "Validating", "ValidationFailed", "Succeeded" ]

valid {
    input.Body.artifactManifestState == enum_ArtifactManifestState[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.artifactStoreName == STRING
    input.ReqMap.artifactManifestName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ArtifactStores_CreateOrUpdate

enum_ArtifactStorePropertiesFormatReplicationStrategy := [ "Unknown", "SingleReplication" ]
enum_ArtifactStorePropertiesFormatStoreType := [ "Unknown", "AzureContainerRegistry", "AzureStorageAccount" ]

valid {
    input.Body.properties.storeType == enum_ArtifactStorePropertiesFormatStoreType[_]
    input.Body.properties.replicationStrategy == enum_ArtifactStorePropertiesFormatReplicationStrategy[_]
    input.Body.properties.managedResourceGroupConfiguration.name == STRING
    input.Body.properties.managedResourceGroupConfiguration.location == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.artifactStoreName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ArtifactStores_Delete

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

ArtifactStores_Get

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

ArtifactStores_ListByPublisher

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

ArtifactStores_Update

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

Components_Get

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

Components_ListByNetworkFunction

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

ConfigurationGroupSchemas_CreateOrUpdate

valid {
    input.Body.properties.description == STRING
    input.Body.properties.schemaDefinition == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.configurationGroupSchemaName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationGroupSchemas_Delete

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

ConfigurationGroupSchemas_Get

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

ConfigurationGroupSchemas_ListByPublisher

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

ConfigurationGroupSchemas_Update

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

ConfigurationGroupSchemas_updateState

enum_ConfigurationGroupSchemaVersionState := [ "Unknown", "Preview", "Active", "Deprecated" ]

valid {
    input.Body.versionState == enum_ConfigurationGroupSchemaVersionState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.configurationGroupSchemaName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationGroupValues_CreateOrUpdate

enum_IdType := [ "Unknown", "Open", "Secret" ]
enum_configurationGroupValueConfigurationType := [ "Unknown", "Secret", "Open" ]

valid {
    input.Body.properties.configurationGroupSchemaResourceReference.idType == enum_IdType[_]
    input.Body.properties.configurationType == enum_configurationGroupValueConfigurationType[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.configurationGroupValueName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ConfigurationGroupValues_Delete

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

ConfigurationGroupValues_Get

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

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

ConfigurationGroupValues_ListBySubscription

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

ConfigurationGroupValues_UpdateTags

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

Devices_CreateOrUpdate

enum_DevicePropertiesFormatDeviceType := [ "Unknown", "AzureStackEdge" ]

valid {
    input.Body.properties.deviceType == enum_DevicePropertiesFormatDeviceType[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.deviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Devices_Delete

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

Devices_Get

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

Devices_ListByResourceGroup

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

Devices_ListBySubscription

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

Devices_ListRegistrationKey

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

Devices_UpdateTags

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

NetworkFunctionDefinitionGroups_CreateOrUpdate

valid {
    input.Body.properties.description == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.networkFunctionDefinitionGroupName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFunctionDefinitionGroups_Delete

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

NetworkFunctionDefinitionGroups_Get

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

NetworkFunctionDefinitionGroups_ListByPublisher

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

NetworkFunctionDefinitionGroups_Update

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

NetworkFunctionDefinitionVersions_CreateOrUpdate

enum_NetworkFunctionType := [ "Unknown", "VirtualNetworkFunction", "ContainerizedNetworkFunction" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.deployParameters == STRING
    input.Body.properties.networkFunctionType == enum_NetworkFunctionType[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.networkFunctionDefinitionGroupName == STRING
    input.ReqMap.networkFunctionDefinitionVersionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFunctionDefinitionVersions_Delete

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

NetworkFunctionDefinitionVersions_Get

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

NetworkFunctionDefinitionVersions_ListByNetworkFunctionDefinitionGroup

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

NetworkFunctionDefinitionVersions_Update

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

NetworkFunctionDefinitionVersions_updateState

enum_VersionState := [ "Unknown", "Preview", "Validating", "ValidationFailed", "Active", "Deprecated" ]

valid {
    input.Body.versionState == enum_VersionState[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.networkFunctionDefinitionGroupName == STRING
    input.ReqMap.networkFunctionDefinitionVersionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFunctionVendorSkus_ListByVendor

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

NetworkFunctions_CreateOrUpdate

enum_IdType := [ "Unknown", "Open", "Secret" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_NFVIType := [ "Unknown", "AzureArcKubernetes", "AzureCore", "AzureOperatorNexus" ]
enum_NetworkFunctionConfigurationType := [ "Unknown", "Secret", "Open" ]

valid {
    input.Body.properties.networkFunctionDefinitionVersionResourceReference.idType == enum_IdType[_]
    input.Body.properties.nfviType == enum_NFVIType[_]
    input.Body.properties.nfviId == STRING
    input.Body.properties.allowSoftwareUpdate == BOOLEAN
    input.Body.properties.configurationType == enum_NetworkFunctionConfigurationType[_]
    input.Body.properties.roleOverrideValues[_] == STRING
    input.Body.etag == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFunctionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFunctions_Delete

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

NetworkFunctions_ExecuteRequest

enum_RequestMetadataHttpMethod := [ "Unknown", "Post", "Put", "Get", "Patch", "Delete" ]

valid {
    input.Body.serviceEndpoint == STRING
    input.Body.requestMetadata.relativePath == STRING
    input.Body.requestMetadata.httpMethod == enum_RequestMetadataHttpMethod[_]
    input.Body.requestMetadata.serializedBody == STRING
    input.Body.requestMetadata.apiVersion == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFunctionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFunctions_Get

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

NetworkFunctions_ListByResourceGroup

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

NetworkFunctions_ListBySubscription

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

NetworkFunctions_UpdateTags

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

NetworkServiceDesignGroups_CreateOrUpdate

valid {
    input.Body.properties.description == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.networkServiceDesignGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkServiceDesignGroups_Delete

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

NetworkServiceDesignGroups_Get

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

NetworkServiceDesignGroups_ListByPublisher

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

NetworkServiceDesignGroups_Update

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

NetworkServiceDesignVersions_CreateOrUpdate

enum_Type := [ "Unknown", "ArmResourceDefinition", "NetworkFunctionDefinition" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.configurationGroupSchemaReferences.STRING.id == STRING
    input.Body.properties.nfvisFromSite.STRING.name == STRING
    input.Body.properties.nfvisFromSite.STRING.type == STRING
    input.Body.properties.resourceElementTemplates[_].name == STRING
    input.Body.properties.resourceElementTemplates[_].type == enum_Type[_]
    input.Body.properties.resourceElementTemplates[_].dependsOnProfile.installDependsOn[_] == STRING
    input.Body.properties.resourceElementTemplates[_].dependsOnProfile.uninstallDependsOn[_] == STRING
    input.Body.properties.resourceElementTemplates[_].dependsOnProfile.updateDependsOn[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.networkServiceDesignGroupName == STRING
    input.ReqMap.networkServiceDesignVersionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkServiceDesignVersions_Delete

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

NetworkServiceDesignVersions_Get

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

NetworkServiceDesignVersions_ListByNetworkServiceDesignGroup

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

NetworkServiceDesignVersions_Update

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

NetworkServiceDesignVersions_updateState

enum_NSDVersionState := [ "Unknown", "Preview", "Active", "Deprecated" ]

valid {
    input.Body.versionState == enum_NSDVersionState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.networkServiceDesignGroupName == STRING
    input.ReqMap.networkServiceDesignVersionName == 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
}

ProxyArtifact_Get

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

ProxyArtifact_List

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

ProxyArtifact_UpdateState

enum_ArtifactState := [ "Unknown", "Preview", "Active", "Deprecated" ]

valid {
    input.Body.properties.artifactState == enum_ArtifactState[_]
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.artifactStoreName == STRING
    input.ReqMap.artifactVersionName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.artifactName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Publishers_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_PublisherScope := [ "Unknown", "Private" ]

valid {
    input.Body.properties.scope == enum_PublisherScope[_]
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.publisherName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Publishers_Delete

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

Publishers_Get

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

Publishers_ListByResourceGroup

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

Publishers_ListBySubscription

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

Publishers_Update

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

RoleInstances_Get

valid {
    input.ReqMap.locationName == STRING
    input.ReqMap.vendorName == STRING
    input.ReqMap.serviceKey == STRING
    input.ReqMap.roleInstanceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RoleInstances_List

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

RoleInstances_Restart

valid {
    input.ReqMap.locationName == STRING
    input.ReqMap.vendorName == STRING
    input.ReqMap.serviceKey == STRING
    input.ReqMap.roleInstanceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RoleInstances_Start

valid {
    input.ReqMap.locationName == STRING
    input.ReqMap.vendorName == STRING
    input.ReqMap.serviceKey == STRING
    input.ReqMap.roleInstanceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

RoleInstances_Stop

valid {
    input.ReqMap.locationName == STRING
    input.ReqMap.vendorName == STRING
    input.ReqMap.serviceKey == STRING
    input.ReqMap.roleInstanceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

SiteNetworkServices_CreateOrUpdate

enum_IdType := [ "Unknown", "Open", "Secret" ]
enum_ManagedServiceIdentityType := [ "None", "SystemAssigned", "UserAssigned", "SystemAssigned,UserAssigned" ]
enum_SkuName := [ "Basic", "Standard" ]

valid {
    input.Body.properties.managedResourceGroupConfiguration.name == STRING
    input.Body.properties.managedResourceGroupConfiguration.location == STRING
    input.Body.properties.siteReference.id == STRING
    input.Body.properties.networkServiceDesignVersionResourceReference.idType == enum_IdType[_]
    input.Body.properties.desiredStateConfigurationGroupValueReferences.STRING.id == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.sku.name == enum_SkuName[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteNetworkServiceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SiteNetworkServices_Delete

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

SiteNetworkServices_Get

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

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

SiteNetworkServices_ListBySubscription

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

SiteNetworkServices_UpdateTags

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

Sites_CreateOrUpdate

enum_NFVIType := [ "Unknown", "AzureArcKubernetes", "AzureCore", "AzureOperatorNexus" ]

valid {
    input.Body.properties.nfvis[_].name == STRING
    input.Body.properties.nfvis[_].nfviType == enum_NFVIType[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.siteName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Sites_Delete

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

Sites_Get

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

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

Sites_ListBySubscription

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

Sites_UpdateTags

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

VendorNetworkFunctions_CreateOrUpdate

enum_NetworkInterfaceIPConfigurationIpAllocationMethod := [ "Unknown", "Static", "Dynamic" ]
enum_NetworkInterfaceIPConfigurationIpVersion := [ "Unknown", "IPv4" ]
enum_NetworkInterfaceVmSwitchType := [ "Unknown", "Management", "Wan", "Lan" ]
enum_VendorProvisioningState := [ "Unknown", "NotProvisioned", "Provisioning", "Provisioned", "Deprovisioned", "UserDataValidationFailed" ]

valid {
    input.Body.properties.vendorProvisioningState == enum_VendorProvisioningState[_]
    input.Body.properties.networkFunctionVendorConfigurations[_].roleName == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].osProfile.adminUsername == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].osProfile.linuxConfiguration.ssh.publicKeys[_].path == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].osProfile.linuxConfiguration.ssh.publicKeys[_].keyData == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].osProfile.customData == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].osProfile.customDataRequired == BOOLEAN
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].networkInterfaceName == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].macAddress == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].ipConfigurations[_].ipAllocationMethod == enum_NetworkInterfaceIPConfigurationIpAllocationMethod[_]
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].ipConfigurations[_].ipAddress == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].ipConfigurations[_].subnet == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].ipConfigurations[_].gateway == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].ipConfigurations[_].ipVersion == enum_NetworkInterfaceIPConfigurationIpVersion[_]
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].ipConfigurations[_].dnsServers[_] == STRING
    input.Body.properties.networkFunctionVendorConfigurations[_].networkInterfaces[_].vmSwitchType == enum_NetworkInterfaceVmSwitchType[_]
    input.Body.STRING == STRING
    input.ReqMap.locationName == STRING
    input.ReqMap.vendorName == STRING
    input.ReqMap.serviceKey == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

VendorNetworkFunctions_Get

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

VendorNetworkFunctions_List

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

VendorSkuPreview_CreateOrUpdate

valid {
    input.Body.properties == {}
    input.ReqMap.vendorName == STRING
    input.ReqMap.skuName == STRING
    input.ReqMap.previewSubscription == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

VendorSkuPreview_Delete

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

VendorSkuPreview_Get

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

VendorSkuPreview_List

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

VendorSkus_CreateOrUpdate

enum_DataDiskCreateOption := [ "Unknown", "Empty" ]
enum_NetworkFunctionRoleConfigurationRoleType := [ "Unknown", "VirtualMachine" ]
enum_NetworkFunctionRoleConfigurationVirtualMachineSize := [ "Unknown", "Standard_D1_v2", "Standard_D2_v2", "Standard_D3_v2", "Standard_D4_v2", "Standard_D5_v2", "Standard_D11_v2", "Standard_D12_v2", "Standard_D13_v2", "Standard_DS1_v2", "Standard_DS2_v2", "Standard_DS3_v2", "Standard_DS4_v2", "Standard_DS5_v2", "Standard_DS11_v2", "Standard_DS12_v2", "Standard_DS13_v2", "Standard_F1", "Standard_F2", "Standard_F4", "Standard_F8", "Standard_F16", "Standard_F1s", "Standard_F2s", "Standard_F4s", "Standard_F8s", "Standard_F16s" ]
enum_NetworkInterfaceIPConfigurationIpAllocationMethod := [ "Unknown", "Static", "Dynamic" ]
enum_NetworkInterfaceIPConfigurationIpVersion := [ "Unknown", "IPv4" ]
enum_NetworkInterfaceVmSwitchType := [ "Unknown", "Management", "Wan", "Lan" ]
enum_OsDiskOsType := [ "Unknown", "Windows", "Linux" ]
enum_SkuType := [ "Unknown", "EvolvedPacketCore", "SDWAN", "Firewall" ]
enum_VendorSkuPropertiesFormatDeploymentMode := [ "Unknown", "Azure", "PrivateEdgeZone" ]
enum_VendorSkuPropertiesFormatNetworkFunctionType := [ "Unknown", "VirtualNetworkFunction", "ContainerizedNetworkFunction" ]

valid {
    input.Body.properties.skuType == enum_SkuType[_]
    input.Body.properties.deploymentMode == enum_VendorSkuPropertiesFormatDeploymentMode[_]
    input.Body.properties.networkFunctionType == enum_VendorSkuPropertiesFormatNetworkFunctionType[_]
    input.Body.properties.preview == BOOLEAN
    input.Body.properties.managedApplicationParameters.STRING == STRING
    input.Body.properties.managedApplicationTemplate.STRING == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].roleName == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].roleType == enum_NetworkFunctionRoleConfigurationRoleType[_]
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].virtualMachineSize == enum_NetworkFunctionRoleConfigurationVirtualMachineSize[_]
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].osProfile.adminUsername == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].osProfile.linuxConfiguration.ssh.publicKeys[_].path == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].osProfile.linuxConfiguration.ssh.publicKeys[_].keyData == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].osProfile.customData == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].osProfile.customDataRequired == BOOLEAN
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].userDataTemplate.STRING == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].userDataParameters.STRING == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].networkInterfaceName == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].macAddress == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].ipConfigurations[_].ipAllocationMethod == enum_NetworkInterfaceIPConfigurationIpAllocationMethod[_]
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].ipConfigurations[_].ipAddress == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].ipConfigurations[_].subnet == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].ipConfigurations[_].gateway == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].ipConfigurations[_].ipVersion == enum_NetworkInterfaceIPConfigurationIpVersion[_]
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].ipConfigurations[_].dnsServers[_] == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].networkInterfaces[_].vmSwitchType == enum_NetworkInterfaceVmSwitchType[_]
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.imageReference.publisher == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.imageReference.offer == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.imageReference.sku == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.imageReference.version == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.imageReference.exactVersion == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.osDisk.osType == enum_OsDiskOsType[_]
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.osDisk.name == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.osDisk.vhd.uri == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.osDisk.diskSizeGB == INTEGER
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.dataDisks[_].createOption == enum_DataDiskCreateOption[_]
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.dataDisks[_].name == STRING
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].storageProfile.dataDisks[_].diskSizeGB == INTEGER
    input.Body.properties.networkFunctionTemplate.networkFunctionRoleConfigurations[_].customProfile.metadataConfigurationPath == STRING
    input.Body.STRING == STRING
    input.ReqMap.vendorName == STRING
    input.ReqMap.skuName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

VendorSkus_Delete

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

VendorSkus_Get

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

VendorSkus_List

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

VendorSkus_ListCredential

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

Vendors_CreateOrUpdate

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

Vendors_Delete

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

Vendors_Get

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

Vendors_ListBySubscription

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

networkFunctionVendorSkus_ListBySku

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

networkFunctionVendors_List

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