Searched refs:updates_stream (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClient.java157 private FromEclipseQueue updates_stream; field in class:VisClient
449 updates_stream.setListener(new UpdatesQL());
505 updates_stream = eclipse.getFromEclipseQueue(updates_stream_name);
506 updates_stream.setListener(new UpdatesQL());
866 updates_stream.close();

Completed in 81 milliseconds