PHP PhpDeal\Aspect AbstractContractAspectの例

コード例 #1

ファイル: InvariantCheckerAspect.php プロジェクト: lisachenko/php-deal

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

コード例 #2

ファイル: PostconditionCheckerAspect.php プロジェクト: lisachenko/php-deal

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

コード例 #3

ファイル: PreconditionCheckerAspect.php プロジェクト: lisachenko/php-deal

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