io.github.differentialmanifold.jagentharness.client

Class LocalWorkspaces

java.lang.Object

io.github.differentialmanifold.jagentharness.client.LocalWorkspaces

All Implemented Interfaces:

RunnerWorkspaces

public final class LocalWorkspaces
extends Object
implements RunnerWorkspaces

Browses directories accessible to the runner's OS account; no inbound listener is opened.

Constructor Summary

Constructors

Constructor and Description
LocalWorkspaces()

Method Summary

Modifier and Type	Method and Description
WorkspaceListing	browse(String path)
Path	resolve(String path)

Methods inherited from class java.lang.Object

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

Constructor Detail

LocalWorkspaces

public LocalWorkspaces()

Method Detail

resolve

public Path resolve(String path)
             throws IOException

Specified by:

resolve in interface RunnerWorkspaces

Throws:

IOException

browse

public WorkspaceListing browse(String path)
                        throws IOException

Specified by:

browse in interface RunnerWorkspaces

Throws:

IOException