Searched refs:coverageBuilder_ (Results 1 – 1 of 1) sorted by relevance
4652 if (coverageBuilder_ == null) { in clear()4656 coverageBuilder_.clear(); in clear()4716 if (coverageBuilder_ == null) { in buildPartial()4723 result.coverage_ = coverageBuilder_.build(); in buildPartial()4806 if (coverageBuilder_ == null) { in mergeFrom()4819 if (coverageBuilder_.isEmpty()) { in mergeFrom()4820 coverageBuilder_.dispose(); in mergeFrom()4821 coverageBuilder_ = null; in mergeFrom()4824 coverageBuilder_ = in mergeFrom()4828 coverageBuilder_.addAllMessages(other.coverage_); in mergeFrom()[all …]