The destination for the requests
The low-level event manager to listen to events
The type of event to
Generates a new request id
Creates a new request using the provided request id, request arguments, and collection of JDI arguments
Determines whether a request exists with the provided request arguments
Removes a request using its id
Creates a new event info pipeline using the provided Scala virtual machine, JDI event, and collection of JDI arguments
Retrieves the information for a request using its request id, returning Some(info) if found
If true, includes a unique id on each new request and filters the generated pipelines using the unique id property filter (should be set to false for events without requests such as VM Start)
Represents the combination of event and data returned.
The low-level event manager to listen to events
The low-level event manager to listen to events
Creates a new pipeline of events and data using the given arguments.
Creates a new pipeline of 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 key used to increment and decrement the underlying pipeline counter
Success containing new event and data pipeline, otherwise a failure
Creates a new request using the given arguments.
Creates a new 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 custom request arguments
The JDI request arguments
Success containing the event id, otherwise a failure
The destination for the requests
The destination for the requests
Represents the base request that abstracts functionality common among all requests.
The JDI event
The event info type to transform the JDI event into
The arguments used to create a request
The key to use when looking up a pipeline counter to increment or decrement