MICROSOFT.MANAGEDNETWORKFABRIC

docs.microsoft.com

AccessControlLists_Create

enum_AccessControlListActionType := [ "Drop", "Count", "Log" ]
enum_AccessControlListPatchablePropertiesConfigurationType := [ "File", "Inline" ]
enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_IPAddressTypeEnumProperty := [ "IPv4", "IPv6" ]
enum_IpMatchConditionPrefixType := [ "Prefix", "LongestPrefix" ]
enum_IpMatchConditionType := [ "SourceIP", "DestinationIP" ]
enum_PortConditionLayer4Protocol := [ "TCP", "UDP" ]
enum_PortConditionPortType := [ "SourcePort", "DestinationPort" ]

valid {
    input.Body.properties.annotation == STRING
    input.Body.properties.configurationType == enum_AccessControlListPatchablePropertiesConfigurationType[_]
    input.Body.properties.aclsUrl == STRING
    input.Body.properties.defaultAction == enum_CommunityActionTypes[_]
    input.Body.properties.matchConfigurations[_].matchConfigurationName == STRING
    input.Body.properties.matchConfigurations[_].sequenceNumber == INTEGER
    input.Body.properties.matchConfigurations[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].etherTypes[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].fragments[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipLengths[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ttlValues[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].dscpMarkings[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.flags[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.portType == enum_PortConditionPortType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.layer4Protocol == enum_PortConditionLayer4Protocol[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.ports[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.portGroupNames[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].protocolTypes[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].vlanMatchCondition.vlans[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].vlanMatchCondition.innerVlans[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].vlanMatchCondition.vlanGroupNames[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.type == enum_IpMatchConditionType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.prefixType == enum_IpMatchConditionPrefixType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.ipPrefixValues[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.ipGroupNames[_] == STRING
    input.Body.properties.matchConfigurations[_].actions[_].type == enum_AccessControlListActionType[_]
    input.Body.properties.matchConfigurations[_].actions[_].counterName == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipPrefixes[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].vlans[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].ports[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accessControlListName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AccessControlLists_Delete

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

AccessControlLists_Get

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

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

AccessControlLists_ListBySubscription

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

AccessControlLists_Resync

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

AccessControlLists_Update

enum_AccessControlListActionType := [ "Drop", "Count", "Log" ]
enum_AccessControlListPatchablePropertiesConfigurationType := [ "File", "Inline" ]
enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_IPAddressTypeEnumProperty := [ "IPv4", "IPv6" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.configurationType == enum_AccessControlListPatchablePropertiesConfigurationType[_]
    input.Body.properties.aclsUrl == STRING
    input.Body.properties.defaultAction == enum_CommunityActionTypes[_]
    input.Body.properties.matchConfigurations[_].matchConfigurationName == STRING
    input.Body.properties.matchConfigurations[_].sequenceNumber == INTEGER
    input.Body.properties.matchConfigurations[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].etherTypes[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].fragments[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipLengths[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ttlValues[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].dscpMarkings[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.flags[_] == STRING
    input.Body.properties.matchConfigurations[_].actions[_].type == enum_AccessControlListActionType[_]
    input.Body.properties.matchConfigurations[_].actions[_].counterName == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipPrefixes[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].vlans[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].ports[_] == STRING
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accessControlListName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AccessControlLists_UpdateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.accessControlListName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AccessControlLists_ValidateConfiguration

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

ExternalNetworks_Create

enum_PeeringOption := [ "OptionA", "OptionB" ]

valid {
    input.Body.properties.peeringOption == enum_PeeringOption[_]
    input.Body.properties.optionBProperties.importRouteTargets[_] == STRING
    input.Body.properties.optionBProperties.exportRouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.importIpv4RouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.importIpv6RouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.exportIpv4RouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.exportIpv6RouteTargets[_] == STRING
    input.Body.properties.optionAProperties.STRING == STRING
    input.Body.properties.optionAProperties.primaryIpv4Prefix == STRING
    input.Body.properties.optionAProperties.primaryIpv6Prefix == STRING
    input.Body.properties.optionAProperties.secondaryIpv4Prefix == STRING
    input.Body.properties.optionAProperties.secondaryIpv6Prefix == STRING
    input.Body.properties.optionAProperties.mtu == INTEGER
    input.Body.properties.optionAProperties.vlanId == INTEGER
    input.Body.properties.optionAProperties.peerASN == INTEGER
    input.Body.properties.optionAProperties.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.optionAProperties.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.optionAProperties.ingressAclId == STRING
    input.Body.properties.optionAProperties.egressAclId == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.networkToNetworkInterconnectId == STRING
    input.Body.properties.importRoutePolicyId == STRING
    input.Body.properties.exportRoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv4RoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv6RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExternalNetworks_Delete

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

ExternalNetworks_Get

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

ExternalNetworks_ListByL3IsolationDomain

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

ExternalNetworks_Update

enum_PeeringOption := [ "OptionA", "OptionB" ]

valid {
    input.Body.properties.peeringOption == enum_PeeringOption[_]
    input.Body.properties.optionBProperties.importRouteTargets[_] == STRING
    input.Body.properties.optionBProperties.exportRouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.importIpv4RouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.importIpv6RouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.exportIpv4RouteTargets[_] == STRING
    input.Body.properties.optionBProperties.routeTargets.exportIpv6RouteTargets[_] == STRING
    input.Body.properties.optionAProperties.STRING == STRING
    input.Body.properties.optionAProperties.primaryIpv4Prefix == STRING
    input.Body.properties.optionAProperties.primaryIpv6Prefix == STRING
    input.Body.properties.optionAProperties.secondaryIpv4Prefix == STRING
    input.Body.properties.optionAProperties.secondaryIpv6Prefix == STRING
    input.Body.properties.optionAProperties.mtu == INTEGER
    input.Body.properties.optionAProperties.vlanId == INTEGER
    input.Body.properties.optionAProperties.peerASN == INTEGER
    input.Body.properties.optionAProperties.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.optionAProperties.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.optionAProperties.ingressAclId == STRING
    input.Body.properties.optionAProperties.egressAclId == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.networkToNetworkInterconnectId == STRING
    input.Body.properties.importRoutePolicyId == STRING
    input.Body.properties.exportRoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv4RoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv6RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExternalNetworks_UpdateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExternalNetworks_UpdateStaticRouteBfdAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExternalNetworks_clearArpEntries

valid {
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExternalNetworks_clearIpv6Neighbors

valid {
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExternalNetworks_updateBfdForBgpAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ExternalNetworks_updateBgpAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.externalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_Create

enum_BgpConfigurationAllowASOverride := [ "Enable", "Disable" ]
enum_BooleanEnumProperty := [ "True", "False" ]
enum_ExtensionEnumPropertyExtension := [ "NoExtension", "NPB" ]
enum_InternalNetworkPatchablePropertiesIsMonitoringEnabled := [ "True", "False" ]

valid {
    input.Body.properties.vlanId == INTEGER
    input.Body.properties.bgpConfiguration.STRING == STRING
    input.Body.properties.bgpConfiguration.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.bgpConfiguration.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.bgpConfiguration.defaultRouteOriginate == enum_BooleanEnumProperty[_]
    input.Body.properties.bgpConfiguration.allowAS == INTEGER
    input.Body.properties.bgpConfiguration.allowASOverride == enum_BgpConfigurationAllowASOverride[_]
    input.Body.properties.bgpConfiguration.peerASN == INTEGER
    input.Body.properties.bgpConfiguration.ipv4ListenRangePrefixes[_] == STRING
    input.Body.properties.bgpConfiguration.ipv6ListenRangePrefixes[_] == STRING
    input.Body.properties.bgpConfiguration.ipv4NeighborAddress[_].address == STRING
    input.Body.properties.bgpConfiguration.ipv6NeighborAddress[_].address == STRING
    input.Body.properties.bgpConfiguration.annotation == STRING
    input.Body.properties.staticRouteConfiguration.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.staticRouteConfiguration.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.staticRouteConfiguration.ipv4Routes[_].prefix == STRING
    input.Body.properties.staticRouteConfiguration.ipv4Routes[_].nextHop[_] == STRING
    input.Body.properties.staticRouteConfiguration.ipv6Routes[_].prefix == STRING
    input.Body.properties.staticRouteConfiguration.ipv6Routes[_].nextHop[_] == STRING
    input.Body.properties.staticRouteConfiguration.extension == enum_ExtensionEnumPropertyExtension[_]
    input.Body.properties.annotation == STRING
    input.Body.properties.mtu == INTEGER
    input.Body.properties.connectedIPv4Subnets[_].prefix == STRING
    input.Body.properties.connectedIPv4Subnets[_].annotation == STRING
    input.Body.properties.connectedIPv6Subnets[_].prefix == STRING
    input.Body.properties.importRoutePolicyId == STRING
    input.Body.properties.exportRoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv4RoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv6RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.Body.properties.ingressAclId == STRING
    input.Body.properties.egressAclId == STRING
    input.Body.properties.isMonitoringEnabled == enum_InternalNetworkPatchablePropertiesIsMonitoringEnabled[_]
    input.Body.properties.extension == enum_ExtensionEnumPropertyExtension[_]
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_Delete

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

InternalNetworks_Get

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

InternalNetworks_ListByL3IsolationDomain

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

InternalNetworks_Update

enum_BgpConfigurationAllowASOverride := [ "Enable", "Disable" ]
enum_BooleanEnumProperty := [ "True", "False" ]
enum_InternalNetworkPatchablePropertiesIsMonitoringEnabled := [ "True", "False" ]

valid {
    input.Body.properties.bgpConfiguration.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.bgpConfiguration.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.bgpConfiguration.defaultRouteOriginate == enum_BooleanEnumProperty[_]
    input.Body.properties.bgpConfiguration.allowAS == INTEGER
    input.Body.properties.bgpConfiguration.allowASOverride == enum_BgpConfigurationAllowASOverride[_]
    input.Body.properties.bgpConfiguration.peerASN == INTEGER
    input.Body.properties.bgpConfiguration.ipv4ListenRangePrefixes[_] == STRING
    input.Body.properties.bgpConfiguration.ipv6ListenRangePrefixes[_] == STRING
    input.Body.properties.bgpConfiguration.ipv4NeighborAddress[_].address == STRING
    input.Body.properties.bgpConfiguration.ipv6NeighborAddress[_].address == STRING
    input.Body.properties.staticRouteConfiguration.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.staticRouteConfiguration.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.staticRouteConfiguration.ipv4Routes[_].prefix == STRING
    input.Body.properties.staticRouteConfiguration.ipv4Routes[_].nextHop[_] == STRING
    input.Body.properties.staticRouteConfiguration.ipv6Routes[_].prefix == STRING
    input.Body.properties.staticRouteConfiguration.ipv6Routes[_].nextHop[_] == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.mtu == INTEGER
    input.Body.properties.connectedIPv4Subnets[_].prefix == STRING
    input.Body.properties.connectedIPv6Subnets[_].prefix == STRING
    input.Body.properties.importRoutePolicyId == STRING
    input.Body.properties.exportRoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv4RoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv6RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.Body.properties.ingressAclId == STRING
    input.Body.properties.egressAclId == STRING
    input.Body.properties.isMonitoringEnabled == enum_InternalNetworkPatchablePropertiesIsMonitoringEnabled[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_UpdateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_UpdateBgpAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_UpdateStaticRouteBfdAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_clearArpEntries

valid {
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_clearIpv6Neighbors

valid {
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_updateBfdForBgpAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternalNetworks_updateBfdForStaticRouteAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.ReqMap.internalNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternetGatewayRules_Create

enum_RulePropertiesAction := [ "Allow", "Deny" ]

valid {
    input.Body.properties.ruleProperties.action == enum_RulePropertiesAction[_]
    input.Body.properties.ruleProperties.addressList[_] == STRING
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.internetGatewayRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternetGatewayRules_Delete

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

InternetGatewayRules_Get

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

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

InternetGatewayRules_ListBySubscription

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

InternetGatewayRules_Update

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

InternetGateways_Create

enum_InternetGatewayPropertiesType := [ "Infrastructure", "Workload" ]

valid {
    input.Body.properties.type == enum_InternetGatewayPropertiesType[_]
    input.Body.properties.networkFabricControllerId == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.internetGatewayRuleId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.internetGatewayName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InternetGateways_Delete

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

InternetGateways_Get

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

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

InternetGateways_ListBySubscription

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

InternetGateways_Update

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

IpCommunities_Create

enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_IpCommunityRuleWellKnownCommunities := [ "Internet", "LocalAS", "NoAdvertise", "NoExport", "GShut" ]

valid {
    input.Body.properties.annotation == STRING
    input.Body.properties.ipCommunityRules[_].action == enum_CommunityActionTypes[_]
    input.Body.properties.ipCommunityRules[_].sequenceNumber == INTEGER
    input.Body.properties.ipCommunityRules[_].wellKnownCommunities[_] == enum_IpCommunityRuleWellKnownCommunities[_]
    input.Body.properties.ipCommunityRules[_].communityMembers[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ipCommunityName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IpCommunities_Delete

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

IpCommunities_Get

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

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

IpCommunities_ListBySubscription

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

IpCommunities_Update

enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_IpCommunityRuleWellKnownCommunities := [ "Internet", "LocalAS", "NoAdvertise", "NoExport", "GShut" ]

valid {
    input.Body.properties.ipCommunityRules[_].action == enum_CommunityActionTypes[_]
    input.Body.properties.ipCommunityRules[_].sequenceNumber == INTEGER
    input.Body.properties.ipCommunityRules[_].wellKnownCommunities[_] == enum_IpCommunityRuleWellKnownCommunities[_]
    input.Body.properties.ipCommunityRules[_].communityMembers[_] == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ipCommunityName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IpExtendedCommunities_Create

enum_CommunityActionTypes := [ "Permit", "Deny" ]

valid {
    input.Body.properties.annotation == STRING
    input.Body.properties.ipExtendedCommunityRules[_].action == enum_CommunityActionTypes[_]
    input.Body.properties.ipExtendedCommunityRules[_].sequenceNumber == INTEGER
    input.Body.properties.ipExtendedCommunityRules[_].routeTargets[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ipExtendedCommunityName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IpExtendedCommunities_Delete

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

IpExtendedCommunities_Get

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

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

IpExtendedCommunities_ListBySubscription

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

IpExtendedCommunities_Update

enum_CommunityActionTypes := [ "Permit", "Deny" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.ipExtendedCommunityRules[_].action == enum_CommunityActionTypes[_]
    input.Body.properties.ipExtendedCommunityRules[_].sequenceNumber == INTEGER
    input.Body.properties.ipExtendedCommunityRules[_].routeTargets[_] == STRING
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ipExtendedCommunityName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IpPrefixes_Create

enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_IpPrefixRuleCondition := [ "EqualTo", "GreaterThanOrEqualTo", "LesserThanOrEqualTo", "Range" ]

valid {
    input.Body.properties.annotation == STRING
    input.Body.properties.ipPrefixRules[_].action == enum_CommunityActionTypes[_]
    input.Body.properties.ipPrefixRules[_].sequenceNumber == INTEGER
    input.Body.properties.ipPrefixRules[_].networkPrefix == STRING
    input.Body.properties.ipPrefixRules[_].condition == enum_IpPrefixRuleCondition[_]
    input.Body.properties.ipPrefixRules[_].subnetMaskLength == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ipPrefixName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

IpPrefixes_Delete

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

IpPrefixes_Get

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

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

IpPrefixes_ListBySubscription

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

IpPrefixes_Update

enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_IpPrefixRuleCondition := [ "EqualTo", "GreaterThanOrEqualTo", "LesserThanOrEqualTo", "Range" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.ipPrefixRules[_].action == enum_CommunityActionTypes[_]
    input.Body.properties.ipPrefixRules[_].sequenceNumber == INTEGER
    input.Body.properties.ipPrefixRules[_].networkPrefix == STRING
    input.Body.properties.ipPrefixRules[_].condition == enum_IpPrefixRuleCondition[_]
    input.Body.properties.ipPrefixRules[_].subnetMaskLength == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.ipPrefixName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L2IsolationDomains_CommitConfiguration

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

L2IsolationDomains_Create

valid {
    input.Body.properties.networkFabricId == STRING
    input.Body.properties.vlanId == INTEGER
    input.Body.properties.mtu == INTEGER
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l2IsolationDomainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L2IsolationDomains_Delete

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

L2IsolationDomains_Get

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

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

L2IsolationDomains_ListBySubscription

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

L2IsolationDomains_Update

valid {
    input.Body.properties.mtu == INTEGER
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l2IsolationDomainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L2IsolationDomains_ValidateConfiguration

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

L2IsolationDomains_clearArpTable

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

L2IsolationDomains_clearNeighborTable

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

L2IsolationDomains_getArpEntries

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

L2IsolationDomains_updateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l2IsolationDomainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L3IsolationDomains_CommitConfiguration

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

L3IsolationDomains_Create

enum_L3IsolationDomainPatchablePropertiesRedistributeConnectedSubnets := [ "True", "False" ]
enum_L3IsolationDomainPatchablePropertiesRedistributeStaticRoutes := [ "True", "False" ]

valid {
    input.Body.properties.networkFabricId == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.redistributeConnectedSubnets == enum_L3IsolationDomainPatchablePropertiesRedistributeConnectedSubnets[_]
    input.Body.properties.redistributeStaticRoutes == enum_L3IsolationDomainPatchablePropertiesRedistributeStaticRoutes[_]
    input.Body.properties.aggregateRouteConfiguration.ipv4Routes[_].prefix == STRING
    input.Body.properties.aggregateRouteConfiguration.ipv6Routes[_].prefix == STRING
    input.Body.properties.connectedSubnetRoutePolicy.exportRoutePolicyId == STRING
    input.Body.properties.connectedSubnetRoutePolicy.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.connectedSubnetRoutePolicy.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L3IsolationDomains_Delete

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

L3IsolationDomains_Get

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

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

L3IsolationDomains_ListBySubscription

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

L3IsolationDomains_Update

enum_L3IsolationDomainPatchablePropertiesRedistributeConnectedSubnets := [ "True", "False" ]
enum_L3IsolationDomainPatchablePropertiesRedistributeStaticRoutes := [ "True", "False" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.redistributeConnectedSubnets == enum_L3IsolationDomainPatchablePropertiesRedistributeConnectedSubnets[_]
    input.Body.properties.redistributeStaticRoutes == enum_L3IsolationDomainPatchablePropertiesRedistributeStaticRoutes[_]
    input.Body.properties.aggregateRouteConfiguration.ipv4Routes[_].prefix == STRING
    input.Body.properties.aggregateRouteConfiguration.ipv6Routes[_].prefix == STRING
    input.Body.properties.connectedSubnetRoutePolicy.exportRoutePolicyId == STRING
    input.Body.properties.connectedSubnetRoutePolicy.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.connectedSubnetRoutePolicy.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L3IsolationDomains_ValidateConfiguration

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

L3IsolationDomains_clearArpTable

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

L3IsolationDomains_clearNeighborTable

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

L3IsolationDomains_updateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

L3IsolationDomains_updateOptionBAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.l3IsolationDomainName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NeighborGroups_Create

valid {
    input.Body.properties.annotation == STRING
    input.Body.properties.destination.ipv4Addresses[_] == STRING
    input.Body.properties.destination.ipv6Addresses[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.neighborGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NeighborGroups_Delete

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

NeighborGroups_Get

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

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

NeighborGroups_ListBySubscription

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

NeighborGroups_Update

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.destination.ipv4Addresses[_] == STRING
    input.Body.properties.destination.ipv6Addresses[_] == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.neighborGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkDeviceSkus_Get

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

NetworkDeviceSkus_ListBySubscription

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

NetworkDevices_Create

valid {
    input.Body.properties.networkDeviceSku == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.hostName == STRING
    input.Body.properties.serialNumber == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkDevices_Delete

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

NetworkDevices_Get

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

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

NetworkDevices_ListBySubscription

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

NetworkDevices_Reboot

enum_RebootPropertiesRebootType := [ "GracefulRebootWithZTP", "GracefulRebootWithoutZTP", "UngracefulRebootWithZTP", "UngracefulRebootWithoutZTP" ]

valid {
    input.Body.rebootType == enum_RebootPropertiesRebootType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkDevices_RefreshConfiguration

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

NetworkDevices_Update

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.hostName == STRING
    input.Body.properties.serialNumber == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkDevices_UpdateAdministrativeState

enum_UpdateDeviceAdministrativeStateState := [ "RMA", "Resync", "GracefulQuarantine", "Quarantine" ]

valid {
    input.Body.state == enum_UpdateDeviceAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkDevices_Upgrade

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

NetworkDevices_generateSupportPackage

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

NetworkDevices_getDynamicInterfaceMaps

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

NetworkDevices_getStaticInterfaceMaps

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

NetworkDevices_getStatus

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

NetworkDevices_restoreConfig

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

NetworkDevices_updatePowerCycle

enum_UpdatePowerCyclePropertiesPowerEnd := [ "Primary", "Secondary" ]
enum_UpdatePowerCyclePropertiesState := [ "On", "Off" ]

valid {
    input.Body.powerEnd == enum_UpdatePowerCyclePropertiesPowerEnd[_]
    input.Body.state == enum_UpdatePowerCyclePropertiesState[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkDevices_updateVersion

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

NetworkFabricControllers_Create

enum_NetworkFabricControllerPropertiesIsWorkloadManagementNetworkEnabled := [ "True", "False" ]
enum_NetworkFabricControllerPropertiesNfcSku := [ "Basic", "Standard", "HighPerformance" ]

valid {
    input.Body.properties.managedResourceGroupConfiguration.name == STRING
    input.Body.properties.managedResourceGroupConfiguration.location == STRING
    input.Body.properties.isWorkloadManagementNetworkEnabled == enum_NetworkFabricControllerPropertiesIsWorkloadManagementNetworkEnabled[_]
    input.Body.properties.ipv4AddressSpace == STRING
    input.Body.properties.ipv6AddressSpace == STRING
    input.Body.properties.nfcSku == enum_NetworkFabricControllerPropertiesNfcSku[_]
    input.Body.properties.annotation == STRING
    input.Body.properties.infrastructureExpressRouteConnections[_].expressRouteCircuitId == STRING
    input.Body.properties.infrastructureExpressRouteConnections[_].expressRouteAuthorizationKey == STRING
    input.Body.properties.workloadExpressRouteConnections[_].expressRouteCircuitId == STRING
    input.Body.properties.workloadExpressRouteConnections[_].expressRouteAuthorizationKey == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricControllerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFabricControllers_Delete

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

NetworkFabricControllers_Get

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

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

NetworkFabricControllers_ListBySubscription

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

NetworkFabricControllers_Update

valid {
    input.Body.properties.infrastructureExpressRouteConnections[_].expressRouteCircuitId == STRING
    input.Body.properties.infrastructureExpressRouteConnections[_].expressRouteAuthorizationKey == STRING
    input.Body.properties.workloadExpressRouteConnections[_].expressRouteCircuitId == STRING
    input.Body.properties.workloadExpressRouteConnections[_].expressRouteAuthorizationKey == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricControllerName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFabricControllers_disableWorkloadManagementNetwork

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

NetworkFabricControllers_enableWorkloadManagementNetwork

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

NetworkFabricSkus_Get

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

NetworkFabricSkus_ListBySubscription

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

NetworkFabrics_CommitConfiguration

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

NetworkFabrics_Create

enum_PeeringOption := [ "OptionA", "OptionB" ]

valid {
    input.Body.properties.networkFabricSku == STRING
    input.Body.properties.fabricVersion == STRING
    input.Body.properties.networkFabricControllerId == STRING
    input.Body.properties.rackCount == INTEGER
    input.Body.properties.serverCountPerRack == INTEGER
    input.Body.properties.ipv4Prefix == STRING
    input.Body.properties.ipv6Prefix == STRING
    input.Body.properties.fabricASN == INTEGER
    input.Body.properties.terminalServerConfiguration.username == STRING
    input.Body.properties.terminalServerConfiguration.password == STRING
    input.Body.properties.terminalServerConfiguration.serialNumber == STRING
    input.Body.properties.terminalServerConfiguration.primaryIpv4Prefix == STRING
    input.Body.properties.terminalServerConfiguration.primaryIpv6Prefix == STRING
    input.Body.properties.terminalServerConfiguration.secondaryIpv4Prefix == STRING
    input.Body.properties.terminalServerConfiguration.secondaryIpv6Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.networkToNetworkInterconnectId == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.peeringOption == enum_PeeringOption[_]
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.importRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.exportRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.importIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.importIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.exportIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.exportIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.STRING == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.mtu == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.vlanId == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.peerASN == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.primaryIpv4Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.primaryIpv6Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.secondaryIpv4Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.secondaryIpv6Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.networkToNetworkInterconnectId == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.peeringOption == enum_PeeringOption[_]
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.importRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.exportRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.importIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.importIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.exportIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.exportIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionAProperties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFabrics_Delete

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

NetworkFabrics_Get

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

NetworkFabrics_GetTopology

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

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

NetworkFabrics_ListBySubscription

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

NetworkFabrics_Update

enum_PeeringOption := [ "OptionA", "OptionB" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.rackCount == INTEGER
    input.Body.properties.serverCountPerRack == INTEGER
    input.Body.properties.ipv4Prefix == STRING
    input.Body.properties.ipv6Prefix == STRING
    input.Body.properties.fabricASN == INTEGER
    input.Body.properties.terminalServerConfiguration.STRING == STRING
    input.Body.properties.terminalServerConfiguration.username == STRING
    input.Body.properties.terminalServerConfiguration.password == STRING
    input.Body.properties.terminalServerConfiguration.serialNumber == STRING
    input.Body.properties.terminalServerConfiguration.primaryIpv4Prefix == STRING
    input.Body.properties.terminalServerConfiguration.primaryIpv6Prefix == STRING
    input.Body.properties.terminalServerConfiguration.secondaryIpv4Prefix == STRING
    input.Body.properties.terminalServerConfiguration.secondaryIpv6Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.networkToNetworkInterconnectId == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.peeringOption == enum_PeeringOption[_]
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.importRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.exportRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.importIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.importIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.exportIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionBProperties.routeTargets.exportIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.STRING == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.mtu == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.vlanId == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.peerASN == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.primaryIpv4Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.primaryIpv6Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.secondaryIpv4Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.infrastructureVpnConfiguration.optionAProperties.secondaryIpv6Prefix == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.networkToNetworkInterconnectId == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.peeringOption == enum_PeeringOption[_]
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.importRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.exportRouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.importIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.importIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.exportIpv4RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionBProperties.routeTargets.exportIpv6RouteTargets[_] == STRING
    input.Body.properties.managementNetworkConfiguration.workloadVpnConfiguration.optionAProperties.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFabrics_UpdateInfraManagementBfdConfiguration

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFabrics_UpdateWorkloadManagementBfdConfiguration

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFabrics_ValidateConfiguration

enum_ValidateConfigurationPropertiesValidateAction := [ "Cabling", "Configuration", "Connectivity" ]

valid {
    input.Body.validateAction == enum_ValidateConfigurationPropertiesValidateAction[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkFabrics_deprovision

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

NetworkFabrics_provision

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

NetworkFabrics_refreshConfiguration

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

NetworkFabrics_upgrade

enum_UpgradeNetworkFabricPropertiesAction := [ "Start", "Complete" ]

valid {
    input.Body.action == enum_UpgradeNetworkFabricPropertiesAction[_]
    input.Body.version == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkInterfaces_Create

valid {
    input.Body.properties.annotation == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.ReqMap.networkInterfaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkInterfaces_Delete

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

NetworkInterfaces_Get

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

NetworkInterfaces_ListByNetworkDevice

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

NetworkInterfaces_Update

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.ReqMap.networkInterfaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkInterfaces_UpdateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkDeviceName == STRING
    input.ReqMap.networkInterfaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkInterfaces_getStatus

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

NetworkPacketBrokers_Create

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

NetworkPacketBrokers_Delete

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

NetworkPacketBrokers_Get

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

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

NetworkPacketBrokers_ListBySubscription

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

NetworkPacketBrokers_Update

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

NetworkRackSkus_Get

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

NetworkRackSkus_ListBySubscription

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

NetworkRacks_Create

enum_NetworkRackPropertiesNetworkRackType := [ "Aggregate", "Compute", "Combined" ]

valid {
    input.Body.properties.networkRackType == enum_NetworkRackPropertiesNetworkRackType[_]
    input.Body.properties.networkFabricId == STRING
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkRackName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkRacks_Delete

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

NetworkRacks_Get

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

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

NetworkRacks_ListBySubscription

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

NetworkRacks_Update

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

NetworkTapRules_Create

enum_BooleanEnumProperty := [ "True", "False" ]
enum_IPAddressTypeEnumProperty := [ "IPv4", "IPv6" ]
enum_IpMatchConditionPrefixType := [ "Prefix", "LongestPrefix" ]
enum_IpMatchConditionType := [ "SourceIP", "DestinationIP" ]
enum_NetworkTapRuleActionType := [ "Drop", "Count", "Log", "Replicate", "Goto", "Redirect", "Mirror" ]
enum_NetworkTapRuleMatchConditionEncapsulationType := [ "None", "GTPv1" ]
enum_NetworkTapRulePatchablePropertiesConfigurationType := [ "File", "Inline" ]
enum_NetworkTapRulePropertiesPollingIntervalInSeconds := [ 30, 60, 90, 120 ]
enum_PortConditionLayer4Protocol := [ "TCP", "UDP" ]
enum_PortConditionPortType := [ "SourcePort", "DestinationPort" ]

valid {
    input.Body.properties.pollingIntervalInSeconds == enum_NetworkTapRulePropertiesPollingIntervalInSeconds[_]
    input.Body.properties.annotation == STRING
    input.Body.properties.configurationType == enum_NetworkTapRulePatchablePropertiesConfigurationType[_]
    input.Body.properties.tapRulesUrl == STRING
    input.Body.properties.matchConfigurations[_].matchConfigurationName == STRING
    input.Body.properties.matchConfigurations[_].sequenceNumber == INTEGER
    input.Body.properties.matchConfigurations[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].encapsulationType == enum_NetworkTapRuleMatchConditionEncapsulationType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.portType == enum_PortConditionPortType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.layer4Protocol == enum_PortConditionLayer4Protocol[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.ports[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.portGroupNames[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].protocolTypes[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].vlanMatchCondition.vlans[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].vlanMatchCondition.innerVlans[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].vlanMatchCondition.vlanGroupNames[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.type == enum_IpMatchConditionType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.prefixType == enum_IpMatchConditionPrefixType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.ipPrefixValues[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].ipCondition.ipGroupNames[_] == STRING
    input.Body.properties.matchConfigurations[_].actions[_].type == enum_NetworkTapRuleActionType[_]
    input.Body.properties.matchConfigurations[_].actions[_].truncate == STRING
    input.Body.properties.matchConfigurations[_].actions[_].isTimestampEnabled == enum_BooleanEnumProperty[_]
    input.Body.properties.matchConfigurations[_].actions[_].destinationId == STRING
    input.Body.properties.matchConfigurations[_].actions[_].matchConfigurationName == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipPrefixes[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].vlans[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].ports[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkTapRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkTapRules_Delete

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

NetworkTapRules_Get

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

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

NetworkTapRules_ListBySubscription

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

NetworkTapRules_Resync

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

NetworkTapRules_Update

enum_BooleanEnumProperty := [ "True", "False" ]
enum_IPAddressTypeEnumProperty := [ "IPv4", "IPv6" ]
enum_NetworkTapRuleActionType := [ "Drop", "Count", "Log", "Replicate", "Goto", "Redirect", "Mirror" ]
enum_NetworkTapRuleMatchConditionEncapsulationType := [ "None", "GTPv1" ]
enum_NetworkTapRulePatchablePropertiesConfigurationType := [ "File", "Inline" ]
enum_PortConditionLayer4Protocol := [ "TCP", "UDP" ]
enum_PortConditionPortType := [ "SourcePort", "DestinationPort" ]

valid {
    input.Body.properties.STRING == STRING
    input.Body.properties.annotation == STRING
    input.Body.properties.configurationType == enum_NetworkTapRulePatchablePropertiesConfigurationType[_]
    input.Body.properties.tapRulesUrl == STRING
    input.Body.properties.matchConfigurations[_].matchConfigurationName == STRING
    input.Body.properties.matchConfigurations[_].sequenceNumber == INTEGER
    input.Body.properties.matchConfigurations[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].encapsulationType == enum_NetworkTapRuleMatchConditionEncapsulationType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.portType == enum_PortConditionPortType[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.layer4Protocol == enum_PortConditionLayer4Protocol[_]
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.ports[_] == STRING
    input.Body.properties.matchConfigurations[_].matchConditions[_].portCondition.portGroupNames[_] == STRING
    input.Body.properties.matchConfigurations[_].actions[_].type == enum_NetworkTapRuleActionType[_]
    input.Body.properties.matchConfigurations[_].actions[_].truncate == STRING
    input.Body.properties.matchConfigurations[_].actions[_].isTimestampEnabled == enum_BooleanEnumProperty[_]
    input.Body.properties.matchConfigurations[_].actions[_].destinationId == STRING
    input.Body.properties.matchConfigurations[_].actions[_].matchConfigurationName == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipAddressType == enum_IPAddressTypeEnumProperty[_]
    input.Body.properties.dynamicMatchConfigurations[_].ipGroups[_].ipPrefixes[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].vlanGroups[_].vlans[_] == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].name == STRING
    input.Body.properties.dynamicMatchConfigurations[_].portGroups[_].ports[_] == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkTapRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkTapRules_UpdateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkTapRuleName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkTapRules_ValidateConfiguration

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

NetworkTaps_Create

enum_DestinationPropertiesDestinationType := [ "IsolationDomain", "Direct" ]
enum_IsolationDomainPropertiesEncapsulation := [ "None", "GRE" ]
enum_NetworkTapPropertiesPollingType := [ "Pull", "Push" ]

valid {
    input.Body.properties.networkPacketBrokerId == STRING
    input.Body.properties.destinations[_].STRING == STRING
    input.Body.properties.destinations[_].name == STRING
    input.Body.properties.destinations[_].destinationType == enum_DestinationPropertiesDestinationType[_]
    input.Body.properties.destinations[_].destinationId == STRING
    input.Body.properties.destinations[_].isolationDomainProperties.encapsulation == enum_IsolationDomainPropertiesEncapsulation[_]
    input.Body.properties.destinations[_].isolationDomainProperties.neighborGroupIds[_] == STRING
    input.Body.properties.destinations[_].destinationTapRuleId == STRING
    input.Body.properties.pollingType == enum_NetworkTapPropertiesPollingType[_]
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkTapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkTaps_Delete

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

NetworkTaps_Get

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

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

NetworkTaps_ListBySubscription

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

NetworkTaps_Resync

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

NetworkTaps_Update

enum_DestinationPropertiesDestinationType := [ "IsolationDomain", "Direct" ]
enum_IsolationDomainPropertiesEncapsulation := [ "None", "GRE" ]
enum_NetworkTapPatchableParametersPollingType := [ "Pull", "Push" ]

valid {
    input.Body.properties.pollingType == enum_NetworkTapPatchableParametersPollingType[_]
    input.Body.properties.destinations[_].STRING == STRING
    input.Body.properties.destinations[_].name == STRING
    input.Body.properties.destinations[_].destinationType == enum_DestinationPropertiesDestinationType[_]
    input.Body.properties.destinations[_].destinationId == STRING
    input.Body.properties.destinations[_].isolationDomainProperties.encapsulation == enum_IsolationDomainPropertiesEncapsulation[_]
    input.Body.properties.destinations[_].isolationDomainProperties.neighborGroupIds[_] == STRING
    input.Body.properties.destinations[_].destinationTapRuleId == STRING
    input.Body.properties.annotation == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkTapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkTaps_UpdateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkTapName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkToNetworkInterconnects_Create

enum_BooleanEnumProperty := [ "True", "False" ]
enum_NetworkToNetworkInterconnectPropertiesIsManagementType := [ "True", "False" ]
enum_NetworkToNetworkInterconnectPropertiesNniType := [ "CE", "NPB" ]

valid {
    input.Body.properties.nniType == enum_NetworkToNetworkInterconnectPropertiesNniType[_]
    input.Body.properties.isManagementType == enum_NetworkToNetworkInterconnectPropertiesIsManagementType[_]
    input.Body.properties.useOptionB == enum_BooleanEnumProperty[_]
    input.Body.properties.layer2Configuration.mtu == INTEGER
    input.Body.properties.layer2Configuration.interfaces[_] == STRING
    input.Body.properties.optionBLayer3Configuration.STRING == STRING
    input.Body.properties.optionBLayer3Configuration.peerASN == INTEGER
    input.Body.properties.optionBLayer3Configuration.vlanId == INTEGER
    input.Body.properties.optionBLayer3Configuration.primaryIpv4Prefix == STRING
    input.Body.properties.optionBLayer3Configuration.primaryIpv6Prefix == STRING
    input.Body.properties.optionBLayer3Configuration.secondaryIpv4Prefix == STRING
    input.Body.properties.optionBLayer3Configuration.secondaryIpv6Prefix == STRING
    input.Body.properties.npbStaticRouteConfiguration.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.npbStaticRouteConfiguration.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.npbStaticRouteConfiguration.ipv4Routes[_].prefix == STRING
    input.Body.properties.npbStaticRouteConfiguration.ipv4Routes[_].nextHop[_] == STRING
    input.Body.properties.npbStaticRouteConfiguration.ipv6Routes[_].prefix == STRING
    input.Body.properties.npbStaticRouteConfiguration.ipv6Routes[_].nextHop[_] == STRING
    input.Body.properties.importRoutePolicy.importIpv4RoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv6RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.Body.properties.egressAclId == STRING
    input.Body.properties.ingressAclId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.ReqMap.networkToNetworkInterconnectName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkToNetworkInterconnects_Delete

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

NetworkToNetworkInterconnects_Get

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

NetworkToNetworkInterconnects_ListByNetworkFabric

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

NetworkToNetworkInterconnects_Update

valid {
    input.Body.properties.layer2Configuration.mtu == INTEGER
    input.Body.properties.layer2Configuration.interfaces[_] == STRING
    input.Body.properties.optionBLayer3Configuration.peerASN == INTEGER
    input.Body.properties.optionBLayer3Configuration.vlanId == INTEGER
    input.Body.properties.npbStaticRouteConfiguration.bfdConfiguration.intervalInMilliSeconds == INTEGER
    input.Body.properties.npbStaticRouteConfiguration.bfdConfiguration.multiplier == INTEGER
    input.Body.properties.npbStaticRouteConfiguration.ipv4Routes[_].prefix == STRING
    input.Body.properties.npbStaticRouteConfiguration.ipv4Routes[_].nextHop[_] == STRING
    input.Body.properties.npbStaticRouteConfiguration.ipv6Routes[_].prefix == STRING
    input.Body.properties.npbStaticRouteConfiguration.ipv6Routes[_].nextHop[_] == STRING
    input.Body.properties.importRoutePolicy.importIpv4RoutePolicyId == STRING
    input.Body.properties.importRoutePolicy.importIpv6RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv4RoutePolicyId == STRING
    input.Body.properties.exportRoutePolicy.exportIpv6RoutePolicyId == STRING
    input.Body.properties.egressAclId == STRING
    input.Body.properties.ingressAclId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.ReqMap.networkToNetworkInterconnectName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkToNetworkInterconnects_updateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.ReqMap.networkToNetworkInterconnectName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

NetworkToNetworkInterconnects_updateNpbStaticRouteBfdAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkFabricName == STRING
    input.ReqMap.networkToNetworkInterconnectName == 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
}

RoutePolicies_CommitConfiguration

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

RoutePolicies_Create

enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_RoutePolicyPropertiesAddressFamilyType := [ "IPv4", "IPv6" ]
enum_StatementActionPropertiesActionType := [ "Permit", "Deny", "Continue" ]
enum_StatementConditionPropertiesType := [ "Or", "And" ]

valid {
    input.Body.properties.networkFabricId == STRING
    input.Body.properties.addressFamilyType == enum_RoutePolicyPropertiesAddressFamilyType[_]
    input.Body.properties.annotation == STRING
    input.Body.properties.defaultAction == enum_CommunityActionTypes[_]
    input.Body.properties.statements[_].sequenceNumber == INTEGER
    input.Body.properties.statements[_].condition.type == enum_StatementConditionPropertiesType[_]
    input.Body.properties.statements[_].condition.ipPrefixId == STRING
    input.Body.properties.statements[_].condition.ipCommunityIds[_] == STRING
    input.Body.properties.statements[_].condition.ipExtendedCommunityIds[_] == STRING
    input.Body.properties.statements[_].action.localPreference == INTEGER
    input.Body.properties.statements[_].action.actionType == enum_StatementActionPropertiesActionType[_]
    input.Body.properties.statements[_].action.ipCommunityProperties.STRING == STRING
    input.Body.properties.statements[_].action.ipCommunityProperties.add.ipCommunityIds[_] == STRING
    input.Body.properties.statements[_].action.ipCommunityProperties.delete.ipCommunityIds[_] == STRING
    input.Body.properties.statements[_].action.ipCommunityProperties.set.ipCommunityIds[_] == STRING
    input.Body.properties.statements[_].action.ipExtendedCommunityProperties.STRING == STRING
    input.Body.properties.statements[_].action.ipExtendedCommunityProperties.add.ipExtendedCommunityIds[_] == STRING
    input.Body.properties.statements[_].action.ipExtendedCommunityProperties.delete.ipExtendedCommunityIds[_] == STRING
    input.Body.properties.statements[_].action.ipExtendedCommunityProperties.set.ipExtendedCommunityIds[_] == STRING
    input.Body.properties.statements[_].annotation == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.routePolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RoutePolicies_Delete

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

RoutePolicies_Get

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

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

RoutePolicies_ListBySubscription

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

RoutePolicies_Update

enum_CommunityActionTypes := [ "Permit", "Deny" ]
enum_StatementActionPropertiesActionType := [ "Permit", "Deny", "Continue" ]
enum_StatementConditionPropertiesType := [ "Or", "And" ]

valid {
    input.Body.properties.defaultAction == enum_CommunityActionTypes[_]
    input.Body.properties.statements[_].sequenceNumber == INTEGER
    input.Body.properties.statements[_].condition.type == enum_StatementConditionPropertiesType[_]
    input.Body.properties.statements[_].condition.ipPrefixId == STRING
    input.Body.properties.statements[_].action.localPreference == INTEGER
    input.Body.properties.statements[_].action.actionType == enum_StatementActionPropertiesActionType[_]
    input.Body.properties.statements[_].action.ipCommunityProperties.STRING == STRING
    input.Body.properties.statements[_].action.ipExtendedCommunityProperties.STRING == STRING
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.routePolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RoutePolicies_UpdateAdministrativeState

enum_UpdateAdministrativeStateState := [ "Enable", "Disable" ]

valid {
    input.Body.state == enum_UpdateAdministrativeStateState[_]
    input.Body.resourceIds[_] == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.routePolicyName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

RoutePolicies_ValidateConfiguration

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

Updated 8 days ago