MICROSOFT.SERVICEFABRICMESH

Application_Create

enum_ApplicationScopedVolumeKind := [ "ServiceFabricVolumeDisk" ]
enum_AutoScalingMechanismKind := [ "AddRemoveReplica" ]
enum_AutoScalingTriggerKind := [ "AverageLoad" ]
enum_DiagnosticsSinkKind := [ "Invalid", "AzureInternalMonitoringPipeline" ]
enum_OperatingSystemType := [ "Linux", "Windows" ]
enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.services[_].properties.osType == enum_OperatingSystemType[_]
    input.Body.properties.services[_].properties.codePackages[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].image == STRING
    input.Body.properties.services[_].properties.codePackages[_].imageRegistryCredential.server == STRING
    input.Body.properties.services[_].properties.codePackages[_].imageRegistryCredential.username == STRING
    input.Body.properties.services[_].properties.codePackages[_].imageRegistryCredential.password == STRING
    input.Body.properties.services[_].properties.codePackages[_].entrypoint == STRING
    input.Body.properties.services[_].properties.codePackages[_].commands[_] == STRING
    input.Body.properties.services[_].properties.codePackages[_].environmentVariables[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].environmentVariables[_].value == STRING
    input.Body.properties.services[_].properties.codePackages[_].settings[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].settings[_].value == STRING
    input.Body.properties.services[_].properties.codePackages[_].labels[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].labels[_].value == STRING
    input.Body.properties.services[_].properties.codePackages[_].endpoints[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].endpoints[_].port == INTEGER
    input.Body.properties.services[_].properties.codePackages[_].resources.requests.memoryInGB == NUMBER
    input.Body.properties.services[_].properties.codePackages[_].resources.requests.cpu == NUMBER
    input.Body.properties.services[_].properties.codePackages[_].resources.limits.memoryInGB == NUMBER
    input.Body.properties.services[_].properties.codePackages[_].resources.limits.cpu == NUMBER
    input.Body.properties.services[_].properties.codePackages[_].volumeRefs[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].volumeRefs[_].readOnly == BOOLEAN
    input.Body.properties.services[_].properties.codePackages[_].volumeRefs[_].destinationPath == STRING
    input.Body.properties.services[_].properties.codePackages[_].volumes[_].creationParameters.kind == enum_ApplicationScopedVolumeKind[_]
    input.Body.properties.services[_].properties.codePackages[_].volumes[_].creationParameters.description == STRING
    input.Body.properties.services[_].properties.codePackages[_].volumes[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].volumes[_].readOnly == BOOLEAN
    input.Body.properties.services[_].properties.codePackages[_].volumes[_].destinationPath == STRING
    input.Body.properties.services[_].properties.codePackages[_].diagnostics.enabled == BOOLEAN
    input.Body.properties.services[_].properties.codePackages[_].diagnostics.sinkRefs[_] == STRING
    input.Body.properties.services[_].properties.codePackages[_].reliableCollectionsRefs[_].name == STRING
    input.Body.properties.services[_].properties.codePackages[_].reliableCollectionsRefs[_].doNotPersistState == BOOLEAN
    input.Body.properties.services[_].properties.networkRefs[_].name == STRING
    input.Body.properties.services[_].properties.networkRefs[_].endpointRefs[_].name == STRING
    input.Body.properties.services[_].properties.diagnostics.enabled == BOOLEAN
    input.Body.properties.services[_].properties.diagnostics.sinkRefs[_] == STRING
    input.Body.properties.services[_].properties.description == STRING
    input.Body.properties.services[_].properties.replicaCount == INTEGER
    input.Body.properties.services[_].properties.autoScalingPolicies[_].name == STRING
    input.Body.properties.services[_].properties.autoScalingPolicies[_].trigger.kind == enum_AutoScalingTriggerKind[_]
    input.Body.properties.services[_].properties.autoScalingPolicies[_].mechanism.kind == enum_AutoScalingMechanismKind[_]
    input.Body.properties.services[_].name == STRING
    input.Body.properties.diagnostics.sinks[_].kind == enum_DiagnosticsSinkKind[_]
    input.Body.properties.diagnostics.sinks[_].name == STRING
    input.Body.properties.diagnostics.sinks[_].description == STRING
    input.Body.properties.diagnostics.enabled == BOOLEAN
    input.Body.properties.diagnostics.defaultSinkRefs[_] == STRING
    input.Body.properties.debugParams == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Application_Delete

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Application_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Application_ListByResourceGroup

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Application_ListBySubscription

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

CodePackage_GetContainerLog

enum_api-versionRequiredQueryParam := [ "2018-07-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.replicaName == STRING
    input.ReqMap.codePackageName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.Qs.tail == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

CodePackage_GetContainerLogs

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.ReqMap.serviceResourceName == STRING
    input.ReqMap.replicaName == STRING
    input.ReqMap.codePackageName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.Qs.tail == INTEGER
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Gateway_Create

enum_HttpRouteMatchHeaderType := [ "exact" ]
enum_HttpRouteMatchPathType := [ "prefix" ]
enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.sourceNetwork.name == STRING
    input.Body.properties.sourceNetwork.endpointRefs[_].name == STRING
    input.Body.properties.destinationNetwork.name == STRING
    input.Body.properties.destinationNetwork.endpointRefs[_].name == STRING
    input.Body.properties.tcp[_].name == STRING
    input.Body.properties.tcp[_].port == INTEGER
    input.Body.properties.tcp[_].destination.applicationName == STRING
    input.Body.properties.tcp[_].destination.serviceName == STRING
    input.Body.properties.tcp[_].destination.endpointName == STRING
    input.Body.properties.http[_].name == STRING
    input.Body.properties.http[_].port == INTEGER
    input.Body.properties.http[_].hosts[_].name == STRING
    input.Body.properties.http[_].hosts[_].routes[_].name == STRING
    input.Body.properties.http[_].hosts[_].routes[_].match.path.value == STRING
    input.Body.properties.http[_].hosts[_].routes[_].match.path.rewrite == STRING
    input.Body.properties.http[_].hosts[_].routes[_].match.path.type == enum_HttpRouteMatchPathType[_]
    input.Body.properties.http[_].hosts[_].routes[_].match.headers[_].name == STRING
    input.Body.properties.http[_].hosts[_].routes[_].match.headers[_].value == STRING
    input.Body.properties.http[_].hosts[_].routes[_].match.headers[_].type == enum_HttpRouteMatchHeaderType[_]
    input.Body.properties.http[_].hosts[_].routes[_].destination.applicationName == STRING
    input.Body.properties.http[_].hosts[_].routes[_].destination.serviceName == STRING
    input.Body.properties.http[_].hosts[_].routes[_].destination.endpointName == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.gatewayResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Gateway_Delete

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.gatewayResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Gateway_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.gatewayResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Gateway_ListByResourceGroup

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Gateway_ListBySubscription

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Network_Create

enum_NetworkKind := [ "Local" ]
enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.kind == enum_NetworkKind[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Network_Delete

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Network_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.networkResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Network_ListByResourceGroup

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Network_ListBySubscription

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

Operations_List

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
}

Replica_Get

enum_api-versionRequiredQueryParam := [ "2018-07-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.serviceName == STRING
    input.ReqMap.replicaName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Replica_ListByServiceName

enum_api-versionRequiredQueryParam := [ "2018-07-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationName == STRING
    input.ReqMap.serviceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SecretValue_Create

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.Body.properties.value == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.ReqMap.secretValueResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SecretValue_Delete

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.ReqMap.secretValueResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SecretValue_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.ReqMap.secretValueResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SecretValue_List

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

SecretValue_ListValue

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.ReqMap.secretValueResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Secret_Create

enum_SecretKind := [ "inlinedValue" ]
enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.contentType == STRING
    input.Body.properties.kind == enum_SecretKind[_]
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Secret_Delete

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Secret_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.secretResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Secret_ListByResourceGroup

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Secret_ListBySubscription

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}

ServiceReplica_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.ReqMap.serviceResourceName == STRING
    input.ReqMap.replicaName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

ServiceReplica_List

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.ReqMap.serviceResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Service_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.ReqMap.serviceResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Service_List

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Service_ListByApplicationName

enum_api-versionRequiredQueryParam := [ "2018-07-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.applicationName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volume_Create

enum_VolumeProvider := [ "SFAzureFile" ]
enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.Body.properties.description == STRING
    input.Body.properties.provider == enum_VolumeProvider[_]
    input.Body.properties.azureFileParameters.accountName == STRING
    input.Body.properties.azureFileParameters.accountKey == STRING
    input.Body.properties.azureFileParameters.shareName == STRING
    input.Body.tags.STRING == STRING
    input.Body.location == STRING
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.volumeResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volume_Delete

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.volumeResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volume_Get

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.ReqMap.volumeResourceName == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volume_ListByResourceGroup

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.ReqMap.ResourceGroup == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
    input.ProviderMetadata.ResourceGroup == STRING
}

Volume_ListBySubscription

enum_api-versionRequiredQueryParam := [ "2018-09-01-preview" ]

valid {
    input.ReqMap.SubscriptionID == STRING
    input.Qs.api-version == enum_api-versionRequiredQueryParam[_]
    input.ProviderMetadata.Region == STRING
    input.ProviderMetadata.SubscriptionID == STRING
}