PHP Saber\Data\IInt32 Type::covariant示例

示例#1

文件： TypeTest.php 项目： bluesnowman/fphp-saber

 /**
  * This method tests the "covariant" method.
  *
  * @dataProvider data_covariant
  */
 public function test_covariant(array $provided, array $expected)
 {
     $p0 = IInt32\Type::covariant(IInt32\Type::box($provided[0]));
     $this->assertInstanceOf('\\Saber\\Data\\IInt32\\Type', $p0);
     $p1 = $p0->unbox();
     $e1 = $expected[0];
     $this->assertInternalType('integer', $p1);
     $this->assertSame($e1, $p1);
 }