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