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
}
Updated 7 months ago