5051525354555657
for (String field : message.getWaveletIdPrefix()) { addWaveletIdPrefix(field); } clearKnownWavelet(); for (WaveletVersion field : message.getKnownWavelet()) { addKnownWavelet(new WaveletVersionImpl(field)); } }
123124125126127128129
} } @Override public WaveletVersionImpl getKnownWavelet(int n) { return new WaveletVersionImpl(knownWavelet.get(n)); }
128129130131132133134
return new WaveletVersionImpl(knownWavelet.get(n)); } @Override public void setKnownWavelet(int n, WaveletVersion message) { this.knownWavelet.set(n, new WaveletVersionImpl(message)); }
138139140141142143144
return knownWavelet.size(); } @Override public void addKnownWavelet(WaveletVersion message) { this.knownWavelet.add(new WaveletVersionImpl(message)); }