MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / Buffered

Class Buffered

src/main/java/wycc/util/MailBox.java:28–53  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

26 public void send(T mesage);
27
28 public static class Buffered<T> implements MailBox<T>, Iterable<T> {
29 private final ArrayList<T> buffer = new ArrayList<>();
30
31 @Override
32 public void send(T message) {
33 buffer.add(message);
34 }
35
36 public Stream<T> stream() {
37 return buffer.stream();
38 }
39
40 @Override
41 public Iterator<T> iterator() {
42 return buffer.iterator();
43 }
44
45 public int size() {
46 return buffer.size();
47 }
48
49 public T get(int index) {
50 return buffer.get(index);
51 }
52
53 }
54}

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected