Pattern AST
  
           | repeated * numbers
           |   $value @
          P|     \d+
           |   end
          P|   [ ]
           | end
  
MatchRepeated    (name: numbers)
    MatchValue    (name: @, scalar)
        MatchRegex '\\d+'
    MatchRegex '[ ]'
Input String Captured JSON
12 23 34 
{
  "numbers": [
    "12", 
    "23", 
    "34"
  ]
}
Pattern AST
  
           | repeated * numbers
           |   $value @ | int
          P|     \d+
           |   end
          P|   [ ]
           | end
  
MatchRepeated    (name: numbers)
    MatchValue    (name: @, filter: int, scalar)
        MatchRegex '\\d+'
    MatchRegex '[ ]'
Input String Captured JSON
12 23 34 
{
  "numbers": [
    12, 
    23, 
    34
  ]
}

This HTML fragment was automatically generated from the test cases for JSON Pattern.