165166167168169170171172173174175
for (SymbolicRecord rec : packet) { writer.write(rec); } while (os.size() < packetSize && submitQueue.size() > 0) { SymbolicRecord rec = submitQueue.take(); packet.add(rec); writer.write(rec); } byte[] data = os.toByteArray();
183184185186187188189190191192193
for (SymbolicRecord rec : packet) { results.addAll(recToData(rec)); } while (os.size() < packetSize && submitQueue.size() > 0) { SymbolicRecord rec = submitQueue.take(); // save to temp list packet.add(rec); results.addAll(recToData(rec)); }