コード例 #1
0
ファイル: ModuleTest.php プロジェクト: bluesnowman/fphp-saber
 /**
  * This method tests the "lastOption" method.
  *
  * @dataProvider data_lastOption
  */
 public function test_lastOption(array $provided, array $expected)
 {
     $p0 = IArrayList\Type::make($provided[0], '\\Saber\\Data\\IInt32\\Type');
     $r0 = IArrayList\Module::lastOption($p0);
     $e0 = $expected[0];
     if ($e0 !== null) {
         $this->assertInstanceOf('\\Saber\\Data\\IOption\\Some\\Type', $r0);
         $v0 = $r0->unbox();
         $this->assertInstanceOf('\\Saber\\Data\\IInt32\\Type', $v0);
         $this->assertSame($e0, $v0->unbox());
     } else {
         $this->assertInstanceOf('\\Saber\\Data\\IOption\\None\\Type', $r0);
     }
 }