public interface Sink
| Modifier and Type | Field and Description |
|---|---|
static int |
version |
| Modifier and Type | Method and 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()