Exemplo n.º 1
0
 /**
  * This method tests the "gt" method.
  *
  * @dataProvider data_gt
  */
 public function test_gt(array $provided, array $expected)
 {
     $p0 = IInteger\Module::gt(IInteger\Type::box($provided[0]), IInteger\Type::box($provided[1]));
     $e0 = $expected[0];
     $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $p0);
     $this->assertSame($e0, $p0->unbox());
 }