public final synchronized void setBufferSize(int size) { event_queue = new EventQueue(size); }
public final synchronized void setBufferSize(int size) { event_queue = new EventQueue(size); }
/** * Creates a new EventQueue. Events in old queue are lost. */ public final void setEventQueueSize(int size) { try { setDeviceEventQueueSize(size); event_queue = new EventQueue(size); } catch (IOException e) { ControllerEnvironment.log("Failed to create new event queue of size " + size + ": " + e); } }
/** * Creates a new EventQueue. Events in old queue are lost. */ public final void setEventQueueSize(int size) { try { setDeviceEventQueueSize(size); event_queue = new EventQueue(size); } catch (IOException e) { ControllerEnvironment.logln("Failed to create new event queue of size " + size + ": " + e); } }
/** * Creates a new EventQueue. Events in old queue are lost. */ public final void setEventQueueSize(int size) { try { setDeviceEventQueueSize(size); event_queue = new EventQueue(size); } catch (IOException e) { ControllerEnvironment.log("Failed to create new event queue of size " + size + ": " + e); } }
/** * Creates a new EventQueue. Events in old queue are lost. */ public final void setEventQueueSize(int size) { try { setDeviceEventQueueSize(size); event_queue = new EventQueue(size); } catch (IOException e) { ControllerEnvironment.log("Failed to create new event queue of size " + size + ": " + e); } }