org.scaladebugger.api.profiles.pure.monitors
Represents a monitor contended enter event and any associated data.
Represents a monitor contended enter event and any associated data.
Constructs a stream of monitor contended enter events.
Constructs a stream of monitor contended enter events.
The additional JDI arguments to provide
The stream of monitor contended enter events
Constructs a stream of monitor contended enter events.
Constructs a stream of monitor contended enter events.
The additional JDI arguments to provide
The stream of monitor contended enter events and any retrieved data based on requests from extra arguments
Determines if the monitor contended enter request with the specified arguments is pending.
Determines if the monitor contended enter request with the specified arguments is pending.
The additional arguments provided to the specific monitor contended enter request
True if there is at least one monitor contended enter request with the provided extra arguments that is pending, otherwise false
Retrieves the collection of active and pending monitor contended enter requests.
Retrieves the collection of active and pending monitor contended enter requests.
The collection of information on monitor contended enter requests
Creates a new pipeline of monitor contended enter events and data using the given arguments.
Creates a new pipeline of monitor contended enter events and data using the given arguments. The pipeline is NOT memoized; therefore, each call creates a new pipeline with a new underlying event handler feeding the pipeline. This means that the pipeline needs to be properly closed to remove the event handler.
The id of the request whose events to stream through the new pipeline
The additional event arguments to provide to the event handler feeding the new pipeline
The new monitor contended enter event and data pipeline
Creates a new function used for closing generated pipelines.
Creates a new function used for closing generated pipelines.
The id of the request
The arguments associated with the request
The new function for closing the pipeline
Creates a new monitor contended enter request using the given arguments.
Creates a new monitor contended enter request using the given arguments. The request is memoized, meaning that the same request will be returned for the same arguments. The memoized result will be thrown out if the underlying request storage indicates that the request has been removed.
The id of the created monitor contended enter request
Used to generate new request ids to capture request/event matches.
Used to generate new request ids to capture request/event matches.
The new id as a string
Removes all monitor contended enter requests.
Removes all monitor contended enter requests.
The collection of information about removed monitor contended enter requests
Removes all monitor contended enter requests with the specified extra arguments.
Removes all monitor contended enter requests with the specified extra arguments.
the additional arguments provided to the specific monitor contended enter request
Some information about the removed request if it existed, otherwise None
Constructs a stream of monitor contended enter events.
Constructs a stream of monitor contended enter events.
The additional JDI arguments to provide
The stream of monitor contended enter events
Constructs a stream of monitor contended enter events.
Constructs a stream of monitor contended enter events.
The additional JDI arguments to provide
The stream of monitor contended enter events and any retrieved data based on requests from extra arguments
Removes all monitor contended enter requests.
Removes all monitor contended enter requests.
Success containing the collection of information about removed monitor contended enter requests, otherwise a failure
Removes all monitor contended enter requests with the specified extra arguments.
Removes all monitor contended enter requests with the specified extra arguments.
the additional arguments provided to the specific monitor contended enter request
Success containing Some information if it existed (or None if it did not), otherwise a failure
Represents a pure profile for monitor contended enter events that adds no extra logic on top of the standard JDI.