ex

Fork of mbed-os-example-mbed5-blinky by mbed-os-examples

Revision:
49:b9eb462f36a9
Parent:
48:c7ee67edcf1d
Child:
50:9ecaa144d1f3
--- a/dumi_doc-master/schema/vendor/justinrainbow/json-schema/src/JsonSchema/Constraints/FormatConstraint.php	Tue Jul 18 16:56:22 2017 +0800
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,181 +0,0 @@
-<?php
-
-/*
- * This file is part of the JsonSchema package.
- *
- * For the full copyright and license information, please view the LICENSE
- * file that was distributed with this source code.
- */
-
-namespace JsonSchema\Constraints;
-
-use JsonSchema\Rfc3339;
-use JsonSchema\Entity\JsonPointer;
-
-/**
- * Validates against the "format" property
- *
- * @author Justin Rainbow <justin.rainbow@gmail.com>
- * @link   http://tools.ietf.org/html/draft-zyp-json-schema-03#section-5.23
- */
-class FormatConstraint extends Constraint
-{
-    /**
-     * {@inheritDoc}
-     */
-    public function check($element, $schema = null, JsonPointer $path = null, $i = null)
-    {
-        if (!isset($schema->format)) {
-            return;
-        }
-
-        switch ($schema->format) {
-            case 'date':
-                if (!$date = $this->validateDateTime($element, 'Y-m-d')) {
-                    $this->addError($path, sprintf('Invalid date %s, expected format YYYY-MM-DD', json_encode($element)), 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'time':
-                if (!$this->validateDateTime($element, 'H:i:s')) {
-                    $this->addError($path, sprintf('Invalid time %s, expected format hh:mm:ss', json_encode($element)), 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'date-time':
-                if (null === Rfc3339::createFromString($element)) {
-                    $this->addError($path, sprintf('Invalid date-time %s, expected format YYYY-MM-DDThh:mm:ssZ or YYYY-MM-DDThh:mm:ss+hh:mm', json_encode($element)), 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'utc-millisec':
-                if (!$this->validateDateTime($element, 'U')) {
-                    $this->addError($path, sprintf('Invalid time %s, expected integer of milliseconds since Epoch', json_encode($element)), 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'regex':
-                if (!$this->validateRegex($element)) {
-                    $this->addError($path, 'Invalid regex format ' . $element, 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'color':
-                if (!$this->validateColor($element)) {
-                    $this->addError($path, "Invalid color", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'style':
-                if (!$this->validateStyle($element)) {
-                    $this->addError($path, "Invalid style", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'phone':
-                if (!$this->validatePhone($element)) {
-                    $this->addError($path, "Invalid phone number", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'uri':
-                if (null === filter_var($element, FILTER_VALIDATE_URL, FILTER_NULL_ON_FAILURE)) {
-                    $this->addError($path, "Invalid URL format", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'email':
-                if (null === filter_var($element, FILTER_VALIDATE_EMAIL, FILTER_NULL_ON_FAILURE)) {
-                    $this->addError($path, "Invalid email", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'ip-address':
-            case 'ipv4':
-                if (null === filter_var($element, FILTER_VALIDATE_IP, FILTER_NULL_ON_FAILURE | FILTER_FLAG_IPV4)) {
-                    $this->addError($path, "Invalid IP address", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'ipv6':
-                if (null === filter_var($element, FILTER_VALIDATE_IP, FILTER_NULL_ON_FAILURE | FILTER_FLAG_IPV6)) {
-                    $this->addError($path, "Invalid IP address", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            case 'host-name':
-            case 'hostname':
-                if (!$this->validateHostname($element)) {
-                    $this->addError($path, "Invalid hostname", 'format', array('format' => $schema->format,));
-                }
-                break;
-
-            default:
-                // Empty as it should be:
-                // The value of this keyword is called a format attribute. It MUST be a string.
-                // A format attribute can generally only validate a given set of instance types.
-                // If the type of the instance to validate is not in this set, validation for
-                // this format attribute and instance SHOULD succeed.
-                // http://json-schema.org/latest/json-schema-validation.html#anchor105
-                break;
-        }
-    }
-
-    protected function validateDateTime($datetime, $format)
-    {
-        $dt = \DateTime::createFromFormat($format, $datetime);
-
-        if (!$dt) {
-            return false;
-        }
-
-        if ($datetime === $dt->format($format)) {
-            return true;
-        }
-
-        // handles the case where a non-6 digit microsecond datetime is passed
-        // which will fail the above string comparison because the passed
-        // $datetime may be '2000-05-01T12:12:12.123Z' but format() will return
-        // '2000-05-01T12:12:12.123000Z'
-        if ((strpos('u', $format) !== -1) && (preg_match('/\.\d+Z$/', $datetime))) {
-            return true;
-        }
-
-        return false;
-    }
-
-    protected function validateRegex($regex)
-    {
-        return false !== @preg_match('/' . $regex . '/', '');
-    }
-
-    protected function validateColor($color)
-    {
-        if (in_array(strtolower($color), array('aqua', 'black', 'blue', 'fuchsia',
-            'gray', 'green', 'lime', 'maroon', 'navy', 'olive', 'orange', 'purple',
-            'red', 'silver', 'teal', 'white', 'yellow'))) {
-            return true;
-        }
-
-        return preg_match('/^#([a-f0-9]{3}|[a-f0-9]{6})$/i', $color);
-    }
-
-    protected function validateStyle($style)
-    {
-        $properties     = explode(';', rtrim($style, ';'));
-        $invalidEntries = preg_grep('/^\s*[-a-z]+\s*:\s*.+$/i', $properties, PREG_GREP_INVERT);
-
-        return empty($invalidEntries);
-    }
-
-    protected function validatePhone($phone)
-    {
-        return preg_match('/^\+?(\(\d{3}\)|\d{3}) \d{3} \d{4}$/', $phone);
-    }
-
-    protected function validateHostname($host)
-    {
-        $hostnameRegex = '/^(([a-zA-Z0-9]|[a-zA-Z0-9][a-zA-Z0-9\-]*[a-zA-Z0-9])\.)*([A-Za-z0-9]|[A-Za-z0-9][A-Za-z0-9\-]*[A-Za-z0-9])$/i';
-        return preg_match($hostnameRegex, $host);
-    }
-}