io.github.differentialmanifold.jagentharness.client

Class HttpAgentTransport

java.lang.Object

io.github.differentialmanifold.jagentharness.client.HttpAgentTransport

All Implemented Interfaces:

AgentTransport

public final class HttpAgentTransport
extends Object
implements AgentTransport

JDK HTTP transport: no Spring, OkHttp, JDBC, YAML or server runtime dependency.

Constructor Summary

Constructors

Constructor and Description
HttpAgentTransport(String baseUrl, String token)

Method Summary

Modifier and Type	Method and Description
ChatResponse	chat(ChatRequest request, Consumer<StreamEvent> events)
String	createSession(String title, String workspacePath)
HttpAgentTransport	header(String name, String value)
com.fasterxml.jackson.databind.JsonNode	management(String method, String path, Object body)
ChatResponse	state(String sessionId)
void	stop(String runId)

Methods inherited from class java.lang.Object

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

Constructor Detail

HttpAgentTransport

public HttpAgentTransport(String baseUrl,
                          String token)
                   throws MalformedURLException

Throws:

MalformedURLException

Method Detail

header

public HttpAgentTransport header(String name,
                                 String value)

chat

public ChatResponse chat(ChatRequest request,
                         Consumer<StreamEvent> events)
                  throws IOException

Specified by:

chat in interface AgentTransport

Throws:

IOException

createSession

public String createSession(String title,
                            String workspacePath)
                     throws IOException

Throws:

IOException

state

public ChatResponse state(String sessionId)
                   throws IOException

Throws:

IOException

stop

public void stop(String runId)
          throws IOException

Throws:

IOException

management

public com.fasterxml.jackson.databind.JsonNode management(String method,
                                                          String path,
                                                          Object body)
                                                   throws IOException

Throws:

IOException