Function rtlola_kotlin_bridge::receive_partial_event [−][src]
#[no_mangle]
pub extern "C" fn receive_partial_event(
env: JNIEnv<'_>,
_: JObject<'_>,
monitor: jlong,
inputs: jdoubleArray,
active: jbooleanArray
) -> jdoubleArray
Expand description
Receives a single event and returns an array of verdicts.
Interprets the monitor
input as pointer to a KotlinMonitor
received via the init
function.
The input
argument contains a long value for each input of the specification plus the current timestamp at the end.
The active
argument is a bool array where a true
value at position ix
indicates that the ix
th value of
input
contains a meaningful new value. All other values will be ignored.
The timestamp must always be active, so the following invariant must hold:
`len(inputs) == len(active) && last(active) || len(inputs) == len(active) + 1