520521522523524525526527
{ logger_.error("access on a not connected proxy"); destroy(); throw new Disconnected(); } }
5556575859606162636465
public void runPull() throws Disconnected { if (!delegate_.getConnected()) { throw new Disconnected(); } if (delegate_.isSuspended()) { return;
308309310311312313314315316317318
public void push_structured_event(StructuredEvent event) throws Disconnected { if (!connected_) { throw new Disconnected(); } WhiteboardUpdate _update = WhiteboardUpdateHelper.extract(event.remainder_of_body);
521522523524525526527528
{ logger_.fatalError("access on a not connected proxy"); destroy(); throw new Disconnected(); } }
519520521522523524525526
299300301302303304305306307308309