/** * This method tests the "make" method. * * @dataProvider data_make */ public function test_make(array $provided, array $expected) { $p0 = IBool\Type::make($provided[0]); $this->assertInstanceOf('\\Saber\\Data\\IBool\\Type', $p0); $p1 = $p0->unbox(); $e1 = $expected[0]; $this->assertInternalType('boolean', $p1); $this->assertSame($e1, $p1); }
/** * This method returns whether the specified object matches the regular expression. * * @access public * @static * @param IRegex\Type $x the regular expression * @param Core\Type $ys the object to be evaluated * @return IBool\Type whether the specified object matches * the regular expression */ public static function match(IRegex\Type $x, Core\Type $ys) : IBool\Type { return IBool\Type::make(preg_match($x->unbox(), $ys->__toString())); }
/** * This method returns whether this character is a symbol. * * @access public * @static * @param IChar\Type $x the character to be evaluated * @return IBool\Type whether this is a symbol * * @see http://php.net/manual/en/regexp.reference.unicode.php */ public static function isSymbol(IChar\Type $x) : IBool\Type { return IBool\Type::make(preg_match('/^\\p{S}$/', $x->unbox())); }