예제 #1
0
 /**
  * This method tests the "min" method.
  *
  * @dataProvider data_min
  */
 public function test_min(array $provided, array $expected)
 {
     $p0 = IInt32\Module::min(IInt32\Type::box($provided[0]), IInt32\Type::box($provided[1]));
     $e0 = $expected[0];
     $this->assertInstanceOf('\\Saber\\Data\\IInt32\\Type', $p0);
     $this->assertSame($e0, $p0->unbox());
 }
예제 #2
0
 /**
  * This method returns the first "n" items in the string.
  *
  * @access public
  * @static
  * @param IString\Type $xs                                  the left operand
  * @param IInt32\Type $n                                    the number of items to take
  * @return IString\Type                                     the string
  */
 public static function take(IString\Type $xs, IInt32\Type $n) : IString\Type
 {
     $buffer = '';
     $length = IInt32\Module::min($n, $xs->length());
     for ($i = IInt32\Type::zero(); IInt32\Module::lt($i, $length)->unbox(); $i = IInt32\Module::increment($i)) {
         $buffer .= $xs->__item($i);
     }
     return IString\Type::box($buffer);
 }
예제 #3
0
 /**
  * This method compares the operands for order.
  *
  * @access public
  * @static
  * @param ITuple\Type $xs                                   the left operand
  * @param ITuple\Type $ys                                   the right operand
  * @return ITrit\Type                                       the order as to whether the left
  *                                                          operand is less than, equals to,
  *                                                          or greater than the right operand
  */
 public static function compare(ITuple\Type $xs, ITuple\Type $ys) : ITrit\Type
 {
     $xsl = $xs->length();
     $ysl = $ys->length();
     $length = IInt32\Module::min($xsl, $ysl);
     for ($i = IInt32\Type::zero(); IInt32\Module::lt($i, $length)->unbox(); $i = IInt32\Module::increment($i)) {
         $r = $xs->item($i)->compare($ys->item($i));
         if ($r->unbox() != 0) {
             return $r;
         }
     }
     return ITrit\Type::box($xsl->unbox() <=> $ysl->unbox());
 }