MICROSOFT.AGFOODPLATFORM

CheckNameAvailability_CheckNameAvailability

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

DataConnectors_CreateOrUpdate

enum_AuthCredentialsKind := [ "OAuthClientCredentials", "ApiKeyAuthCredentials" ]

valid {
    input.Body.properties.credentials.kind == enum_AuthCredentialsKind[_]
    input.Body.STRING == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.ReqMap.dataConnectorName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataConnectors_Delete

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

DataConnectors_Get

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

DataConnectors_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.$maxPageSize == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataManagerForAgricultureExtensions_Get

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

DataManagerForAgricultureExtensions_List

valid {
    input.Qs.farmBeatsExtensionIds == ARRAY
    input.Qs.farmBeatsExtensionNames == ARRAY
    input.Qs.extensionCategories == ARRAY
    input.Qs.publisherIds == ARRAY
    input.Qs.$maxPageSize == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

DataManagerForAgricultureResources_CreateOrUpdate

enum_IdentityType := [ "SystemAssigned" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.properties.sensorIntegration.enabled == STRING
    input.Body.properties.sensorIntegration.provisioningInfo.error == {}
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

DataManagerForAgricultureResources_Delete

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

DataManagerForAgricultureResources_Get

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

DataManagerForAgricultureResources_ListByResourceGroup

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

DataManagerForAgricultureResources_ListBySubscription

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.$maxPageSize == INTEGER
    input.Qs.$skipToken == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

DataManagerForAgricultureResources_Update

enum_IdentityType := [ "SystemAssigned" ]
enum_PublicNetworkAccess := [ "Enabled", "Disabled" ]

valid {
    input.Body.location == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.properties.sensorIntegration.enabled == STRING
    input.Body.properties.sensorIntegration.provisioningInfo.error == {}
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Extensions_CreateOrUpdate

valid {
    input.Body.extensionVersion == STRING
    input.Body.additionalApiProperties.STRING.apiFreshnessTimeInMinutes == INTEGER
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.ReqMap.extensionId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Extensions_Delete

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

Extensions_Get

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

Extensions_ListByDataManagerForAgriculture

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.extensionIds == ARRAY
    input.Qs.extensionCategories == ARRAY
    input.Qs.$maxPageSize == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Extensions_ListByFarmBeats

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.farmBeatsResourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.extensionIds == ARRAY
    input.Qs.extensionCategories == ARRAY
    input.Qs.$maxPageSize == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Extensions_Update

valid {
    input.ReqMap.extensionId == STRING
    input.ReqMap.farmBeatsResourceName == STRING
    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
}

FarmBeatsExtensions_Get

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

FarmBeatsModels_CreateOrUpdate

enum_IdentityType := [ "SystemAssigned" ]
enum_PublicNetworkAccess := [ "Enabled", "Hybrid" ]

valid {
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.properties.sensorIntegration.enabled == STRING
    input.Body.properties.sensorIntegration.provisioningInfo.error == {}
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.farmBeatsResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

FarmBeatsModels_Delete

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

FarmBeatsModels_Get

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

FarmBeatsModels_Update

enum_IdentityType := [ "SystemAssigned" ]
enum_PublicNetworkAccess := [ "Enabled", "Hybrid" ]

valid {
    input.Body.location == STRING
    input.Body.identity.type == enum_IdentityType[_]
    input.Body.properties.sensorIntegration.enabled == STRING
    input.Body.properties.sensorIntegration.provisioningInfo.error == {}
    input.Body.properties.publicNetworkAccess == enum_PublicNetworkAccess[_]
    input.Body.tags.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.farmBeatsResourceName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

OperationResults_Get

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

Operations_List

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

PrivateEndpointConnections_CreateOrUpdate

enum_PrivateEndpointServiceConnectionStatus := [ "Pending", "Approved", "Rejected" ]

valid {
    input.Body.properties.privateEndpoint == {}
    input.Body.properties.privateLinkServiceConnectionState.status == enum_PrivateEndpointServiceConnectionStatus[_]
    input.Body.properties.privateLinkServiceConnectionState.description == STRING
    input.Body.properties.privateLinkServiceConnectionState.actionsRequired == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.ReqMap.privateEndpointConnectionName == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

PrivateEndpointConnections_Delete

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

PrivateEndpointConnections_Get

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

PrivateEndpointConnections_ListByResource

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

PrivateLinkResources_Get

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

PrivateLinkResources_ListByResource

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

SolutionsDiscoverability_Get

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

SolutionsDiscoverability_List

valid {
    input.Qs.farmBeatsSolutionIds == ARRAY
    input.Qs.farmBeatsSolutionNames == ARRAY
    input.Qs.$maxPageSize == INTEGER
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
}

Solutions_CreateOrUpdate

valid {
    input.Body.properties.saasSubscriptionId == STRING
    input.Body.properties.saasSubscriptionName == STRING
    input.Body.properties.marketplacePublisherId == STRING
    input.Body.properties.planId == STRING
    input.Body.properties.roleAssignmentId == STRING
    input.Body.properties.offerId == STRING
    input.Body.properties.termId == STRING
    input.Body.STRING == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.ReqMap.solutionId == STRING
    input.Qs.api-version == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Solutions_Delete

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

Solutions_Get

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

Solutions_List

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.dataManagerForAgricultureResourceName == STRING
    input.Qs.api-version == STRING
    input.Qs.solutionIds == ARRAY
    input.Qs.ids == ARRAY
    input.Qs.names == ARRAY
    input.Qs.propertyFilters == ARRAY
    input.Qs.statuses == ARRAY
    input.Qs.minCreatedDateTime == STRING
    input.Qs.maxCreatedDateTime == STRING
    input.Qs.minLastModifiedDateTime == STRING
    input.Qs.maxLastModifiedDateTime == STRING
    input.Qs.$maxPageSize == INTEGER
    input.Qs.$skipToken == STRING
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}