org.scaladebugger.api.profiles.pure.requests.monitors
Represents a monitor waited event and any associated data.
Represents a monitor waited event and any associated data.
Constructs a stream of monitor waited events.
Constructs a stream of monitor waited events.
The additional JDI arguments to provide
The stream of monitor waited events
Constructs a stream of monitor waited events.
Constructs a stream of monitor waited events.
The additional JDI arguments to provide
The stream of monitor waited events and any retrieved data based on requests from extra arguments
Determines if the monitor waited request with the specified arguments is pending.
Determines if the monitor waited request with the specified arguments is pending.
The additional arguments provided to the specific monitor waited request
True if there is at least one monitor waited request with the provided extra arguments that is pending, otherwise false
Retrieves the collection of active and pending monitor waited requests.
Retrieves the collection of active and pending monitor waited requests.
The collection of information on monitor waited requests
Constructs a new request helper for monitor waited.
Constructs a new request helper for monitor waited.
The new request helper
Removes all monitor waited requests.
Removes all monitor waited requests.
The collection of information about removed monitor waited requests
Removes all monitor waited requests with the specified extra arguments.
Removes all monitor waited requests with the specified extra arguments.
the additional arguments provided to the specific monitor waited request
Some information about the removed request if it existed, otherwise None
Constructs a stream of monitor waited events.
Constructs a stream of monitor waited events.
The additional JDI arguments to provide
The stream of monitor waited events
Constructs a stream of monitor waited events.
Constructs a stream of monitor waited events.
The additional JDI arguments to provide
The stream of monitor waited events and any retrieved data based on requests from extra arguments
Removes all monitor waited requests.
Removes all monitor waited requests.
Success containing the collection of information about removed monitor waited requests, otherwise a failure
Removes all monitor waited requests with the specified extra arguments.
Removes all monitor waited requests with the specified extra arguments.
the additional arguments provided to the specific monitor waited request
Success containing Some information if it existed (or None if it did not), otherwise a failure
Represents a pure profile for monitor waited events that adds no extra logic on top of the standard JDI.