/** * @test */ public function eq5OrGt5isGeneralizationOfGt6AndEq7() { $eq5 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(5); $gt5 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(5); $gt6 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(6); $eq7 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(7); $this->assertTrue($eq5->lOr($gt5)->isGeneralizationOf($gt6->lAnd($eq7))); }
/** * @test */ public function isGeneralizationOfLeafSpecificationIfLeafSpecificationIsSpecialCaseOfAllParts() { $eq2 = new \PHPAccessControl\Specification\ValueBoundSpecification\Equals(2); $gt1 = new \PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan(1); $lt4 = new \PHPAccessControl\Specification\ValueBoundSpecification\LesserThan(4); $this->assertTrue($gt1->lAnd($lt4)->isGeneralizationOf($eq2)); }