/** * @test */ public function notLesserThanIsEqualsOrLesserThan() { $eq2 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(2); $lt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\LesserThan(2); $gt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(2); $this->assertTrue($gt2->not()->isEqualTo($eq2->lOr($lt2))); }
/** * @test */ public function lt4OrGt2IsGeneralizationOfNotLt4AndNotGt2() { $lt4 = new \PHPAccessControl\Specification\ValueBoundSpecification\LesserThan(4); $gt2 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(2); $notLt4AndNotGt2 = $lt4->not()->lAnd($gt2->not()); $this->assertTrue($lt4->lOr($gt2)->isGeneralizationOf($notLt4AndNotGt2)); }