Outils pour utilisateurs

Outils du site


json

JSON

source

JSON = null

  ou true ou false
  ou NombreJSON
  ou ChaîneJSON
  ou ObjetJSON
  ou TableauJSON

NombreJSON = - NombrePositif

        ou NombrePositif

NombrePositif = NombreDécimal

            ou NombreDécimal . Chiffres
            ou NombreDécimal . Chiffres PartiExposant
            ou NombreDécimal PartiExposant

NombreDécimal = 0

           ou UnÀNeuf Chiffres

PartiExposant = e Exposant

          ou E Exposant

Exposant = Chiffres

      ou + Chiffres
      ou - Chiffres

Chiffres = Chiffre

    ou Chiffres Chiffre

Chiffre = 0 à 9 UnÀNeuf = 1 à 9

ChaîneJSON = “”

        ou " ChaîneCaractères "

ChaîneCaractères = ChaîneCaractère

              ou ChaîneCaractères ChaîneCaractère

ChaîneCaractère = un caractère

                sauf " ou \ ou U+0000 à U+001F
             ou SéquenceÉchappement

SéquenceÉchappement = \“ ou \/ ou
ou \b ou \f ou \n ou \r ou \t

            ou \u ChifreHexadécimal ChifreHexadécimal ChifreHexadécimal ChifreHexadécimal

ChifreHexadécimal = 0 à 9

      ou A à F
      ou a à f

ObjetJSON = { }

        ou { Membres }

Membres = ChaîneJSON : JSON

     ou Membres , ChaîneJSON : JSON

TableauJSON = [ ]

       ou [ ÉlémentsTableau ]

ÉlémentsTableau = JSON

           ou ÉlémentsTableau , JSON1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
json.txt · Dernière modification : 2018/10/13 20:32 de 127.0.0.1