MICROSOFT.NETWORKFUNCTION

AzureTrafficCollectorsByResourceGroup_List

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

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

AzureTrafficCollectorsBySubscription_List

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

AzureTrafficCollectors_CreateOrUpdate

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.Body.properties.virtualHub == {}
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AzureTrafficCollectors_Delete

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AzureTrafficCollectors_Get

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AzureTrafficCollectors_UpdateTags

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectorPolicies_CreateOrUpdate

enum_EmissionPoliciesPropertiesFormatEmissionType := [ "IPFIX" ]
enum_EmissionPolicyDestinationDestinationType := [ "AzureMonitor" ]
enum_IngestionPolicyPropertiesFormatIngestionType := [ "IPFIX" ]
enum_IngestionSourcesPropertiesFormatSourceType := [ "Resource" ]
enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.Body.properties.ingestionPolicy.ingestionType == enum_IngestionPolicyPropertiesFormatIngestionType[_]
    input.Body.properties.ingestionPolicy.ingestionSources[_].sourceType == enum_IngestionSourcesPropertiesFormatSourceType[_]
    input.Body.properties.ingestionPolicy.ingestionSources[_].resourceId == STRING
    input.Body.properties.emissionPolicies[_].emissionType == enum_EmissionPoliciesPropertiesFormatEmissionType[_]
    input.Body.properties.emissionPolicies[_].emissionDestinations[_].destinationType == enum_EmissionPolicyDestinationDestinationType[_]
    input.Body.location == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.ReqMap.collectorPolicyName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectorPolicies_Delete

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.ReqMap.collectorPolicyName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectorPolicies_Get

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.ReqMap.collectorPolicyName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectorPolicies_List

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CollectorPolicies_UpdateTags

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.Body.tags.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.azureTrafficCollectorName == STRING
    input.ReqMap.collectorPolicyName == STRING
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFunction_ListOperations

enum_apiVersionParameter := [ "2022-05-01", "2022-08-01", "2022-11-01" ]

valid {
    input.Qs.api-version == enum_apiVersionParameter[_]
    input.ProviderMetadata.Region == STRING
}