card.json

{
  "credit_card": {
    "$id": "#/properties/credit_card",
    "$comment": "Comment for developer",
    "type": "string",
    "title": "credit card number",
    "description": "The number on the back of this credit card",
    "examples": [ "4111 1111 1111 1111", "5500 0000 0000 0004" ],
    "default": "4111 1111 1111 1111",
    "minLength": 10,
    "maxLength": 15,
    "pattern": "^[0-9]-[0-9]-[0-9]$"
  }
}