RemoteSinkpublic interface Sink
| Modifier and Type | Field | Description |
|---|---|---|
static int |
version |
| Modifier and Type | Method | Description |
|---|---|---|
void |
cancel(java.lang.String areaId) |
|
boolean |
clearCache() |
|
Area |
createArea(java.lang.String areaId) |
Create a new area
|
void |
exit() |
|
int |
exit(java.lang.String area) |
|
Area |
getArea(java.lang.String areaId) |
Get a specific area
|
java.util.Collection<? extends Area> |
getAreas() |
Return a list of areas
|
Welcome |
getWelcome(int highestAccepted) |
Return the protocol version that must be used.
|
void |
input(java.lang.String area,
java.lang.String text) |
|
boolean |
launch(java.lang.String areaId,
java.util.Map<java.lang.String,java.lang.String> env,
java.util.List<java.lang.String> args) |
Launch
|
boolean |
removeArea(java.lang.String areaId) |
Remove an area
|
boolean |
sync(java.lang.String areaId,
java.util.Collection<Delta> deltas) |
|
byte[] |
view(java.lang.String areaId,
java.lang.String path) |
View a file or dir
|
static final int version
boolean sync(java.lang.String areaId,
java.util.Collection<Delta> deltas)
throws java.lang.Exception
java.lang.ExceptionWelcome getWelcome(int highestAccepted)
java.util.Collection<? extends Area> getAreas() throws java.lang.Exception
java.lang.ExceptionArea getArea(java.lang.String areaId) throws java.lang.Exception
java.lang.Exceptionboolean removeArea(java.lang.String areaId)
throws java.lang.Exception
java.lang.ExceptionArea createArea(java.lang.String areaId) throws java.lang.Exception
areaId - area id, or null for a new areajava.lang.Exceptionboolean launch(java.lang.String areaId,
java.util.Map<java.lang.String,java.lang.String> env,
java.util.List<java.lang.String> args)
throws java.lang.Exception
java.lang.Exceptionint exit(java.lang.String area) throws java.lang.Exception
java.lang.Exceptionbyte[] view(java.lang.String areaId,
java.lang.String path)
throws java.lang.Exception
java.lang.Exceptionvoid exit() throws java.lang.Exception
java.lang.Exceptionvoid input(java.lang.String area,
java.lang.String text)
throws java.lang.Exception
java.lang.Exceptionvoid cancel(java.lang.String areaId)
throws java.lang.Exception
java.lang.Exceptionboolean clearCache()