equals this that tests whether this and that are equal; see
equals(...).Java_exception if this is nullto_string obj returns the string representation of obj; see
toString(...).Java_exception if obj is nullnotify obj wakes up a thread waiting on the monitor of obj; see
notify(...).Java_exception if obj is nullJava_exception if the current thread does not hold the monitornotify_all obj wakes up all the threads waiting on the monitor of obj; see
notifyAll(...).Java_exception if obj is nullJava_exception if the current thread does not hold the monitorwait obj waits for a notification on the monitor of obj; see
wait(...).Java_exception if obj is nullJava_exception if the current thread does not hold the monitorJava_exception if the thread is interrupted during waitwait_timeout obj ms waits for a notification on the monitor of obj,
or a time of ms milliseconds has elapsed; see
wait(...).Java_exception if obj is nullJava_exception if the current thread does not hold the monitorJava_exception if the thread is interrupted during waitJava_exception if ms is negativewait_timeout_nanos obj ms ns waits for a notification on the monitor of obj,
or a time of to milliseconds and na nanoseconds has elapsed; see
wait(...).Java_exception if obj is nullJava_exception if the current thread does not hold the monitorJava_exception if the thread is interrupted during waitJava_exception if ms is negativeJava_exception if ns is not in the 0-999999 intervalis_null obj returns true iff obj is equal to null.is_not_null obj returns false iff obj is equal to null.wrap obj wraps the reference obj into an option type:Some x if obj is not null;None if obj is null.unwrap obj unwraps the option obj into a bare reference:Some x is mapped to x;None is mapped to null.