This repository was archived by the owner on Mar 4, 2025. It is now read-only.

Files

IOSExample
VeriJSON
VeriJSONTests
- Data
  - ArrayOf0Strings.json
  - ArrayOf1String.json
  - ArrayOf2Strings.json
  - ArrayOfStringsAndNumbers.json
  - ArrayOfStringsPattern.json
  - ArrayPatternWithBadType.json
  - ExtraAttributes.json
  - MissingAttributes.json
  - ObjectWithBool.json
  - ObjectWithBoolAsNumber.json
  - ObjectWithBoolInvalid.json
  - ObjectWithBoolPattern.json
  - ObjectWithColor.json
  - ObjectWithColorInvalid.json
  - ObjectWithColorInvalidNumber.json
  - ObjectWithColorNumber.json
  - ObjectWithColorPattern.json
  - ObjectWithDateString.json
  - ObjectWithDateStringInvalid.json
  - ObjectWithDateStringPattern.json
  - ObjectWithEmail.json
  - ObjectWithEmailInvalid.json
  - ObjectWithEmailInvalid2.json
  - ObjectWithEmailInvalidEmpty.json
  - ObjectWithEmailPattern.json
  - ObjectWithHTTPSURL.json
  - ObjectWithHTTPSURLUppercaseScheme.json
  - ObjectWithHTTPURL.json
  - ObjectWithHTTPURLPattern.json
  - ObjectWithHTTPURLUppercaseScheme.json
  - ObjectWithMultipleTypeArray.json
  - ObjectWithMultipleTypeInt.json
  - ObjectWithMultipleTypePattern.json
  - ObjectWithMultipleTypeString.json
  - ObjectWithNonNullArray.json
  - ObjectWithNonObject.json
  - ObjectWithNullArray.json
  - ObjectWithNullString.json
  - ObjectWithNumber.json
  - ObjectWithNumberInRange.json
  - ObjectWithNumberInvalid.json
  - ObjectWithNumberNotInRange.json
  - ObjectWithNumberPattern.json
  - ObjectWithNumberRangePattern.json
  - ObjectWithObject.json
  - ObjectWithObjectInvalid.json
  - ObjectWithObjectPattern.json
  - ObjectWithOptionalArrayPattern.json
  - ObjectWithOptionalStringPattern.json
  - ObjectWithString.json
  - ObjectWithStringInvalid.json
  - ObjectWithStringPattern.json
  - ObjectWithURL.json
  - ObjectWithURLInvalid.json
  - ObjectWithURLInvalidEmpty.json
  - ObjectWithURLInvalidWhitespace.json
  - ObjectWithURLNonString.json
  - ObjectWithURLPattern.json
  - ObjectWithURLRelative.json
  - ObjectWithWildcardInvalid.json
  - ObjectWithWildcardPattern.json
  - ObjectWithWildcardValid.json
  - RealisticObject.json
  - RealisticObjectOptional.json
  - RealisticObjectOptionalWrongType.json
  - RealisticObjectPattern.json
  - RealisticObjectPatternInvalid.json
  - RealisticObjectPatternOptional.json
  - SimpleArray.json
  - SimpleArrayPattern.json
  - SimpleObject.json
  - SimpleObjectInvalid.json
  - SimpleObjectPattern.json
- Helpers
- VeriJSONTests.swift
.gitignore
LICENSE
README.md
VeriJSON-Swift.podspec

Data

x-du

First Commit with source code

Mar 7, 2015

5f35c64 · Mar 7, 2015

History

Name	Name	Last commit message	Last commit date
parent directory ..
ArrayOf0Strings.json	ArrayOf0Strings.json	First Commit with source code	Mar 7, 2015
ArrayOf1String.json	ArrayOf1String.json	First Commit with source code	Mar 7, 2015
ArrayOf2Strings.json	ArrayOf2Strings.json	First Commit with source code	Mar 7, 2015
ArrayOfStringsAndNumbers.json	ArrayOfStringsAndNumbers.json	First Commit with source code	Mar 7, 2015
ArrayOfStringsPattern.json	ArrayOfStringsPattern.json	First Commit with source code	Mar 7, 2015
ArrayPatternWithBadType.json	ArrayPatternWithBadType.json	First Commit with source code	Mar 7, 2015
ExtraAttributes.json	ExtraAttributes.json	First Commit with source code	Mar 7, 2015
MissingAttributes.json	MissingAttributes.json	First Commit with source code	Mar 7, 2015
ObjectWithBool.json	ObjectWithBool.json	First Commit with source code	Mar 7, 2015
ObjectWithBoolAsNumber.json	ObjectWithBoolAsNumber.json	First Commit with source code	Mar 7, 2015
ObjectWithBoolInvalid.json	ObjectWithBoolInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithBoolPattern.json	ObjectWithBoolPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithColor.json	ObjectWithColor.json	First Commit with source code	Mar 7, 2015
ObjectWithColorInvalid.json	ObjectWithColorInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithColorInvalidNumber.json	ObjectWithColorInvalidNumber.json	First Commit with source code	Mar 7, 2015
ObjectWithColorNumber.json	ObjectWithColorNumber.json	First Commit with source code	Mar 7, 2015
ObjectWithColorPattern.json	ObjectWithColorPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithDateString.json	ObjectWithDateString.json	First Commit with source code	Mar 7, 2015
ObjectWithDateStringInvalid.json	ObjectWithDateStringInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithDateStringPattern.json	ObjectWithDateStringPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithEmail.json	ObjectWithEmail.json	First Commit with source code	Mar 7, 2015
ObjectWithEmailInvalid.json	ObjectWithEmailInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithEmailInvalid2.json	ObjectWithEmailInvalid2.json	First Commit with source code	Mar 7, 2015
ObjectWithEmailInvalidEmpty.json	ObjectWithEmailInvalidEmpty.json	First Commit with source code	Mar 7, 2015
ObjectWithEmailPattern.json	ObjectWithEmailPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithHTTPSURL.json	ObjectWithHTTPSURL.json	First Commit with source code	Mar 7, 2015
ObjectWithHTTPSURLUppercaseScheme.json	ObjectWithHTTPSURLUppercaseScheme.json	First Commit with source code	Mar 7, 2015
ObjectWithHTTPURL.json	ObjectWithHTTPURL.json	First Commit with source code	Mar 7, 2015
ObjectWithHTTPURLPattern.json	ObjectWithHTTPURLPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithHTTPURLUppercaseScheme.json	ObjectWithHTTPURLUppercaseScheme.json	First Commit with source code	Mar 7, 2015
ObjectWithMultipleTypeArray.json	ObjectWithMultipleTypeArray.json	First Commit with source code	Mar 7, 2015
ObjectWithMultipleTypeInt.json	ObjectWithMultipleTypeInt.json	First Commit with source code	Mar 7, 2015
ObjectWithMultipleTypePattern.json	ObjectWithMultipleTypePattern.json	First Commit with source code	Mar 7, 2015
ObjectWithMultipleTypeString.json	ObjectWithMultipleTypeString.json	First Commit with source code	Mar 7, 2015
ObjectWithNonNullArray.json	ObjectWithNonNullArray.json	First Commit with source code	Mar 7, 2015
ObjectWithNonObject.json	ObjectWithNonObject.json	First Commit with source code	Mar 7, 2015
ObjectWithNullArray.json	ObjectWithNullArray.json	First Commit with source code	Mar 7, 2015
ObjectWithNullString.json	ObjectWithNullString.json	First Commit with source code	Mar 7, 2015
ObjectWithNumber.json	ObjectWithNumber.json	First Commit with source code	Mar 7, 2015
ObjectWithNumberInRange.json	ObjectWithNumberInRange.json	First Commit with source code	Mar 7, 2015
ObjectWithNumberInvalid.json	ObjectWithNumberInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithNumberNotInRange.json	ObjectWithNumberNotInRange.json	First Commit with source code	Mar 7, 2015
ObjectWithNumberPattern.json	ObjectWithNumberPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithNumberRangePattern.json	ObjectWithNumberRangePattern.json	First Commit with source code	Mar 7, 2015
ObjectWithObject.json	ObjectWithObject.json	First Commit with source code	Mar 7, 2015
ObjectWithObjectInvalid.json	ObjectWithObjectInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithObjectPattern.json	ObjectWithObjectPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithOptionalArrayPattern.json	ObjectWithOptionalArrayPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithOptionalStringPattern.json	ObjectWithOptionalStringPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithString.json	ObjectWithString.json	First Commit with source code	Mar 7, 2015
ObjectWithStringInvalid.json	ObjectWithStringInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithStringPattern.json	ObjectWithStringPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithURL.json	ObjectWithURL.json	First Commit with source code	Mar 7, 2015
ObjectWithURLInvalid.json	ObjectWithURLInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithURLInvalidEmpty.json	ObjectWithURLInvalidEmpty.json	First Commit with source code	Mar 7, 2015
ObjectWithURLInvalidWhitespace.json	ObjectWithURLInvalidWhitespace.json	First Commit with source code	Mar 7, 2015
ObjectWithURLNonString.json	ObjectWithURLNonString.json	First Commit with source code	Mar 7, 2015
ObjectWithURLPattern.json	ObjectWithURLPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithURLRelative.json	ObjectWithURLRelative.json	First Commit with source code	Mar 7, 2015
ObjectWithWildcardInvalid.json	ObjectWithWildcardInvalid.json	First Commit with source code	Mar 7, 2015
ObjectWithWildcardPattern.json	ObjectWithWildcardPattern.json	First Commit with source code	Mar 7, 2015
ObjectWithWildcardValid.json	ObjectWithWildcardValid.json	First Commit with source code	Mar 7, 2015
RealisticObject.json	RealisticObject.json	First Commit with source code	Mar 7, 2015
RealisticObjectOptional.json	RealisticObjectOptional.json	First Commit with source code	Mar 7, 2015
RealisticObjectOptionalWrongType.json	RealisticObjectOptionalWrongType.json	First Commit with source code	Mar 7, 2015
RealisticObjectPattern.json	RealisticObjectPattern.json	First Commit with source code	Mar 7, 2015
RealisticObjectPatternInvalid.json	RealisticObjectPatternInvalid.json	First Commit with source code	Mar 7, 2015
RealisticObjectPatternOptional.json	RealisticObjectPatternOptional.json	First Commit with source code	Mar 7, 2015
SimpleArray.json	SimpleArray.json	First Commit with source code	Mar 7, 2015
SimpleArrayPattern.json	SimpleArrayPattern.json	First Commit with source code	Mar 7, 2015
SimpleObject.json	SimpleObject.json	First Commit with source code	Mar 7, 2015
SimpleObjectInvalid.json	SimpleObjectInvalid.json	First Commit with source code	Mar 7, 2015
SimpleObjectPattern.json	SimpleObjectPattern.json	First Commit with source code	Mar 7, 2015

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

Data

Data

Files

Data

Directory actions

More options

Directory actions

More options

Latest commit

History

Data

Folders and files

parent directory