json_token_notify.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
interface JSONTokenNotify
  """
  Callback interface for `JSONTokenParser`.

  Implement this to process JSON tokens as they are parsed, without
  materializing the full document tree. Read a token's value off the token
  itself (`JSONTokenKey.value`, `JSONTokenString.value`,
  `JSONTokenNumber.value`);
  the structural and literal tokens are primitives that carry no data.

  Token emission contract: objects emit ObjectStart, then alternating
  Key/value sequences, then ObjectEnd. Arrays emit ArrayStart, then
  values, then ArrayEnd. `JSONReassembler` relies on this order; changing it
  would break any such consumer.
  """

  fun ref apply(parser: JSONTokenParser, token: JSONToken)
    """
    Called for each token parsed from the JSON document. `token` carries its own
    value. Use `parser` to read the token's byte position (`token_start()`,
    `token_end()`, `line()`) and to call `abort()` if parsing should stop early;
    those positions are valid only during this call.
    """