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.Exception
Welcome getWelcome(int highestAccepted)
java.util.Collection<? extends Area> getAreas() throws java.lang.Exception
java.lang.Exception
Area getArea(java.lang.String areaId) throws java.lang.Exception
java.lang.Exception
boolean removeArea(java.lang.String areaId) throws java.lang.Exception
java.lang.Exception
Area createArea(java.lang.String areaId) throws java.lang.Exception
areaId
- area id, or null for a new areajava.lang.Exception
boolean 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.Exception
int exit(java.lang.String area) throws java.lang.Exception
java.lang.Exception
byte[] view(java.lang.String areaId, java.lang.String path) throws java.lang.Exception
java.lang.Exception
void exit() throws java.lang.Exception
java.lang.Exception
void input(java.lang.String area, java.lang.String text) throws java.lang.Exception
java.lang.Exception
void cancel(java.lang.String areaId) throws java.lang.Exception
java.lang.Exception
boolean clearCache()