io.github.differentialmanifold.jagentharness.client

Class ClientRunOptions

java.lang.Object

io.github.differentialmanifold.jagentharness.client.ClientRunOptions

public final class ClientRunOptions
extends Object

Caller-owned process-local options. No field is serialized onto the wire.

Constructor Summary

Constructors

Constructor and Description
ClientRunOptions()

Method Summary

Modifier and Type	Method and Description
ClientRunOptions	onEvent(Consumer<StreamEvent> events)
ClientRunOptions	stopSignal(StopSignal stop)
ClientRunOptions	toolContext(Object context)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ClientRunOptions

public ClientRunOptions()

Method Detail

onEvent

public ClientRunOptions onEvent(Consumer<StreamEvent> events)

stopSignal

public ClientRunOptions stopSignal(StopSignal stop)

toolContext

public ClientRunOptions toolContext(Object context)