public function __construct(Reader $reader)
 {
     parent::__construct($reader);
     $this->invariantFetcher = new InvariantFetcher(Invariant::class, $reader);
 }
 public function __construct(Reader $reader)
 {
     parent::__construct($reader);
     $this->methodConditionFetcher = new MethodConditionFetcher(Ensure::class, $reader);
 }
 public function __construct(Reader $reader)
 {
     parent::__construct($reader);
     $this->methodConditionFetcher = new MethodConditionWithInheritDocFetcher(Verify::class, $reader);
 }