@Override public Set<ObjectId> getTips() { if (tips == null) { tips = new HashSet<ObjectId>(); for (String idString : info.getTipList().getObjectNameList()) tips.add(ObjectId.fromString(idString)); tips = Collections.unmodifiableSet(tips); } return tips; }
@Override public Set<ObjectId> getTips() { if (tips == null) { tips = new HashSet<ObjectId>(); for (String idString : info.getTipList().getObjectNameList()) tips.add(ObjectId.fromString(idString)); tips = Collections.unmodifiableSet(tips); } return tips; }
hash = (53 * hash) + getTipList().hashCode();
result = result && getTipList() .equals(other.getTipList());
result = result && getTipList() .equals(other.getTipList());
hash = (53 * hash) + getTipList().hashCode();
public Builder mergeFrom(org.eclipse.jgit.generated.storage.dht.proto.GitStore.CachedPackInfo other) { if (other == org.eclipse.jgit.generated.storage.dht.proto.GitStore.CachedPackInfo.getDefaultInstance()) return this; if (other.hasName()) { setName(other.getName()); } if (other.hasVersion()) { setVersion(other.getVersion()); } if (other.hasObjectsTotal()) { setObjectsTotal(other.getObjectsTotal()); } if (other.hasObjectsDelta()) { setObjectsDelta(other.getObjectsDelta()); } if (other.hasBytesTotal()) { setBytesTotal(other.getBytesTotal()); } if (other.hasTipList()) { mergeTipList(other.getTipList()); } if (other.hasChunkList()) { mergeChunkList(other.getChunkList()); } this.mergeUnknownFields(other.getUnknownFields()); return this; }
public Builder mergeFrom(org.eclipse.jgit.generated.storage.dht.proto.GitStore.CachedPackInfo other) { if (other == org.eclipse.jgit.generated.storage.dht.proto.GitStore.CachedPackInfo.getDefaultInstance()) return this; if (other.hasName()) { setName(other.getName()); } if (other.hasVersion()) { setVersion(other.getVersion()); } if (other.hasObjectsTotal()) { setObjectsTotal(other.getObjectsTotal()); } if (other.hasObjectsDelta()) { setObjectsDelta(other.getObjectsDelta()); } if (other.hasBytesTotal()) { setBytesTotal(other.getBytesTotal()); } if (other.hasTipList()) { mergeTipList(other.getTipList()); } if (other.hasChunkList()) { mergeChunkList(other.getChunkList()); } this.mergeUnknownFields(other.getUnknownFields()); return this; }