/** * @param ReflectionClass $class * @return array */ private function fetchAllContracts(ReflectionClass $class) { $allContracts = $this->invariantFetcher->getConditions($class); foreach ($this->reader->getClassAnnotations($class) as $annotation) { if ($annotation instanceof Invariant) { $allContracts[] = $annotation; } } return array_unique($allContracts); }