コード例 #1
0
ファイル: ModuleTest.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method tests the "id" method.
  */
 public function test_id()
 {
     $x = IBool\Type::true();
     $y = IBool\Type::false();
     $z = IBool\Module::id($x, $x);
     $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $z);
     $this->assertSame(true, $z->unbox());
     $z = IBool\Module::id($x, $y);
     $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $z);
     $this->assertSame(false, $z->unbox());
 }
コード例 #2
0
ファイル: Module.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method evaluates whether the left operand is NOT identical to the right operand.
  *
  * @access public
  * @static
  * @param IBool\Type $x                                     the left operand
  * @param Core\Type $y                                      the right operand
  * @return IBool\Type                                       whether the left operand is NOT identical
  *                                                          to the right operand
  */
 public static function ni(IBool\Type $x, Core\Type $y) : IBool\Type
 {
     // !==
     return IBool\Module::not(IBool\Module::id($x, $y));
 }