LAnd, Chippyash\Validation\Logical PHP代码示例

示例#1

0

显示文件

文件： LAndTest.php 项目： chippyash/validation

 public function testTheAndLogicalValidatorReturnsExpectedResponse()
 {
     $test = new LAnd($this->true, $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new LAnd($this->true, $this->false);
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, $this->true);
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, $this->false);
     $this->assertFalse($test->isValid('foo'));
 }

示例#2

0

显示文件

文件： Identity.php 项目： chippyash/math-matrix

 /**
  * @inheritDoc
  */
 protected function validateArguments(array $args)
 {
     $valA1 = new HasTypeMap(['size' => 'integer']);
     $valA2 = new Lambda(function ($args) {
         return $args['size'] > 0;
     }, new StringType(self::ERR1));
     $validator = new LAnd($valA1, $valA2);
     if (!$validator->isValid($args)) {
         throw new InvalidParameterException(implode(':', $validator->getMessages()));
     }
 }

示例#3

0

显示文件

文件： Functional.php 项目： chippyash/math-matrix

 /**
  * @inheritDoc
  */
 protected function validateArguments(array $args)
 {
     $valA1 = new HasTypeMap(['rows' => 'integer', 'cols' => 'integer', 'f' => function ($val) {
         return $val instanceof \Closure;
     }]);
     $valA2 = new Lambda(function ($args) {
         return $args['rows'] > 0 && $args['cols'] > 0;
     }, new StringType(self::ERR1));
     $validator = new LAnd($valA1, $valA2);
     if (!$validator->isValid($args)) {
         throw new InvalidParameterException(implode(':', $validator->getMessages()));
     }
 }

示例#4

0

显示文件

文件： CombinationTest.php 项目： chippyash/validation

 public function testCombinationsOfTheLogicalValidatorsWorkCorrectly()
 {
     //a AND (b OR c)
     $test = new LAnd($this->true, new LOr($this->true, $this->false));
     $this->assertTrue($test->isValid('foo'));
     $test = new LAnd($this->true, new LOr($this->false, $this->true));
     $this->assertTrue($test->isValid('foo'));
     $test = new LAnd($this->true, new LOr($this->true, $this->true));
     $this->assertTrue($test->isValid('foo'));
     $test = new LAnd($this->true, new LOr($this->false, $this->false));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->true, $this->false));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->false, $this->true));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->true, $this->true));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->false, $this->false));
     $this->assertFalse($test->isValid('foo'));
     //(a AND b) OR c
     $test = new Lor(new LAnd($this->true, $this->true), $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->true), $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new Lor(new LAnd($this->true, $this->false), $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->false), $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new Lor(new LAnd($this->true, $this->true), $this->false);
     $this->assertTrue($test->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->true), $this->false);
     $this->assertFalse($test->isValid('foo'));
     $test = new Lor(new LAnd($this->true, $this->false), $this->false);
     $this->assertFalse($test->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->false), $this->false);
     $this->assertFalse($test->isValid('foo'));
     //a AND (b XOR c)
     $test = new LAnd($this->true, new LXor($this->true, $this->false));
     $this->assertTrue($test->isValid('foo'));
     $test = new LAnd($this->true, new LXor($this->false, $this->true));
     $this->assertTrue($test->isValid('foo'));
     $test = new LAnd($this->true, new LXor($this->true, $this->true));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->true, new LXor($this->false, $this->false));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->true, $this->false));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->false, $this->true));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->true, $this->true));
     $this->assertFalse($test->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->false, $this->false));
     $this->assertFalse($test->isValid('foo'));
     //(a AND b) XOR c
     $test = new LXor(new LAnd($this->true, $this->true), $this->true);
     $this->assertFalse($test->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->true), $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new LXor(new LAnd($this->true, $this->false), $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->false), $this->true);
     $this->assertTrue($test->isValid('foo'));
     $test = new LXor(new LAnd($this->true, $this->true), $this->false);
     $this->assertTrue($test->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->true), $this->false);
     $this->assertFalse($test->isValid('foo'));
     $test = new LXor(new LAnd($this->true, $this->false), $this->false);
     $this->assertFalse($test->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->false), $this->false);
     $this->assertFalse($test->isValid('foo'));
     //using not
     //NOT (a AND (b OR c))
     $test = new LAnd($this->true, new LOr($this->true, $this->false));
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LAnd($this->true, new LOr($this->false, $this->true));
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LAnd($this->true, new LOr($this->true, $this->true));
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LAnd($this->true, new LOr($this->false, $this->false));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->true, $this->false));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->false, $this->true));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->true, $this->true));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LOr($this->false, $this->false));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     //NOT ((a AND b) OR c)
     $test = new Lor(new LAnd($this->true, $this->true), $this->true);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->true), $this->true);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new Lor(new LAnd($this->true, $this->false), $this->true);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->false), $this->true);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new Lor(new LAnd($this->true, $this->true), $this->false);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->true), $this->false);
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new Lor(new LAnd($this->true, $this->false), $this->false);
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new Lor(new LAnd($this->false, $this->false), $this->false);
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     //NOT (a AND (b XOR c))
     $test = new LAnd($this->true, new LXor($this->true, $this->false));
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LAnd($this->true, new LXor($this->false, $this->true));
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LAnd($this->true, new LXor($this->true, $this->true));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->true, new LXor($this->false, $this->false));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->true, $this->false));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->false, $this->true));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->true, $this->true));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LAnd($this->false, new LXor($this->false, $this->false));
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     //NOT ((a AND b) XOR c)
     $test = new LXor(new LAnd($this->true, $this->true), $this->true);
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->true), $this->true);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LXor(new LAnd($this->true, $this->false), $this->true);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->false), $this->true);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LXor(new LAnd($this->true, $this->true), $this->false);
     $not = new LNot($test);
     $this->assertFalse($not->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->true), $this->false);
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LXor(new LAnd($this->true, $this->false), $this->false);
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     $test = new LXor(new LAnd($this->false, $this->false), $this->false);
     $not = new LNot($test);
     $this->assertTrue($not->isValid('foo'));
     //feel free to add other combinations if you are bored!
 }

PHP Chippyash\Validation\Logical LAnd示例