public ClientAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public ServerAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public void addListener(Closeable listener) { listeners.add(listener); }
server.accept(); shell = server.getShell(); closeable.add(new Closeable() { public void close() throws IOException { vm.detach();
public ClientAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public ServerAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public ClientAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public ServerAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public void addListener(Closeable listener) { listeners.add(listener); }
public ClientAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public ServerAutomaton addCloseListener(Closeable closeable) { listeners.add(closeable); return this; }
public void addListener(Closeable listener) { listeners.add(listener); }