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

/barrelfish-master/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/
H A DVisClient.java494 // NOTE: a slight complication: we use findUnusedStreamName to ensure that
499 viewables_stream_name = findUnusedStreamName(root_viewables_name);
504 updates_stream_name = findUnusedStreamName(root_updates_name);
509 interest_stream_name = findUnusedStreamName(root_interest_name);
517 private String findUnusedStreamName(String name) method in class:VisClient

Completed in 27 milliseconds