MICROSOFT.MIGRATE

MoveCollections_BulkRemove

enum_MoveResourceInputType := [ "MoveResourceId", "MoveResourceSourceId" ]

valid {
    input.Body.validateOnly == BOOLEAN
    input.Body.moveResources[_] == STRING
    input.Body.moveResourceInputType == enum_MoveResourceInputType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveCollections_Commit

enum_MoveResourceInputType := [ "MoveResourceId", "MoveResourceSourceId" ]

valid {
    input.Body.validateOnly == BOOLEAN
    input.Body.moveResources[_] == STRING
    input.Body.moveResourceInputType == enum_MoveResourceInputType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveCollections_Create

enum_MoveType := [ "RegionToRegion", "RegionToZone" ]
enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.Body.identity.type == enum_ResourceIdentityType[_]
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.Body.properties.sourceRegion == STRING
    input.Body.properties.targetRegion == STRING
    input.Body.properties.moveRegion == STRING
    input.Body.properties.version == STRING
    input.Body.properties.moveType == enum_MoveType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveCollections_Delete

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

MoveCollections_Discard

enum_MoveResourceInputType := [ "MoveResourceId", "MoveResourceSourceId" ]

valid {
    input.Body.validateOnly == BOOLEAN
    input.Body.moveResources[_] == STRING
    input.Body.moveResourceInputType == enum_MoveResourceInputType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveCollections_Get

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

MoveCollections_InitiateMove

enum_MoveResourceInputType := [ "MoveResourceId", "MoveResourceSourceId" ]

valid {
    input.Body.validateOnly == BOOLEAN
    input.Body.moveResources[_] == STRING
    input.Body.moveResourceInputType == enum_MoveResourceInputType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveCollections_ListMoveCollectionsByResourceGroup

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
}

MoveCollections_ListMoveCollectionsBySubscription

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

MoveCollections_ListRequiredFor

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

MoveCollections_Prepare

enum_MoveResourceInputType := [ "MoveResourceId", "MoveResourceSourceId" ]

valid {
    input.Body.validateOnly == BOOLEAN
    input.Body.moveResources[_] == STRING
    input.Body.moveResourceInputType == enum_MoveResourceInputType[_]
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveCollections_ResolveDependencies

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

MoveCollections_Update

enum_ResourceIdentityType := [ "None", "SystemAssigned", "UserAssigned" ]

valid {
    input.Body.tags.STRING == STRING
    input.Body.identity.type == enum_ResourceIdentityType[_]
    input.Body.identity.principalId == STRING
    input.Body.identity.tenantId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveResources_Create

valid {
    input.Body.properties.sourceId == STRING
    input.Body.properties.existingTargetId == STRING
    input.Body.properties.resourceSettings.resourceType == STRING
    input.Body.properties.resourceSettings.targetResourceName == STRING
    input.Body.properties.resourceSettings.targetResourceGroupName == STRING
    input.Body.properties.dependsOnOverrides[_].id == STRING
    input.Body.properties.dependsOnOverrides[_].targetId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.ReqMap.moveResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

MoveResources_Delete

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

MoveResources_Get

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

MoveResources_List

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

OperationsDiscovery_Get

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

UnresolvedDependencies_Get

enum_DependencyLevelParameter := [ "Direct", "Descendant" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.moveCollectionName == STRING
    input.Qs.dependencyLevel == enum_DependencyLevelParameter[_]
    input.Qs.$orderby == STRING
    input.Qs.api-version == STRING
    input.Qs.$filter == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}