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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClient.java158 private String updates_stream_name; field in class:VisClient
471 new Atom(updates_stream_name),
504 updates_stream_name = findUnusedStreamName(root_updates_name);
505 updates_stream = eclipse.getFromEclipseQueue(updates_stream_name);

Completed in 24 milliseconds