MICROSOFT.INTEGRATIONSPACES

ApplicationResources_CreateOrUpdate

valid {
    input.Body.properties.resourceType == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.resourceKind == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplicationResources_Delete

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

ApplicationResources_Get

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

ApplicationResources_ListByApplication

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == STRING
    input.Qs.top == INTEGER
    input.Qs.skip == INTEGER
    input.Qs.maxpagesize == INTEGER
    input.Qs.filter == STRING
    input.Qs.select == ARRAY
    input.Qs.expand == ARRAY
    input.Qs.orderby == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ApplicationResources_Patch

valid {
    input.Body.properties.resourceType == STRING
    input.Body.properties.resourceId == STRING
    input.Body.properties.resourceKind == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.resourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Applications_CreateOrUpdate

valid {
    input.Body.properties.description == STRING
    input.Body.properties.trackingDataStores.STRING.databaseName == STRING
    input.Body.properties.trackingDataStores.STRING.dataStoreResourceId == STRING
    input.Body.properties.trackingDataStores.STRING.dataStoreUri == STRING
    input.Body.properties.trackingDataStores.STRING.dataStoreIngestionUri == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Applications_Delete

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

Applications_DeleteBusinessProcessDevelopmentArtifact

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

Applications_Get

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

Applications_GetBusinessProcessDevelopmentArtifact

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

Applications_ListBusinessProcessDevelopmentArtifacts

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

Applications_ListBySpace

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.top == INTEGER
    input.Qs.skip == INTEGER
    input.Qs.maxpagesize == INTEGER
    input.Qs.filter == STRING
    input.Qs.select == ARRAY
    input.Qs.expand == ARRAY
    input.Qs.orderby == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Applications_Patch

valid {
    input.Body.tags.STRING == STRING
    input.Body.properties.description == STRING
    input.Body.properties.trackingDataStores.STRING.databaseName == STRING
    input.Body.properties.trackingDataStores.STRING.dataStoreResourceId == STRING
    input.Body.properties.trackingDataStores.STRING.dataStoreUri == STRING
    input.Body.properties.trackingDataStores.STRING.dataStoreIngestionUri == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Applications_SaveBusinessProcessDevelopmentArtifact

valid {
    input.Body.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.identifier.propertyName == STRING
    input.Body.properties.identifier.propertyType == STRING
    input.Body.properties.businessProcessStages.STRING.description == STRING
    input.Body.properties.businessProcessStages.STRING.properties.STRING == STRING
    input.Body.properties.businessProcessStages.STRING.stagesBefore[_] == STRING
    input.Body.properties.businessProcessMapping.STRING.logicAppResourceId == STRING
    input.Body.properties.businessProcessMapping.STRING.workflowName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationType == STRING
    input.Body.properties.trackingProfiles.STRING.$schema == STRING
    input.Body.properties.trackingProfiles.STRING.businessProcess.name == STRING
    input.Body.properties.trackingProfiles.STRING.businessProcess.version == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.operationType == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.operationName == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.propertyName == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.value == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.events.STRING.operationType == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.events.STRING.operationName == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.events.STRING.properties.STRING.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Applications_ValidateBusinessProcessDevelopmentArtifact

valid {
    input.Body.name == STRING
    input.Body.properties.description == STRING
    input.Body.properties.identifier.propertyName == STRING
    input.Body.properties.identifier.propertyType == STRING
    input.Body.properties.businessProcessStages.STRING.description == STRING
    input.Body.properties.businessProcessStages.STRING.properties.STRING == STRING
    input.Body.properties.businessProcessStages.STRING.stagesBefore[_] == STRING
    input.Body.properties.businessProcessMapping.STRING.logicAppResourceId == STRING
    input.Body.properties.businessProcessMapping.STRING.workflowName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationType == STRING
    input.Body.properties.trackingProfiles.STRING.$schema == STRING
    input.Body.properties.trackingProfiles.STRING.businessProcess.name == STRING
    input.Body.properties.trackingProfiles.STRING.businessProcess.version == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.operationType == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.operationName == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.propertyName == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.correlationContext.value == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.events.STRING.operationType == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.events.STRING.operationName == STRING
    input.Body.properties.trackingProfiles.STRING.trackingDefinitions.STRING.events.STRING.properties.STRING.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BusinessProcessVersions_Get

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

BusinessProcessVersions_ListByBusinessProcess

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.businessProcessName == STRING
    input.Qs.api-version == STRING
    input.Qs.top == INTEGER
    input.Qs.skip == INTEGER
    input.Qs.maxpagesize == INTEGER
    input.Qs.filter == STRING
    input.Qs.select == ARRAY
    input.Qs.expand == ARRAY
    input.Qs.orderby == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BusinessProcesses_CreateOrUpdate

valid {
    input.Body.properties.description == STRING
    input.Body.properties.tableName == STRING
    input.Body.properties.trackingDataStoreReferenceName == STRING
    input.Body.properties.identifier.propertyName == STRING
    input.Body.properties.identifier.propertyType == STRING
    input.Body.properties.businessProcessStages.STRING.description == STRING
    input.Body.properties.businessProcessStages.STRING.properties.STRING == STRING
    input.Body.properties.businessProcessStages.STRING.stagesBefore[_] == STRING
    input.Body.properties.businessProcessMapping.STRING.logicAppResourceId == STRING
    input.Body.properties.businessProcessMapping.STRING.workflowName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationType == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.businessProcessName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BusinessProcesses_Delete

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

BusinessProcesses_Get

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

BusinessProcesses_ListByApplication

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == STRING
    input.Qs.top == INTEGER
    input.Qs.skip == INTEGER
    input.Qs.maxpagesize == INTEGER
    input.Qs.filter == STRING
    input.Qs.select == ARRAY
    input.Qs.expand == ARRAY
    input.Qs.orderby == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

BusinessProcesses_Patch

valid {
    input.Body.properties.description == STRING
    input.Body.properties.tableName == STRING
    input.Body.properties.trackingDataStoreReferenceName == STRING
    input.Body.properties.identifier.propertyName == STRING
    input.Body.properties.identifier.propertyType == STRING
    input.Body.properties.businessProcessStages.STRING.description == STRING
    input.Body.properties.businessProcessStages.STRING.properties.STRING == STRING
    input.Body.properties.businessProcessStages.STRING.stagesBefore[_] == STRING
    input.Body.properties.businessProcessMapping.STRING.logicAppResourceId == STRING
    input.Body.properties.businessProcessMapping.STRING.workflowName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationName == STRING
    input.Body.properties.businessProcessMapping.STRING.operationType == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.businessProcessName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InfrastructureResources_CreateOrUpdate

valid {
    input.Body.properties.resourceType == STRING
    input.Body.properties.resourceId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.infrastructureResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InfrastructureResources_Delete

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

InfrastructureResources_Get

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

InfrastructureResources_ListBySpace

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.Qs.api-version == STRING
    input.Qs.top == INTEGER
    input.Qs.skip == INTEGER
    input.Qs.maxpagesize == INTEGER
    input.Qs.filter == STRING
    input.Qs.select == ARRAY
    input.Qs.expand == ARRAY
    input.Qs.orderby == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

InfrastructureResources_Patch

valid {
    input.Body.properties.resourceType == STRING
    input.Body.properties.resourceId == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.spaceName == STRING
    input.ReqMap.infrastructureResourceName == 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
}

Spaces_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.spaceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Spaces_Delete

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

Spaces_Get

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

Spaces_ListByResourceGroup

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == STRING
    input.Qs.top == INTEGER
    input.Qs.skip == INTEGER
    input.Qs.maxpagesize == INTEGER
    input.Qs.filter == STRING
    input.Qs.select == ARRAY
    input.Qs.expand == ARRAY
    input.Qs.orderby == ARRAY
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Spaces_ListBySubscription

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

Spaces_Patch

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