api
Toggle table of contents
1.1.1
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
api
api
/
io.devconsole.api
/
DevConsoleFacadeProvider
/
recordPush
record
Push
abstract
fun
recordPush
(
input
:
PushInput
)
:
PushEvent
Called directly from the host's own push receiver. Never attempts provider delivery itself.