MICROSOFT.OFFAZURESPRINGBOOT
ErrorSummaries_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.errorSummaryName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
ErrorSummaries_ListBySite
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == 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
}
Summaries_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.summaryName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Summaries_ListBySite
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootapps_CreateOrUpdate
valid {
input.Body.properties.appName == STRING
input.Body.properties.artifactName == STRING
input.Body.properties.appPort == INTEGER
input.Body.properties.appType == STRING
input.Body.properties.applicationConfigurations[_].key == STRING
input.Body.properties.applicationConfigurations[_].value == STRING
input.Body.properties.bindingPorts[_] == INTEGER
input.Body.properties.buildJdkVersion == STRING
input.Body.properties.certificates[_] == STRING
input.Body.properties.checksum == STRING
input.Body.properties.dependencies[_] == STRING
input.Body.properties.environments[_] == STRING
input.Body.properties.instanceCount == INTEGER
input.Body.properties.jarFileLocation == STRING
input.Body.properties.jvmMemoryInMB == INTEGER
input.Body.properties.jvmOptions[_] == STRING
input.Body.properties.miscs[_].key == STRING
input.Body.properties.miscs[_].value == STRING
input.Body.properties.instances[_].machineArmId == STRING
input.Body.properties.instances[_].instanceCount == INTEGER
input.Body.properties.instances[_].jvmMemoryInMB == INTEGER
input.Body.properties.runtimeJdkVersion == STRING
input.Body.properties.servers[_] == STRING
input.Body.properties.machineArmIds[_] == STRING
input.Body.properties.springBootVersion == STRING
input.Body.properties.staticContentLocations[_] == STRING
input.Body.properties.connectionStrings[_] == STRING
input.Body.properties.lastModifiedTime == STRING
input.Body.properties.lastUpdatedTime == STRING
input.Body.properties.errors[_].id == INTEGER
input.Body.properties.errors[_].code == STRING
input.Body.properties.errors[_].summaryMessage == STRING
input.Body.properties.errors[_].runAsAccountId == STRING
input.Body.properties.errors[_].message == STRING
input.Body.properties.errors[_].possibleCauses == STRING
input.Body.properties.errors[_].recommendedAction == STRING
input.Body.properties.errors[_].severity == STRING
input.Body.properties.errors[_].updatedTimeStamp == STRING
input.Body.properties.labels.STRING == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootappsName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootapps_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootappsName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootapps_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootappsName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootapps_ListByResourceGroup
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootapps_ListBySubscription
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.siteName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
springbootapps_Update
valid {
input.Body.properties.appName == STRING
input.Body.properties.artifactName == STRING
input.Body.properties.appPort == INTEGER
input.Body.properties.appType == STRING
input.Body.properties.applicationConfigurations[_].key == STRING
input.Body.properties.applicationConfigurations[_].value == STRING
input.Body.properties.bindingPorts[_] == INTEGER
input.Body.properties.buildJdkVersion == STRING
input.Body.properties.certificates[_] == STRING
input.Body.properties.checksum == STRING
input.Body.properties.dependencies[_] == STRING
input.Body.properties.environments[_] == STRING
input.Body.properties.instanceCount == INTEGER
input.Body.properties.jarFileLocation == STRING
input.Body.properties.jvmMemoryInMB == INTEGER
input.Body.properties.jvmOptions[_] == STRING
input.Body.properties.miscs[_].key == STRING
input.Body.properties.miscs[_].value == STRING
input.Body.properties.instances[_].machineArmId == STRING
input.Body.properties.instances[_].instanceCount == INTEGER
input.Body.properties.instances[_].jvmMemoryInMB == INTEGER
input.Body.properties.runtimeJdkVersion == STRING
input.Body.properties.servers[_] == STRING
input.Body.properties.machineArmIds[_] == STRING
input.Body.properties.springBootVersion == STRING
input.Body.properties.staticContentLocations[_] == STRING
input.Body.properties.connectionStrings[_] == STRING
input.Body.properties.lastModifiedTime == STRING
input.Body.properties.lastUpdatedTime == STRING
input.Body.properties.errors[_].id == INTEGER
input.Body.properties.errors[_].code == STRING
input.Body.properties.errors[_].summaryMessage == STRING
input.Body.properties.errors[_].runAsAccountId == STRING
input.Body.properties.errors[_].message == STRING
input.Body.properties.errors[_].possibleCauses == STRING
input.Body.properties.errors[_].recommendedAction == STRING
input.Body.properties.errors[_].severity == STRING
input.Body.properties.errors[_].updatedTimeStamp == STRING
input.Body.properties.labels.STRING == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootappsName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootservers_CreateOrUpdate
enum_springbootserversPropertiesProvisioningState := [ "Unknown", "Succeeded", "Failed", "Canceled", "Accepted", "Provisioning", "Deleting" ]
valid {
input.Body.properties.port == INTEGER
input.Body.properties.server == STRING
input.Body.properties.fqdnAndIpAddressList[_] == STRING
input.Body.properties.machineArmId == STRING
input.Body.properties.totalApps == INTEGER
input.Body.properties.springBootApps == INTEGER
input.Body.properties.errors[_].id == INTEGER
input.Body.properties.errors[_].code == STRING
input.Body.properties.errors[_].summaryMessage == STRING
input.Body.properties.errors[_].runAsAccountId == STRING
input.Body.properties.errors[_].message == STRING
input.Body.properties.errors[_].possibleCauses == STRING
input.Body.properties.errors[_].recommendedAction == STRING
input.Body.properties.errors[_].severity == STRING
input.Body.properties.errors[_].updatedTimeStamp == STRING
input.Body.properties.provisioningState == enum_springbootserversPropertiesProvisioningState[_]
input.Body.properties.labels.STRING == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootserversName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootservers_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootserversName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootservers_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootserversName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootservers_ListByResourceGroup
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootservers_ListBySubscription
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.siteName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
springbootservers_Update
enum_springbootserversPropertiesProvisioningState := [ "Unknown", "Succeeded", "Failed", "Canceled", "Accepted", "Provisioning", "Deleting" ]
valid {
input.Body.properties.port == INTEGER
input.Body.properties.server == STRING
input.Body.properties.fqdnAndIpAddressList[_] == STRING
input.Body.properties.machineArmId == STRING
input.Body.properties.totalApps == INTEGER
input.Body.properties.springBootApps == INTEGER
input.Body.properties.errors[_].id == INTEGER
input.Body.properties.errors[_].code == STRING
input.Body.properties.errors[_].summaryMessage == STRING
input.Body.properties.errors[_].runAsAccountId == STRING
input.Body.properties.errors[_].message == STRING
input.Body.properties.errors[_].possibleCauses == STRING
input.Body.properties.errors[_].recommendedAction == STRING
input.Body.properties.errors[_].severity == STRING
input.Body.properties.errors[_].updatedTimeStamp == STRING
input.Body.properties.provisioningState == enum_springbootserversPropertiesProvisioningState[_]
input.Body.properties.labels.STRING == STRING
input.Body.STRING == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.siteName == STRING
input.ReqMap.springbootserversName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootsites_CreateOrUpdate
enum_springbootsitesPropertiesProvisioningState := [ "Unknown", "Succeeded", "Failed", "Canceled", "Accepted", "Provisioning", "Deleting" ]
valid {
input.Body.properties.masterSiteId == STRING
input.Body.properties.migrateProjectId == STRING
input.Body.properties.provisioningState == enum_springbootsitesPropertiesProvisioningState[_]
input.Body.extendedLocation.type == STRING
input.Body.extendedLocation.name == STRING
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.springbootsitesName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootsites_Delete
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.springbootsitesName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootsites_Get
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.springbootsitesName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootsites_ListByResourceGroup
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
}
springbootsites_ListBySubscription
valid {
input.ReqMap.SubscriptionID == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
}
springbootsites_TriggerRefreshSite
valid {
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.springbootsitesName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
springbootsites_Update
enum_springbootsitesPropertiesProvisioningState := [ "Unknown", "Succeeded", "Failed", "Canceled", "Accepted", "Provisioning", "Deleting" ]
valid {
input.Body.properties.masterSiteId == STRING
input.Body.properties.migrateProjectId == STRING
input.Body.properties.provisioningState == enum_springbootsitesPropertiesProvisioningState[_]
input.Body.tags.STRING == STRING
input.Body.location == STRING
input.ReqMap.SubscriptionID == STRING
input.ReqMap.ResourceGroup == STRING
input.ReqMap.springbootsitesName == STRING
input.Qs.api-version == STRING
input.ProviderMetadata.Region == STRING
input.ProviderMetadata.SubscriptionID == STRING
input.ProviderMetadata.ResourceGroup == STRING
}
Updated 8 months ago