private function getDocumentedElementsCount(ArrayObject $result) { $count = 0; foreach ($result as $element) { $count += (int) $element->isDocumented(); } return $count; }