APPSTATE
appstate.states.clear
valid {
input.ReqMap.stateKey == INTEGER
input.Qs.currentDataVersion == STRING
input.ProviderMetadata.Region == STRING
}
appstate.states.delete
valid {
input.ReqMap.stateKey == INTEGER
input.ProviderMetadata.Region == STRING
}
appstate.states.get
valid {
input.ReqMap.stateKey == INTEGER
input.ProviderMetadata.Region == STRING
}
appstate.states.list
valid {
input.Qs.includeData == BOOLEAN
input.ProviderMetadata.Region == STRING
}
appstate.states.update
valid {
input.Body.data == STRING
input.Body.kind == STRING
input.ReqMap.stateKey == INTEGER
input.Qs.currentStateVersion == STRING
input.ProviderMetadata.Region == STRING
}
Updated 20 days ago