type_args.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
use json = "../json"

class val TypeArgs is NodeData
  """
    Type arguments in expressions.
  """

  let types: NodeSeqWith[TypeType]

  new val create(types': NodeSeqWith[TypeType]) =>
    types = types'

  fun name(): String => "TypeArgs"

  fun val clone(updates: ChildUpdateMap): NodeData =>
    TypeArgs(_map[TypeType](types, updates))

  fun add_json_props(node: Node box, props: Array[(String, json.Item)]) =>
    props.push(("types", node.child_refs(types)))

primitive ParseTypeArgs
  fun apply(obj: json.Object val, children: NodeSeq): (TypeArgs | String) =>
    let types =
      match ParseNode._get_seq_with[TypeType](
        obj,
        children,
        "types",
        "TypeArgs.types must be a sequence of TypeType")
      | let seq: NodeSeqWith[TypeType] =>
        seq
      | let err: String =>
        return err
      end
    TypeArgs(types)