PHP PHPAccessControl\Specification\ValueBoundSpecification\GreaterThan::lAnd示例

示例#1

文件： LogicalOrTest.php 项目： koenhoeymans/PHPAccessControl

 /**
  * @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)));
 }

示例#2

文件： LogicalAndTest.php 项目： koenhoeymans/PHPAccessControl

 /**
  * @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));
 }