Function rtlola_kotlin_bridge::receive_partial_event

#[no_mangle]
pub extern "C" fn receive_partial_event(
    env: JNIEnv<'_>, 
    _: JObject<'_>, 
    monitor: jlong, 
    inputs: jdoubleArray, 
    active: jbooleanArray
) -> jdoubleArray

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 ixth 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