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
}