MICROSOFT.MOBILENETWORK

AttachedDataNetworks_CreateOrUpdate

enum_NaptEnabled := [ "Enabled", "Disabled" ]

valid {
    input.Body.properties.userPlaneDataInterface.name == STRING
    input.Body.properties.userPlaneDataInterface.ipv4Address == STRING
    input.Body.properties.userPlaneDataInterface.ipv4Subnet == STRING
    input.Body.properties.userPlaneDataInterface.ipv4Gateway == STRING
    input.Body.properties.dnsAddresses[_] == STRING
    input.Body.properties.naptConfiguration.enabled == enum_NaptEnabled[_]
    input.Body.properties.naptConfiguration.portRange.minPort == INTEGER
    input.Body.properties.naptConfiguration.portRange.maxPort == INTEGER
    input.Body.properties.naptConfiguration.portReuseHoldTime.tcp == INTEGER
    input.Body.properties.naptConfiguration.portReuseHoldTime.udp == INTEGER
    input.Body.properties.naptConfiguration.pinholeLimits == INTEGER
    input.Body.properties.naptConfiguration.pinholeTimeouts.tcp == INTEGER
    input.Body.properties.naptConfiguration.pinholeTimeouts.udp == INTEGER
    input.Body.properties.naptConfiguration.pinholeTimeouts.icmp == INTEGER
    input.Body.properties.userEquipmentAddressPoolPrefix[_] == STRING
    input.Body.properties.userEquipmentStaticAddressPoolPrefix[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.packetCoreControlPlaneName == STRING
    input.ReqMap.packetCoreDataPlaneName == STRING
    input.ReqMap.attachedDataNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

AttachedDataNetworks_Delete

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

AttachedDataNetworks_Get

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

AttachedDataNetworks_ListByPacketCoreDataPlane

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

AttachedDataNetworks_UpdateTags

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

DataNetworks_CreateOrUpdate

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

DataNetworks_Delete

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

DataNetworks_Get

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

DataNetworks_ListByMobileNetwork

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

DataNetworks_UpdateTags

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

DiagnosticsPackages_CreateOrUpdate

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

DiagnosticsPackages_Delete

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

DiagnosticsPackages_Get

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

DiagnosticsPackages_ListByPacketCoreControlPlane

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

ExtendedUeInformation_Get

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

MobileNetworks_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "UserAssigned" ]

valid {
    input.Body.properties.publicLandMobileNetworkIdentifier.mcc == STRING
    input.Body.properties.publicLandMobileNetworkIdentifier.mnc == STRING
    input.Body.properties.publicLandMobileNetworks[_].homeNetworkPublicKeys.profileA[_].id == INTEGER
    input.Body.properties.publicLandMobileNetworks[_].homeNetworkPublicKeys.profileA[_].url == STRING
    input.Body.properties.publicLandMobileNetworks[_].homeNetworkPublicKeys.profileB[_].id == INTEGER
    input.Body.properties.publicLandMobileNetworks[_].homeNetworkPublicKeys.profileB[_].url == STRING
    input.Body.properties.publicLandMobileNetworks[_].mcc == STRING
    input.Body.properties.publicLandMobileNetworks[_].mnc == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.mobileNetworkName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MobileNetworks_Delete

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

MobileNetworks_Get

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

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

MobileNetworks_ListBySubscription

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

MobileNetworks_ListSimIds

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

MobileNetworks_UpdateTags

enum_ManagedServiceIdentityType := [ "None", "UserAssigned" ]

valid {
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.mobileNetworkName == 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
}

PacketCaptures_CreateOrUpdate

valid {
    input.Body.properties.networkInterfaces[_] == STRING
    input.Body.properties.bytesToCapturePerPacket == INTEGER
    input.Body.properties.totalBytesPerSession == INTEGER
    input.Body.properties.timeLimitInSeconds == INTEGER
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.packetCoreControlPlaneName == STRING
    input.ReqMap.packetCaptureName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PacketCaptures_Delete

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

PacketCaptures_Get

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

PacketCaptures_ListByPacketCoreControlPlane

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

PacketCaptures_Stop

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

PacketCoreControlPlaneVersions_Get

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

PacketCoreControlPlaneVersions_GetBySubscription

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

PacketCoreControlPlaneVersions_List

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

PacketCoreControlPlaneVersions_ListBySubscription

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

PacketCoreControlPlanes_CollectDiagnosticsPackage

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

PacketCoreControlPlanes_CreateOrUpdate

enum_BillingSku := [ "G0", "G1", "G2", "G5", "G10" ]
enum_CoreNetworkType := [ "5GC", "EPC", "EPC + 5GC" ]
enum_DesiredInstallationState := [ "Uninstalled", "Installed" ]
enum_LocalDiagnosticsAccessConfigurationAuthenticationType := [ "AAD", "Password" ]
enum_ManagedServiceIdentityType := [ "None", "UserAssigned" ]
enum_PlatformType := [ "AKS-HCI", "3P-AZURE-STACK-HCI" ]

valid {
    input.Body.properties.installation.desiredState == enum_DesiredInstallationState[_]
    input.Body.properties.sites[_].id == STRING
    input.Body.properties.platform.type == enum_PlatformType[_]
    input.Body.properties.platform.azureStackEdgeDevice.id == STRING
    input.Body.properties.platform.azureStackHciCluster.id == STRING
    input.Body.properties.platform.connectedCluster.id == STRING
    input.Body.properties.platform.customLocation.id == STRING
    input.Body.properties.coreNetworkTechnology == enum_CoreNetworkType[_]
    input.Body.properties.version == STRING
    input.Body.properties.controlPlaneAccessInterface.name == STRING
    input.Body.properties.controlPlaneAccessInterface.ipv4Address == STRING
    input.Body.properties.controlPlaneAccessInterface.ipv4Subnet == STRING
    input.Body.properties.controlPlaneAccessInterface.ipv4Gateway == STRING
    input.Body.properties.controlPlaneAccessVirtualIpv4Addresses[_] == STRING
    input.Body.properties.sku == enum_BillingSku[_]
    input.Body.properties.ueMtu == INTEGER
    input.Body.properties.localDiagnosticsAccess.authenticationType == enum_LocalDiagnosticsAccessConfigurationAuthenticationType[_]
    input.Body.properties.localDiagnosticsAccess.httpsServerCertificate.certificateUrl == STRING
    input.Body.properties.diagnosticsUpload.storageAccountContainerUrl == STRING
    input.Body.properties.eventHub.id == STRING
    input.Body.properties.eventHub.reportingInterval == INTEGER
    input.Body.properties.signaling.nasReroute.macroMmeGroupId == INTEGER
    input.Body.properties.interopSettings.STRING == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.packetCoreControlPlaneName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PacketCoreControlPlanes_Delete

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

PacketCoreControlPlanes_Get

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

PacketCoreControlPlanes_ListByResourceGroup

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

PacketCoreControlPlanes_ListBySubscription

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

PacketCoreControlPlanes_Reinstall

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

PacketCoreControlPlanes_Rollback

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

PacketCoreControlPlanes_UpdateTags

enum_ManagedServiceIdentityType := [ "None", "UserAssigned" ]

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

PacketCoreDataPlanes_CreateOrUpdate

valid {
    input.Body.properties.userPlaneAccessInterface.name == STRING
    input.Body.properties.userPlaneAccessInterface.ipv4Address == STRING
    input.Body.properties.userPlaneAccessInterface.ipv4Subnet == STRING
    input.Body.properties.userPlaneAccessInterface.ipv4Gateway == STRING
    input.Body.properties.userPlaneAccessVirtualIpv4Addresses[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.packetCoreControlPlaneName == STRING
    input.ReqMap.packetCoreDataPlaneName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PacketCoreDataPlanes_Delete

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

PacketCoreDataPlanes_Get

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

PacketCoreDataPlanes_ListByPacketCoreControlPlane

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

PacketCoreDataPlanes_UpdateTags

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

Services_CreateOrUpdate

enum_PreemptionCapability := [ "NotPreempt", "MayPreempt" ]
enum_PreemptionVulnerability := [ "NotPreemptable", "Preemptable" ]
enum_SdfDirection := [ "Uplink", "Downlink", "Bidirectional" ]
enum_TrafficControlPermission := [ "Enabled", "Blocked" ]

valid {
    input.Body.properties.servicePrecedence == INTEGER
    input.Body.properties.serviceQosPolicy.5qi == INTEGER
    input.Body.properties.serviceQosPolicy.allocationAndRetentionPriorityLevel == INTEGER
    input.Body.properties.serviceQosPolicy.preemptionCapability == enum_PreemptionCapability[_]
    input.Body.properties.serviceQosPolicy.preemptionVulnerability == enum_PreemptionVulnerability[_]
    input.Body.properties.serviceQosPolicy.maximumBitRate.uplink == STRING
    input.Body.properties.serviceQosPolicy.maximumBitRate.downlink == STRING
    input.Body.properties.pccRules[_].ruleName == STRING
    input.Body.properties.pccRules[_].rulePrecedence == INTEGER
    input.Body.properties.pccRules[_].ruleQosPolicy.guaranteedBitRate.uplink == STRING
    input.Body.properties.pccRules[_].ruleQosPolicy.guaranteedBitRate.downlink == STRING
    input.Body.properties.pccRules[_].ruleQosPolicy.5qi == INTEGER
    input.Body.properties.pccRules[_].ruleQosPolicy.allocationAndRetentionPriorityLevel == INTEGER
    input.Body.properties.pccRules[_].ruleQosPolicy.preemptionCapability == enum_PreemptionCapability[_]
    input.Body.properties.pccRules[_].ruleQosPolicy.preemptionVulnerability == enum_PreemptionVulnerability[_]
    input.Body.properties.pccRules[_].ruleQosPolicy.maximumBitRate.uplink == STRING
    input.Body.properties.pccRules[_].ruleQosPolicy.maximumBitRate.downlink == STRING
    input.Body.properties.pccRules[_].trafficControl == enum_TrafficControlPermission[_]
    input.Body.properties.pccRules[_].serviceDataFlowTemplates[_].templateName == STRING
    input.Body.properties.pccRules[_].serviceDataFlowTemplates[_].direction == enum_SdfDirection[_]
    input.Body.properties.pccRules[_].serviceDataFlowTemplates[_].protocol[_] == STRING
    input.Body.properties.pccRules[_].serviceDataFlowTemplates[_].remoteIpList[_] == STRING
    input.Body.properties.pccRules[_].serviceDataFlowTemplates[_].ports[_] == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.mobileNetworkName == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Services_Delete

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

Services_Get

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

Services_ListByMobileNetwork

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

Services_UpdateTags

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

SimGroups_CreateOrUpdate

enum_ManagedServiceIdentityType := [ "None", "UserAssigned" ]

valid {
    input.Body.properties.encryptionKey.keyUrl == STRING
    input.Body.properties.mobileNetwork.id == STRING
    input.Body.identity.type == enum_ManagedServiceIdentityType[_]
    input.Body.identity.userAssignedIdentities.STRING == {}
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.simGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SimGroups_Delete

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

SimGroups_Get

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

SimGroups_ListByResourceGroup

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

SimGroups_ListBySubscription

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

SimGroups_UpdateTags

enum_ManagedServiceIdentityType := [ "None", "UserAssigned" ]

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

SimPolicies_CreateOrUpdate

enum_PduSessionType := [ "IPv4", "IPv6" ]
enum_PreemptionCapability := [ "NotPreempt", "MayPreempt" ]
enum_PreemptionVulnerability := [ "NotPreemptable", "Preemptable" ]

valid {
    input.Body.properties.ueAmbr.uplink == STRING
    input.Body.properties.ueAmbr.downlink == STRING
    input.Body.properties.defaultSlice.id == STRING
    input.Body.properties.rfspIndex == INTEGER
    input.Body.properties.registrationTimer == INTEGER
    input.Body.properties.sliceConfigurations[_].slice.id == STRING
    input.Body.properties.sliceConfigurations[_].defaultDataNetwork.id == STRING
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].dataNetwork.id == STRING
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].sessionAmbr.uplink == STRING
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].sessionAmbr.downlink == STRING
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].5qi == INTEGER
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].allocationAndRetentionPriorityLevel == INTEGER
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].preemptionCapability == enum_PreemptionCapability[_]
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].preemptionVulnerability == enum_PreemptionVulnerability[_]
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].defaultSessionType == enum_PduSessionType[_]
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].additionalAllowedSessionTypes[_] == enum_PduSessionType[_]
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].allowedServices[_].id == STRING
    input.Body.properties.sliceConfigurations[_].dataNetworkConfigurations[_].maximumNumberOfBufferedPackets == INTEGER
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.mobileNetworkName == STRING
    input.ReqMap.simPolicyName == STRING
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SimPolicies_Delete

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

SimPolicies_Get

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

SimPolicies_ListByMobileNetwork

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

SimPolicies_UpdateTags

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

Sims_BulkDelete

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

Sims_BulkUpload

valid {
    input.Body.sims[_].name == STRING
    input.Body.sims[_].properties.authenticationKey == STRING
    input.Body.sims[_].properties.operatorKeyCode == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.simGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Sims_BulkUploadEncrypted

valid {
    input.Body.version == INTEGER
    input.Body.azureKeyIdentifier == INTEGER
    input.Body.vendorKeyFingerprint == STRING
    input.Body.encryptedTransportKey == STRING
    input.Body.signedTransportKey == STRING
    input.Body.sims[_].name == STRING
    input.Body.sims[_].properties.encryptedCredentials == STRING
    input.Body.sims[_].properties.internationalMobileSubscriberIdentity == STRING
    input.Body.sims[_].properties.integratedCircuitCardIdentifier == STRING
    input.Body.sims[_].properties.deviceType == STRING
    input.Body.sims[_].properties.simPolicy.id == STRING
    input.Body.sims[_].properties.staticIpConfiguration[_].attachedDataNetwork.id == STRING
    input.Body.sims[_].properties.staticIpConfiguration[_].slice.id == STRING
    input.Body.sims[_].properties.staticIpConfiguration[_].staticIp.ipv4Address == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.simGroupName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Sims_CreateOrUpdate

valid {
    input.Body.properties.authenticationKey == STRING
    input.Body.properties.operatorKeyCode == STRING
    input.Body.properties.internationalMobileSubscriberIdentity == STRING
    input.Body.properties.integratedCircuitCardIdentifier == STRING
    input.Body.properties.deviceType == STRING
    input.Body.properties.simPolicy.id == STRING
    input.Body.properties.staticIpConfiguration[_].attachedDataNetwork.id == STRING
    input.Body.properties.staticIpConfiguration[_].slice.id == STRING
    input.Body.properties.staticIpConfiguration[_].staticIp.ipv4Address == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.simGroupName == STRING
    input.ReqMap.simName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Sims_Delete

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

Sims_Get

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

Sims_ListByGroup

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

Sims_ListByResourceGroup

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

Sims_ListBySubscription

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

Sims_UpdateTags

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

Sites_CreateOrUpdate

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

Sites_Delete

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

Sites_DeletePacketCore

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

Sites_Get

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

Sites_ListByMobileNetwork

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

Sites_UpdateTags

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

Slices_CreateOrUpdate

valid {
    input.Body.properties.snssai.sst == INTEGER
    input.Body.properties.snssai.sd == STRING
    input.Body.properties.description == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.mobileNetworkName == STRING
    input.ReqMap.sliceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Slices_Delete

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

Slices_Get

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

Slices_ListByMobileNetwork

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

Slices_UpdateTags

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

UeInformation_List

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

Updated 8 months ago