protected void finalize() throws Throwable {
if (ptr != 0) { bindings.MessageSendEventsProvider_free(ptr); } super.finalize();
}
-
+ /**
+ * Destroys the object, freeing associated resources. After this call, any access
+ * to this object may result in a SEGFAULT or worse.
+ *
+ * You should generally NEVER call this method. You should let the garbage collector
+ * do this for you when it finalizes objects. However, it may be useful for types
+ * which represent locks and should be closed immediately to avoid holding locks
+ * until the GC runs.
+ */
+ public void destroy() {
+ if (ptr != 0) { bindings.MessageSendEventsProvider_free(ptr); }
+ ptr = 0;
+ }
public static interface MessageSendEventsProviderInterface {
/**
* Gets the list of pending events which were generated by previous actions, clearing the list
MessageSendEvent[] ret = arg.get_and_clear_pending_msg_events();
Reference.reachabilityFence(arg);
long[] result = ret != null ? Arrays.stream(ret).mapToLong(ret_conv_18 -> ret_conv_18 == null ? 0 : ret_conv_18.clone_ptr()).toArray() : null;
+ for (MessageSendEvent ret_conv_18: ret) { if (impl_holder.held != null) { impl_holder.held.ptrs_to.add(ret_conv_18); }; };
return result;
}
});